Searched refs:nullState (Results 1 – 4 of 4) sorted by relevance
62 ProgramStateRef notNullState, nullState; in checkPreStmt() local63 llvm::tie(notNullState, nullState) = state->assume(V.castAs<DefinedSVal>()); in checkPreStmt()65 if (nullState) { in checkPreStmt()69 if (ExplodedNode *N = C.addTransition(nullState)) { in checkPreStmt()
202 ProgramStateRef notNullState, nullState; in checkLocation() local203 llvm::tie(notNullState, nullState) = state->assume(location); in checkLocation()206 if (nullState) { in checkLocation()208 reportBug(nullState, S, C); in checkLocation()215 if (ExplodedNode *N = C.generateSink(nullState)) { in checkLocation()
973 ProgramStateRef notNullState, nullState; in FreeMemAux() local974 llvm::tie(notNullState, nullState) = State->assume(location); in FreeMemAux()975 if (nullState && !notNullState) in FreeMemAux()
66 Boolean nullState; /* does element have null state */