contrib/llvm/tools/clang/lib/Lex/MacroInfo.cpp

   1 //===--- MacroInfo.cpp - Information about #defined identifiers -----------===//
   2 //
   3 //                     The LLVM Compiler Infrastructure
   4 //
   5 // This file is distributed under the University of Illinois Open Source
   6 // License. See LICENSE.TXT for details.
   7 //
   8 //===----------------------------------------------------------------------===//
   9 //
  10 // This file implements the MacroInfo interface.
  11 //
  12 //===----------------------------------------------------------------------===//
  13
  14 #include "clang/Lex/MacroInfo.h"
  15 #include "clang/Lex/Preprocessor.h"
  16 using namespace clang;
  17
  18 MacroInfo::MacroInfo(SourceLocation DefLoc) : Location(DefLoc) {
  19   IsFunctionLike = false;
  20   IsC99Varargs = false;
  21   IsGNUVarargs = false;
  22   IsBuiltinMacro = false;
  23   IsDisabled = false;
  24   IsUsed = true;
  25
  26   ArgumentList = 0;
  27   NumArguments = 0;
  28 }
  29
  30 /// isIdenticalTo - Return true if the specified macro definition is equal to
  31 /// this macro in spelling, arguments, and whitespace.  This is used to emit
  32 /// duplicate definition warnings.  This implements the rules in C99 6.10.3.
  33 ///
  34 bool MacroInfo::isIdenticalTo(const MacroInfo &Other, Preprocessor &PP) const {
  35   // Check # tokens in replacement, number of args, and various flags all match.
  36   if (ReplacementTokens.size() != Other.ReplacementTokens.size() ||
  37       getNumArgs() != Other.getNumArgs() ||
  38       isFunctionLike() != Other.isFunctionLike() ||
  39       isC99Varargs() != Other.isC99Varargs() ||
  40       isGNUVarargs() != Other.isGNUVarargs())
  41     return false;
  42
  43   // Check arguments.
  44   for (arg_iterator I = arg_begin(), OI = Other.arg_begin(), E = arg_end();
  45        I != E; ++I, ++OI)
  46     if (*I != *OI) return false;
  47
  48   // Check all the tokens.
  49   for (unsigned i = 0, e = ReplacementTokens.size(); i != e; ++i) {
  50     const Token &A = ReplacementTokens[i];
  51     const Token &B = Other.ReplacementTokens[i];
  52     if (A.getKind() != B.getKind())
  53       return false;
  54
  55     // If this isn't the first first token, check that the whitespace and
  56     // start-of-line characteristics match.
  57     if (i != 0 &&
  58         (A.isAtStartOfLine() != B.isAtStartOfLine() ||
  59          A.hasLeadingSpace() != B.hasLeadingSpace()))
  60       return false;
  61
  62     // If this is an identifier, it is easy.
  63     if (A.getIdentifierInfo() || B.getIdentifierInfo()) {
  64       if (A.getIdentifierInfo() != B.getIdentifierInfo())
  65         return false;
  66       continue;
  67     }
  68
  69     // Otherwise, check the spelling.
  70     if (PP.getSpelling(A) != PP.getSpelling(B))
  71       return false;
  72   }
  73
  74   return true;
  75 }