Home | History | Annotate | Download | only in PathSensitive

Lines Matching defs:SYMBOL

34 #define SYMBOL(Id, Parent) Id##Kind,
63 /// \brief Iterator over symbols that the current symbol depends on.
65 /// For SymbolData, it's the symbol itself; for expressions, it's the
66 /// expression symbol and all the operands in it. Note, SymbolDerived is
88 /// \brief Find the region from which this symbol originates.
90 /// Whenever the symbol was constructed to denote an unknown value of
92 /// allows checkers to make decisions depending on the origin of the symbol.
93 /// Symbol classes for which the origin region is known include
97 /// a larger record region) is default-bound with a certain symbol.
105 /// \brief A symbol representing data which can be stored in a memory location