OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
Searched
refs:StNull
(Results
1 - 3
of
3
) sorted by null
/external/clang/lib/StaticAnalyzer/Checkers/
ReturnUndefChecker.cpp
105
ProgramStateRef StNonNull,
StNull
;
106
std::tie(StNonNull,
StNull
) = C.getState()->assume(RetVal);
DereferenceChecker.cpp
258
ProgramStateRef StNonNull,
StNull
;
259
std::tie(StNonNull,
StNull
) = State->assume(V.castAs<DefinedOrUnknownSVal>());
261
if (
StNull
) {
265
reportBug(
StNull
, expr, C);
272
if (ExplodedNode *N = C.generateSink(
StNull
, C.getPredecessor())) {
CallAndMessageChecker.cpp
321
ProgramStateRef StNonNull,
StNull
;
322
std::tie(StNonNull,
StNull
) = State->assume(L.castAs<DefinedOrUnknownSVal>());
324
if (
StNull
&& !StNonNull) {
376
ProgramStateRef StNonNull,
StNull
;
377
std::tie(StNonNull,
StNull
) =
380
if (
StNull
&& !StNonNull) {
Completed in 2049 milliseconds