OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
Searched
refs:UnknownVal
(Results
1 - 18
of
18
) sorted by null
/external/clang/lib/StaticAnalyzer/Core/
SimpleSValBuilder.cpp
97
return
UnknownVal
();
102
return
UnknownVal
();
113
return
UnknownVal
();
138
return
UnknownVal
();
151
// All other cases: return '
UnknownVal
'. This includes casting pointers
154
return
UnknownVal
();
166
return
UnknownVal
();
175
return
UnknownVal
();
546
return
UnknownVal
();
593
return
UnknownVal
();
[
all
...]
SValBuilder.cpp
41
return
UnknownVal
();
99
return
UnknownVal
();
123
return
UnknownVal
();
139
return
UnknownVal
();
182
return
UnknownVal
();
227
return
UnknownVal
();
247
return
UnknownVal
();
258
return
UnknownVal
();
339
return R ? SVal(loc::MemRegionVal(R)) :
UnknownVal
();
390
return
UnknownVal
();
[
all
...]
Store.cpp
90
// will be interpretted as
UnknownVal
.
250
return
UnknownVal
();
298
return
UnknownVal
();
306
return
UnknownVal
();
316
return
UnknownVal
();
344
return
UnknownVal
();
348
return
UnknownVal
();
450
return
UnknownVal
();
460
return
UnknownVal
();
RegionStore.cpp
241
return
UnknownVal
();
859
UnknownVal
());
[
all
...]
CallEvent.cpp
227
return
UnknownVal
();
419
return
UnknownVal
();
583
return
UnknownVal
();
610
return
UnknownVal
();
656
return
UnknownVal
();
[
all
...]
Environment.cpp
65
return
UnknownVal
();
ExprEngine.cpp
[
all
...]
ExprEngineC.cpp
491
//
UnknownVal
.
610
V =
UnknownVal
();
834
Result =
UnknownVal
();
[
all
...]
MemRegion.cpp
190
return
UnknownVal
();
200
return
UnknownVal
();
210
return
UnknownVal
();
[
all
...]
ProgramState.cpp
217
return
UnknownVal
();
225
return
UnknownVal
();
ExprEngineCallAndReturn.cpp
152
// Be safe and return
UnknownVal
().
153
return
UnknownVal
();
[
all
...]
/external/clang/lib/StaticAnalyzer/Checkers/
ArrayBoundCheckerV2.cpp
50
: baseRegion(0), byteOffset(
UnknownVal
()) {}
77
return
UnknownVal
();
251
// summing to
UnknownVal
. Used by 'computeOffset'.
257
return
UnknownVal
();
CStringChecker.cpp
712
return
UnknownVal
();
716
// its length. For anything we can't figure out, just return
UnknownVal
.
736
return
UnknownVal
();
740
return
UnknownVal
();
[
all
...]
MallocChecker.cpp
565
return MallocMemAux(C, CE,
UnknownVal
(), UndefinedVal(), C.getState());
[
all
...]
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
SVals.h
49
UnknownKind = 1, // for subclass
UnknownVal
(a void value)
216
class
UnknownVal
: public DefinedOrUnknownSVal {
218
explicit
UnknownVal
() : DefinedOrUnknownSVal(UnknownKind) {}
246
/// \brief Represents an SVal that is guaranteed to not be
UnknownVal
.
Store.h
124
return
UnknownVal
();
ProgramState.h
279
/// Returns
UnknownVal
() if none found.
286
/// Returns
UnknownVal
() if none found.
687
return
UnknownVal
();
705
return
UnknownVal
();
MemRegion.h
415
return
UnknownVal
();
[
all
...]
Completed in 151 milliseconds