HomeSort by relevance Sort by last modified time
    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