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

  /external/clang/lib/StaticAnalyzer/Checkers/
CallAndMessageChecker.cpp 235 ProgramStateRef StNonNull, StNull;
236 llvm::tie(StNonNull, StNull) = State->assume(cast<DefinedOrUnknownSVal>(L));
238 if (StNull && !StNonNull) {
245 C.addTransition(StNonNull);
264 ProgramStateRef StNonNull, StNull;
265 llvm::tie(StNonNull, StNull) = State->assume(cast<DefinedOrUnknownSVal>(V));
267 if (StNull && !StNonNull) {
275 State = StNonNull;
DereferenceChecker.cpp 237 ProgramStateRef StNonNull, StNull;
238 llvm::tie(StNonNull, StNull) = State->assume(cast<DefinedOrUnknownSVal>(V));
241 if (!StNonNull) {

Completed in 361 milliseconds