HomeSort by relevance Sort by last modified time
    Searched refs:StNull (Results 1 - 3 of 3) sorted by null

  /external/clang/lib/StaticAnalyzer/Checkers/
DereferenceChecker.cpp 246 ProgramStateRef StNonNull, StNull;
247 std::tie(StNonNull, StNull) = State->assume(V.castAs<DefinedOrUnknownSVal>());
249 if (StNull) {
251 reportBug(StNull, S, C, /*isBind=*/true);
257 if (ExplodedNode *N = C.generateSink(StNull, C.getPredecessor())) {
ReturnUndefChecker.cpp 105 ProgramStateRef StNonNull, StNull;
106 std::tie(StNonNull, StNull) = C.getState()->assume(RetVal);
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 374 milliseconds