Searched refs:NullState (Results 1 – 3 of 3) sorted by relevance
| /openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | CastValueChecker.cpp | 433 ProgramStateRef NonNullState, NullState; in evalIsa() local
434 std::tie(NonNullState, NullState) = C.getState()->assume(DV); in evalIsa()
441 if (NullState) { in evalIsa()
442 C.generateSink(NullState, C.getPredecessor()); in evalIsa()
449 ProgramStateRef NonNullState, NullState; in evalIsaAndNonNull() local
450 std::tie(NonNullState, NullState) = C.getState()->assume(DV); in evalIsaAndNonNull()
457 if (NullState) { in evalIsaAndNonNull()
458 addInstanceOfTransition(Call, DV, NullState, C, /*IsInstanceOf=*/false); in evalIsaAndNonNull()
|
| H A D | SmartPtrModeling.cpp | 879 ProgramStateRef NotNullState, NullState; in handleBoolConversion() local
880 std::tie(NotNullState, NullState) = in handleBoolConversion()
885 NullState = NullState->set<TrackedRegionMap>(ThisRegion, NullVal); in handleBoolConversion()
887 NullState = NullState->BindExpr(CallExpr, C.getLocationContext(), in handleBoolConversion()
889 C.addTransition(NullState, C.getNoteTag( in handleBoolConversion()
|
| /openbsd-src/gnu/llvm/llvm/lib/CodeGen/AsmPrinter/ |
| H A D | WinException.cpp | 372 const int NullState = -1; variable
412 MachineFunction::const_iterator End, int BaseState = NullState) { in range()
924 BaseState = NullState; in computeIP2StateTable()
1148 HandlerStates[&MF->front()] = NullState; in emitCLRExceptionTable()
1193 if (FuncletState != NullState) { in emitCLRExceptionTable()
1201 int CurrentState = NullState; in emitCLRExceptionTable()
1209 assert(CurrentState != NullState && in emitCLRExceptionTable()
|