Cross Reference: /external/clang/lib/StaticAnalyzer/Core/SimpleConstraintManager.h

Lines Matching refs:SymbolRef

53                                                 SymbolRef Sym,
67   virtual ProgramStateRef assumeSymNE(ProgramStateRef state, SymbolRef sym,
71   virtual ProgramStateRef assumeSymEQ(ProgramStateRef state, SymbolRef sym,
75   virtual ProgramStateRef assumeSymLT(ProgramStateRef state, SymbolRef sym,
79   virtual ProgramStateRef assumeSymGT(ProgramStateRef state, SymbolRef sym,
83   virtual ProgramStateRef assumeSymLE(ProgramStateRef state, SymbolRef sym,
87   virtual ProgramStateRef assumeSymGE(ProgramStateRef state, SymbolRef sym,
93       ProgramStateRef State, SymbolRef Sym, const llvm::APSInt &From,
97       ProgramStateRef state, SymbolRef Sym, const llvm::APSInt &From,
113                                          SymbolRef Sym,

OpenGrok