reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

Declarations

tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h

  407   set(typename ProgramStateTrait<T>::data_type D) const;

References

tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SMTConstraintManager.h

  209     return State->set<ConstraintSMT>(CZ);

tools/clang/lib/StaticAnalyzer/Checkers/BlockInCriticalSectionChecker.cpp

  155     State = State->set<MutexCounter>(--mutexCount);
  158     State = State->set<MutexCounter>(++mutexCount);

tools/clang/lib/StaticAnalyzer/Checkers/CStringChecker.cpp

 2361   return state->set<CStringLength>(Entries);
 2396   state = state->set<CStringLength>(Entries);

tools/clang/lib/StaticAnalyzer/Checkers/IteratorChecker.cpp

 2151     State = State->set<IteratorRegionMap>(RegionMap);
 2164     State = State->set<IteratorSymbolMap>(SymbolMap);

tools/clang/lib/StaticAnalyzer/Checkers/MIGChecker.cpp

  221   C.addTransition(State->set<ReleasedParameter>(true), T);

tools/clang/lib/StaticAnalyzer/Checkers/MallocChecker.cpp

 2675   C.addTransition(state->set<RegionState>(RS), N);

tools/clang/lib/StaticAnalyzer/Checkers/NullabilityChecker.cpp

  427       C.addTransition(State->set<InvariantViolated>(true), N);
  441     OriginalState = OriginalState->set<InvariantViolated>(true);
  599     State = State->set<InvariantViolated>(true);
 1119     State = State->set<InvariantViolated>(true);

tools/clang/lib/StaticAnalyzer/Checkers/ObjCSelfInitChecker.cpp

  183     state = state->set<CalledInit>(true);
  255       C.addTransition(state->set<PreCallSelfFlags>(selfFlags));
  259       C.addTransition(state->set<PreCallSelfFlags>(selfFlags));

tools/clang/lib/StaticAnalyzer/Checkers/PthreadLockChecker.cpp

  339     state = state->set<LockSet>(LS.getTail());

tools/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/RetainCountChecker.cpp

 1178     state = state->set<RefBindings>(B);
 1451   state = state->set<RefBindings>(B);

tools/clang/lib/StaticAnalyzer/Checkers/TestAfterDivZeroChecker.cpp

  197   C.addTransition(State->set<DivZeroMap>(DivZeroes));

tools/clang/lib/StaticAnalyzer/Checkers/VforkChecker.cpp

  177   ChildState = ChildState->set<VforkResultRegion>(LhsDeclReg);

tools/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp

 1889     NewNodeState->set<ReplayWithoutInlining>(const_cast<Stmt *>(CE));

tools/clang/lib/StaticAnalyzer/Core/LoopUnrolling.cpp

   78     State = State->set<LoopStack>(LS.getTail());
  263       State = State->set<LoopStack>(LS.getTail());

tools/clang/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp

  429   return Changed ? State->set<ConstraintRange>(CR) : State;