OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
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:__anon30846
[
all
...]
Completed in 179 milliseconds