HomeSort by relevance Sort by last modified time
    Searched defs:SVal (Results 1 - 5 of 5) sorted by null

  /frameworks/compile/libbcc/tests/debuginfo/host-tests/
aggregate-indirect-arg.cpp 8 // CHECK: $1 = (SVal &)
12 class SVal {
14 ~SVal() {}
19 void bar(SVal &v) {}
22 void foo(SVal v) { bar(v); }
26 SVal v;
  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
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 {
63 explicit SVal(const void *d, bool isLoc, unsigned ValKind)
66 explicit SVal(BaseKind k, const void *D = NULL)
70 explicit SVal() : Data(0), Kind(0) {}
72 /// \brief Convert to the specified SVal type, asserting that this SVal is of
78 SVal& sv = t
    [all...]
  /external/clang/lib/AST/
ExprConstant.cpp     [all...]
  /external/antlr/antlr-3.4/runtime/Delphi/Sources/Antlr3.Runtime/
Antlr.Runtime.Tree.pas     [all...]
  /external/valgrind/main/helgrind/
libhb_core.c 105 SVal. */
114 // data decls: SVal //
119 typedef ULong SVal;
364 static inline Bool SVal__isC ( SVal s );
365 static inline VtsID SVal__unC_Rmin ( SVal s );
366 static inline VtsID SVal__unC_Wmin ( SVal s );
367 static inline SVal SVal__mkC ( VtsID rmini, VtsID wmini );
401 static void zsm_init ( void(*rcinc)(SVal), void(*rcdec)(SVal) );
403 static void zsm_sset_range ( Addr, SizeT, SVal );
1210 typedef struct { UChar count; SVal sval; } CountedSVal; member in struct:__anon29936
    [all...]

Completed in 1294 milliseconds