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

  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
SVals.h 10 // This file defines SVal, Loc, and NonLoc, classes that represent
23 // Base SVal types.
40 /// SVal - This represents a symbolic expression, which can be either
43 class SVal {
62 explicit SVal(const void *d, bool isLoc, unsigned ValKind)
65 explicit SVal(BaseKind k, const void *D = NULL)
69 explicit SVal() : Data(0), Kind(0) {}
70 ~SVal() {}
73 typedef SmallVector<SVal,5> BufferTy;
79 // This method is required for using SVal in a FoldingSetNode. I
    [all...]
  /external/valgrind/main/helgrind/
libhb_core.c 121 typedef ULong SVal;
148 static void zsm_init ( void(*rcinc)(SVal), void(*rcdec)(SVal) );
150 static void zsm_sset_range ( Addr, SizeT, SVal );
165 static void(*rcinc)(SVal) = NULL;
166 static void(*rcdec)(SVal) = NULL;
178 SVal svals[N_LINE_ARANGE]; // == N_LINE_TREES * 8
201 SVal dict[4]; /* can represent up to 4 diff values in the line */
212 SVal w64s[N_LINE_ARANGE];
672 VG_(printf)(" sval: %08lx\n", (UWord)cl->svals[i])
949 typedef struct { UChar count; SVal sval; } CountedSVal; member in struct:__anon12707
    [all...]

Completed in 80 milliseconds