public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug c++/55602] New: Does not generate Error message for redefined macros
@ 2012-12-05  3:44 guojiufu at gmail dot com
  2012-12-05  5:00 ` [Bug preprocessor/55602] " pinskia at gcc dot gnu.org
                   ` (4 more replies)
  0 siblings, 5 replies; 6+ messages in thread
From: guojiufu at gmail dot com @ 2012-12-05  3:44 UTC (permalink / raw)
  To: gcc-bugs


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55602

             Bug #: 55602
           Summary: Does not generate Error message for redefined macros
    Classification: Unclassified
           Product: gcc
           Version: unknown
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: guojiufu@gmail.com


gcc and g++ generate warning message(do not generate any information if there
is '#pragma GCC system_header' is the header) instead an error message for
redefined macros. While in standard it seems require an error. 

Second paragraph of section "Macro replacement" in C standard:
--------
An identifier currently defined as an object-like macro shall not be redefined
by another #define preprocessing directive unless the second definition is an
object-like macro definition and the two replacement lists are identical.
Likewise, an identifier currently defined as a function-like macro shall not be
redefined by another #define preprocessing directive unless the second
definition is a function-like macro definition that has the same number and
spelling of parameters, and the two replacement lists are identical.
----------
C++ standard: Second paragraph of section "Macro replacement"
---------
An identifier currently defined as an object-like macro may be redefined by
another #define preprocessing directive provided that the second definition is
an object-like macro definition and the two replacement lists are identical,
otherwise the program is ill-formed. Likewise, an identifier currently defined
as a function-like macro may be redefined by another #define preprocessing
directive provided that the second definition is a function-like macro
definition that has the same number and spelling of parameters, and the two
replacement lists are identical, otherwise the program is ill-formed.
------------------


case:
a.h
----------------
#define A 1
#define A 2
---------------

a.c
---------------
#include "a.h"

int main(){
  return A;
}
--------------


^ permalink raw reply	[flat|nested] 6+ messages in thread

end of thread, other threads:[~2012-12-26  2:26 UTC | newest]

Thread overview: 6+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2012-12-05  3:44 [Bug c++/55602] New: Does not generate Error message for redefined macros guojiufu at gmail dot com
2012-12-05  5:00 ` [Bug preprocessor/55602] " pinskia at gcc dot gnu.org
2012-12-10 11:58 ` guojiufu at gmail dot com
2012-12-10 11:59 ` guojiufu at gmail dot com
2012-12-10 12:02 ` guojiufu at gmail dot com
2012-12-26  2:26 ` guojiufu at gmail dot com

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).