Searched refs:NullState (Results 1 – 3 of 3) sorted by relevance
| /netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | CastValueChecker.cpp | 430 ProgramStateRef NonNullState, NullState; in evalIsa() local
431 std::tie(NonNullState, NullState) = C.getState()->assume(DV); in evalIsa()
438 if (NullState) { in evalIsa()
439 C.generateSink(NullState, C.getPredecessor()); in evalIsa()
446 ProgramStateRef NonNullState, NullState; in evalIsaAndNonNull() local
447 std::tie(NonNullState, NullState) = C.getState()->assume(DV); in evalIsaAndNonNull()
454 if (NullState) { in evalIsaAndNonNull()
455 addInstanceOfTransition(Call, DV, NullState, C, /*IsInstanceOf=*/false); in evalIsaAndNonNull()
|
| H A D | SmartPtrModeling.cpp | 603 ProgramStateRef NotNullState, NullState; in handleBoolConversion() local
604 std::tie(NotNullState, NullState) = in handleBoolConversion()
609 NullState = NullState->set<TrackedRegionMap>(ThisRegion, NullVal); in handleBoolConversion()
611 NullState = NullState->BindExpr(CallExpr, C.getLocationContext(), in handleBoolConversion()
613 C.addTransition(NullState, C.getNoteTag( in handleBoolConversion()
|
| /netbsd-src/external/apache2/llvm/dist/llvm/lib/CodeGen/AsmPrinter/ |
| H A D | WinException.cpp | 383 const int NullState = -1; variable
423 MachineFunction::const_iterator End, int BaseState = NullState) { in range()
929 BaseState = NullState; in computeIP2StateTable()
1146 HandlerStates[&MF->front()] = NullState; in emitCLRExceptionTable()
1191 if (FuncletState != NullState) { in emitCLRExceptionTable()
1199 int CurrentState = NullState; in emitCLRExceptionTable()
1207 assert(CurrentState != NullState && in emitCLRExceptionTable()
|