Searched defs:SVal (Results 1 - 4 of 4) sorted by relevance
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | SVals.h | 10 // This file defines SVal, Loc, and NonLoc, classes that represent 24 // Base SVal types. 41 /// SVal - This represents a symbolic expression, which can be either 44 class SVal { class in namespace:clang::ento 63 explicit SVal(const void *d, bool isLoc, unsigned ValKind) function in class:clang::ento::SVal 66 explicit SVal(BaseKind k, const void *D = NULL) function in class:clang::ento::SVal 70 explicit SVal() : Data(0), Kind(0) {} function in class:clang::ento::SVal 71 ~SVal() {} 74 typedef SmallVector<SVal,5> BufferTy; 80 // This method is required for using SVal i 160 classof(const SVal*) argument [all...] |
/external/antlr/antlr-3.4/runtime/Delphi/Sources/Antlr3.Runtime/ |
H A D | Antlr.Runtime.Tree.pas | 901 function SVal: String; 1688 function SVal: String; 3968 function TTreePatternLexer.SVal: String; 4280 Lbl := FTokenizer.SVal; 4301 TokenName := FTokenizer.SVal; 4311 Arg := FTokenizer.SVal;
|
/external/clang/lib/AST/ |
H A D | ExprConstant.cpp | 1222 APValue SVal; local 1223 if (!Evaluate(SVal, Info, E)) 1225 if (SVal.isInt()) { 1226 Res = SVal.getInt(); 1229 if (SVal.isFloat()) { 1230 Res = SVal.getFloat().bitcastToAPInt(); 1233 if (SVal.isVector()) { 1240 for (unsigned i = 0; i < SVal.getVectorLength(); i++) { 1241 APValue &Elt = SVal.getVectorElt(i);
|
/external/valgrind/main/helgrind/ |
H A D | libhb_core.c | 104 SVal. */ 113 // data decls: SVal // 118 typedef ULong SVal; typedef 363 static inline Bool SVal__isC ( SVal s ); 364 static inline VtsID SVal__unC_Rmin ( SVal s ); 365 static inline VtsID SVal__unC_Wmin ( SVal s ); 366 static inline SVal SVal__mkC ( VtsID rmini, VtsID wmini ); 400 static void zsm_init ( void(*rcinc)(SVal), void(*rcdec)(SVal) ); 402 static void zsm_sset_range ( Addr, SizeT, SVal ); [all...] |
Completed in 3494 milliseconds