OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
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