Searched refs:NullState (Results 1 – 3 of 3) sorted by relevance
| /freebsd/contrib/llvm-project/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 | 878 ProgramStateRef NotNullState, NullState; in handleBoolConversion() local
879 std::tie(NotNullState, NullState) = in handleBoolConversion()
884 NullState = NullState->set<TrackedRegionMap>(ThisRegion, NullVal); in handleBoolConversion()
886 NullState = NullState->BindExpr(CallExpr, C.getLocationContext(), in handleBoolConversion()
888 C.addTransition(NullState, C.getNoteTag( in handleBoolConversion()
|
| /freebsd/contrib/llvm-project/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()
928 BaseState = NullState; in computeIP2StateTable()
1152 HandlerStates[&MF->front()] = NullState; in emitCLRExceptionTable()
1197 if (FuncletState != NullState) { in emitCLRExceptionTable()
1205 int CurrentState = NullState; in emitCLRExceptionTable()
1213 assert(CurrentState != NullState && in emitCLRExceptionTable()
|