[Bug preprocessor/52998] New: caret and -ftrack-macro-expansion don't mix well

["manu at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>]

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

             Bug #: 52998
           Summary: caret and -ftrack-macro-expansion don't mix well
    Classification: Unclassified
           Product: gcc
           Version: unknown
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: preprocessor
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: manu@gcc.gnu.org


With GCC 4.8 and -ftrack-macro-expansion, we get:

manuel@gcc12:~$ cat macro-caret.c
#define OPERATE(OPRD1, OPRT, OPRD2) \
  OPRD1 OPRT OPRD2;

#define SHIFTL(A,B) \
  OPERATE (A,<<,B)

#define MULT(A) \
  SHIFTL (A,1)

void
g ()
{
  MULT (1.0);// 1.0 << 1; <-- so this is an error.
}

manuel@gcc12:~$ ~/trunk/186353M/build/gcc/cc1plus macro-caret.c
-ftrack-macro-expansion
macro-caret.c:8:13: error: invalid operands of types ‘double’ and ‘int’ to
binary ‘operator<<’
   SHIFTL (A,1)
             ^
macro-caret.c:2:14: note: in expansion of macro 'OPERATE'
   OPRD1 OPRT OPRD2;
              ^
macro-caret.c:5:3: note: expanded from here
   OPERATE (A,<<,B)
   ^
macro-caret.c:5:17: note: in expansion of macro 'SHIFTL'
   OPERATE (A,<<,B)
                 ^
macro-caret.c:8:3: note: expanded from here
   SHIFTL (A,1)
   ^
macro-caret.c:8:13: note: in expansion of macro 'MULT'
   SHIFTL (A,1)
             ^
macro-caret.c:13:3: note: expanded from here
   MULT (1.0);// 1.0 << 1; <-- so this is an error.
   ^

And with GCC:

manuel@gcc12:~$ ~/trunk/186353M/build/gcc/cc1 macro-caret.c
-ftrack-macro-expansion
macro-caret.c: In function ‘g’:
macro-caret.c:5:14: error: invalid operands to binary << (have ‘double’ and
‘int’)
   OPERATE (A,<<,B)
              ^
macro-caret.c:2:9: note: in expansion of macro 'OPERATE'
   OPRD1 OPRT OPRD2;
         ^
macro-caret.c:5:3: note: expanded from here
   OPERATE (A,<<,B)
   ^
macro-caret.c:5:14: note: in expansion of macro 'SHIFTL'
   OPERATE (A,<<,B)
              ^
macro-caret.c:8:3: note: expanded from here
   SHIFTL (A,1)
   ^
macro-caret.c:8:3: note: in expansion of macro 'MULT'
   SHIFTL (A,1)
   ^
macro-caret.c:13:3: note: expanded from here
   MULT (1.0);// 1.0 << 1; <-- so this is an error.
   ^

Note that cc1plus prints the error at 8:13 and cc1 at 5:14. Without
-ftrac-macro-expansion, both give 13:3.