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 = nullptr) function in class:clang::ento::SVal
70 explicit SVal() : Data(nullptr), Kind(0) {} function in class:clang::ento::SVal
72 /// \brief Convert to the specified SVal type, asserting that this SVal is of
78 SVal
[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 | 1574 APValue SVal; local
1575 if (!Evaluate(SVal, Info, E))
1577 if (SVal.isInt()) {
1578 Res = SVal.getInt();
1581 if (SVal.isFloat()) {
1582 Res = SVal.getFloat().bitcastToAPInt();
1585 if (SVal.isVector()) {
1592 for (unsigned i = 0; i < SVal.getVectorLength(); i++) {
1593 APValue &Elt = SVal.getVectorElt(i);
|
| /external/valgrind/helgrind/ |
| H A D | libhb_core.c | 106 SVal. */
115 // data decls: SVal //
120 typedef ULong SVal; typedef
368 static inline Bool SVal__isC ( SVal s );
369 static inline VtsID SVal__unC_Rmin ( SVal s );
370 static inline VtsID SVal__unC_Wmin ( SVal s );
371 static inline SVal SVal__mkC ( VtsID rmini, VtsID wmini );
372 static inline void SVal__rcinc ( SVal s );
373 static inline void SVal__rcdec ( SVal s );
374 /* SVal i
[all...] |
Completed in 198 milliseconds