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
73 typedef SmallVector<SVal,5> BufferTy;
79 // This method is required for using SVal in a FoldingSetNode. It
80 // extracts a unique signature for this SVal objec
159 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 | 1220 APValue SVal; local
1221 if (!Evaluate(SVal, Info, E))
1223 if (SVal.isInt()) {
1224 Res = SVal.getInt();
1227 if (SVal.isFloat()) {
1228 Res = SVal.getFloat().bitcastToAPInt();
1231 if (SVal.isVector()) {
1238 for (unsigned i = 0; i < SVal.getVectorLength(); i++) {
1239 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 168 milliseconds