| delorie.com/archives/browse.cgi | search |
| X-Recipient: | archive-cygwin AT delorie DOT com |
| DomainKey-Signature: | a=rsa-sha1; c=nofws; d=sourceware.org; h=list-id |
| :list-unsubscribe:list-subscribe:list-archive:list-post | |
| :list-help:sender:to:from:subject:date:message-id:references | |
| :mime-version:content-type; q=dns; s=default; b=gWTpO8Hsa5DeqAft | |
| uAMwxHTXf8rlunqafgRNC64Rw+7kwCZv5ofmRRwXLq+aX+NFc1N9J7sP1YEb7LLl | |
| fuzPJjAF0ZI5Gdd2eO1/4ldi2u2aXCl5N5V03/oohzzl+CrDJahxB9JmpqXtWtZb | |
| qgF5VgK2MFFhXX+2C29K7sh+ZUU= | |
| DKIM-Signature: | v=1; a=rsa-sha1; c=relaxed; d=sourceware.org; h=list-id |
| :list-unsubscribe:list-subscribe:list-archive:list-post | |
| :list-help:sender:to:from:subject:date:message-id:references | |
| :mime-version:content-type; s=default; bh=7TIWGu4nBjiR0ZeEOLhAaB | |
| Fm3xI=; b=C3vDElYLJQlkLB+6b1dbkWFvK7Ha8utsNjqvtCEkxETUZ/dq0++RMA | |
| UB07Rimom08hiItjxGQ5NGT8iLF07JAKp+Edx3pe4Zc1MSPFqY/EodL8Nja8jEzp | |
| O/EYpvQnUVWTnYSDCJHbwqrla1kRu78+ng+vWX8kTJE/LQZE2KfNk= | |
| Mailing-List: | contact cygwin-help AT cygwin DOT com; run by ezmlm |
| List-Id: | <cygwin.cygwin.com> |
| List-Subscribe: | <mailto:cygwin-subscribe AT cygwin DOT com> |
| List-Archive: | <http://sourceware.org/ml/cygwin/> |
| List-Post: | <mailto:cygwin AT cygwin DOT com> |
| List-Help: | <mailto:cygwin-help AT cygwin DOT com>, <http://sourceware.org/ml/#faqs> |
| Sender: | cygwin-owner AT cygwin DOT com |
| Mail-Followup-To: | cygwin AT cygwin DOT com |
| Delivered-To: | mailing list cygwin AT cygwin DOT com |
| Authentication-Results: | sourceware.org; auth=none |
| X-Virus-Found: | No |
| X-Spam-SWARE-Status: | No, score=-3.9 required=5.0 tests=AWL,BAYES_00,FREEMAIL_FROM,RCVD_IN_DNSWL_LOW,RP_MATCHES_RCVD,SPF_HELO_PASS,SPF_PASS autolearn=ham version=3.3.2 spammy=Hx-languages-length:1502 |
| X-HELO: | plane.gmane.org |
| To: | cygwin AT cygwin DOT com |
| From: | Andy Moreton <andrewjmoreton AT gmail DOT com> |
| Subject: | Re: lint kills _Noreturn |
| Date: | Sun, 29 May 2016 20:09:07 +0100 |
| Lines: | 44 |
| Message-ID: | <868tys7kbw.fsf@gmail.com> |
| References: | <6fef0097-c076-2691-c4f9-2af5a050a17e AT cornell DOT edu> <86fut07qha DOT fsf AT gmail DOT com> <9c66686a-0af8-dbfe-7804-797df8aad7c6 AT cornell DOT edu> |
| Mime-Version: | 1.0 |
| User-Agent: | Gnus/5.13 (Gnus v5.13) Emacs/25.0.94 (windows-nt) |
| X-IsSubscribed: | yes |
On Sun 29 May 2016, Ken Brown wrote:
> On 5/29/2016 12:56 PM, Andy Moreton wrote:
>> On Sun 29 May 2016, Ken Brown wrote:
>>
>>> If lint is defined, then /usr/include/sys/cdefs.h defines _Noreturn as a macro
>>> that expands to nothing. Is this intentional?
>>>
>>> Simple test case:
>>>
>>> $ cat test.h
>>> #define lint 1
>>> #include <sys/cdefs.h>
>>> _Noreturn void foo (void);
>>>
>>> $ gcc -E test.h | grep foo
>>> void foo (void);
>>>
>>>
>>> Ken
>>
>> A traditional lint program may not support the new C11 keywords, but
>> will define the 'lint' symbol. See, e.g.
>> http://www.unix.com/man-page/FreeBSD/1/lint
>
> But in the present context (see my second message), we're redefining C11
> keywords even though __STDC_VERSION__ >= 201112L.
Agreed, but that should only affect a lint program that understands C11.
Any other program should simply not be defining lint in the first place.
>> Surely the real problem here is a program which is not a lint executable
>> defining 'lint' ?
>
> The program is emacs built from a git checkout of the master branch. By
> default the configure option --enable-gcc-checking is used, and this causes
> lint to be defined in src/config.h. It doesn't seem to be a problem on
> platforms other than Cygwin; or at least it hasn't been reported.
I saw your report of emacs bug#23640, and followed here. I think the
real question is why the recent change to emacs configure.ac added a
definition of lint - that seems wrong.
AndyM
--
Problem reports: http://cygwin.com/problems.html
FAQ: http://cygwin.com/faq/
Documentation: http://cygwin.com/docs.html
Unsubscribe info: http://cygwin.com/ml/#unsubscribe-simple
| webmaster | delorie software privacy |
| Copyright © 2019 by DJ Delorie | Updated Jul 2019 |