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) {}
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 object
    [all...]
  /external/antlr/antlr-3.4/runtime/Delphi/Sources/Antlr3.Runtime/
Antlr.Runtime.Tree.pas     [all...]
  /external/clang/lib/AST/
ExprConstant.cpp     [all...]
  /external/valgrind/main/helgrind/
libhb_core.c 104 SVal. */
113 // data decls: SVal //
118 typedef ULong SVal;
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 );
1209 typedef struct { UChar count; SVal sval; } CountedSVal; member in struct:__anon15488
    [all...]

Completed in 652 milliseconds