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

References

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

  213     return addTransition(State, (Tag ? Tag : Location.getTag()));

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

   88   C.addTransition(StInBound);

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

  227   checkerContext.addTransition(state);

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

  586   C.addTransition(stateNonNull);
  996     C.addTransition(State);
 1049     C.addTransition(State);
 1134   C.addTransition(State);
 1158     C.addTransition(assumeExprIsNonNull(E, C.getState(), C));
 1235   C.addTransition(State);

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

  156     C.addTransition(State);
  159     C.addTransition(State);

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

   60     C.addTransition(state);
   74     C.addTransition(state->BindExpr(CE, LCtx, Arg));
   99     C.addTransition(state->BindExpr(CE, LCtx, loc::MemRegionVal(R)));
  127     C.addTransition(state->BindExpr(CE, LCtx, V));

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

 1162     C.addTransition(stateZeroSize);
 1235     C.addTransition(state);
 1299     C.addTransition(state);
 1326         C.addTransition(state);
 1340         C.addTransition(state);
 1377       C.addTransition(stateZeroSize);
 1474   C.addTransition(state);
 1661           C.addTransition(StateZeroSize);
 1879   C.addTransition(state);
 1951     C.addTransition(StSameBuf);
 2028   C.addTransition(state);
 2086   C.addTransition(State);
 2124   C.addTransition(State);
 2151     C.addTransition(StateZeroSize);
 2172   C.addTransition(State);
 2195     C.addTransition(StateZeroSize);
 2215   C.addTransition(State);
 2307   C.addTransition(state);
 2397   C.addTransition(state);

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

   62   C.addTransition(SelfAssignState, SelfAssignTag);
   72   C.addTransition(NonSelfAssignState, NonSelfAssignTag);

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

  341   C.addTransition(StNonNull);
  453   C.addTransition(State);
  559     C.addTransition(state->BindExpr(Msg.getOriginExpr(), LCtx, V), &Tag);
  597     C.addTransition(state->BindExpr(Msg.getOriginExpr(), LCtx, V), &Tag);
  601   C.addTransition(state);

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

  211   C.addTransition(
  251   C.addTransition(
  281     C.addTransition(State->BindExpr(Call.getOriginExpr(),

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

  303     C.addTransition(State);
  593     C.addTransition(State);
  847     C.addTransition(ReleasedState);

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

   85   C.addTransition(state);
  111   C.addTransition(state);

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

  243   C.addTransition(notNullState);
  300   C.addTransition(State, this);

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

   97   C.addTransition(stateNotZero);

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

  128   C.addTransition(State);
  141   C.addTransition(State);
  218         C.addTransition(setDynamicTypeInfo(State, RetReg, DynResTy, false));
  228         C.addTransition(setDynamicTypeInfo(State, RetReg, RecDynType));
  287     return C.addTransition(State);
  302   C.addTransition(setDynamicTypeInfo(C.getState(), MR, NewE->getType(),
  800       ExplodedNode *N = C.addTransition(State, &Tag);
  841     C.addTransition(State);
  883     Pred = C.addTransition(State);

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

  239   C.addTransition(State);
  258   C.addTransition(State);
  336   C.addTransition(C.getState()->set<DenotedSymbols>(Sym, E));

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

  149   C.addTransition(State);
  177   C.addTransition(State);

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

  485     C.addTransition(State);
  491   C.addTransition(State);
  526     C.addTransition(State);

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

  145     C.addTransition(State);
  218         C.addTransition(State);
  256   C.addTransition(State);

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

  727         C.addTransition(State);
  755     C.addTransition(State);
  760       C.addTransition(State);
  774   C.addTransition(State);
  848   C.addTransition(State);
  902       C.addTransition(State);
  915     C.addTransition(StateTrue);
  920     C.addTransition(StateFalse);
  963     C.addTransition(State);
  981     C.addTransition(State);
 1006   C.addTransition(State);
 1157   C.addTransition(State);
 1179   C.addTransition(State);
 1194   C.addTransition(State);
 1270   C.addTransition(State);
 1290         C.addTransition(State);
 1296   C.addTransition(State);
 1311     C.addTransition(State);
 1334   C.addTransition(State);
 1370     C.addTransition(State);
 1386     C.addTransition(State);
 1402       C.addTransition(State);
 1437     C.addTransition(State);
 1462     C.addTransition(State);
 1491   C.addTransition(State);
 1523   C.addTransition(State);
 1544   C.addTransition(State);
 1558   C.addTransition(State);

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

  702     C.addTransition(State);
  713     C.addTransition(State);

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

  190       C.addTransition(C.getState()->add<RefCountedParameters>(PVD));
  221   C.addTransition(State->set<ReleasedParameter>(true), T);

tools/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/MPIChecker.cpp

   52     Ctx.addTransition(State);
   94     Ctx.addTransition(State);
  128     Ctx.addTransition(State);

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

  380       C.addTransition(State);
  399   C.addTransition(State);
  443     C.addTransition(State);
  565     C.addTransition(State);

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

 1226   C.addTransition(State);
 1358   C.addTransition(State);
 1434   C.addTransition(State);
 1478   C.addTransition(State);
 2798   C.addTransition(state);
 2832   C.addTransition(State);

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

  364     C.addTransition(State);
  375       C.addTransition(State);
  491     C.addTransition(State);
  645     C.addTransition(State);
  671       C.addTransition(State);
  697   C.addTransition(State);

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

  184     C.addTransition(state->set<T>(sym, true));

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

  179   C.addTransition(state);

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

   84       C.addTransition(OutputState);

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

  468   C.addTransition(State);
  600     C.addTransition(State);
  634     C.addTransition(State);
  711         ExplodedNode *N = C.addTransition(State);
  723         ExplodedNode *N = C.addTransition(State);
  738     C.addTransition(State);
  770     C.addTransition(State);
  780     C.addTransition(State);
  850       C.addTransition(State);
  860       C.addTransition(State);
  873           C.addTransition(State);
  901       C.addTransition(State);
  923     C.addTransition(State);
  961       C.addTransition(State);
  974     C.addTransition(State);
  981     C.addTransition(State);
 1120     C.addTransition(State);
 1158     C.addTransition(State);
 1166     C.addTransition(State);

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

   87     C.addTransition(notNullState);

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

   82   C.addTransition(

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

  122     C.addTransition(state);
  255       C.addTransition(state->set<PreCallSelfFlags>(selfFlags));
  259       C.addTransition(state->set<PreCallSelfFlags>(selfFlags));
  297   C.addTransition(state);
  333     C.addTransition(State);

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

  126   C.addTransition(State);

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

  237   C.addTransition(State);
  254   C.addTransition(State);
  272   C.addTransition(State);
  293   C.addTransition(State);

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

  269     C.addTransition(lockFail);
  285   C.addTransition(lockSucc);
  343   C.addTransition(state);
  368         C.addTransition(State);
  378       C.addTransition(State);
  384       C.addTransition(State);
  424     C.addTransition(State);
  479   C.addTransition(State);

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

  179   C.addTransition(state);
  226   C.addTransition(state);
  256   C.addTransition(state);
  282   C.addTransition(State);
  322     C.addTransition(setRefBinding(State, Sym, RV->withIvarAccess()));
  330     C.addTransition(setRefBinding(State, Sym, PlusZero));
  335   C.addTransition(State);
  485   C.addTransition(state);
  706       C.addTransition(St);
  949       C.addTransition(NullOutputState, &CastFailTag);
  959   C.addTransition(state);
 1024   Pred = C.addTransition(state);
 1146     C.addTransition(state);
 1364   Ctx.addTransition(state);
 1433     C.addTransition(state);

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

  110     C.addTransition(StNonNull);

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

  114   C.addTransition(State, CallTag);
  161   C.addTransition(State, CallTag);

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

  133   C.addTransition(State);
  159   C.addTransition(State);

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

   60   C.addTransition(

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

  366       C.addTransition(NewState);
  392     C.addTransition(State);

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

  236     C.addTransition(stateNotNull);
  237     C.addTransition(stateNull);
  244     C.addTransition(state);

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

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

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

   92     C.addTransition(State);
  130     C.addTransition(State);
  139     C.addTransition(State);

tools/clang/lib/StaticAnalyzer/Checkers/UninitializedObject/UninitializedObjectChecker.cpp

  169     Context.addTransition(UpdatedState);

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

  389     C.addTransition(trueState);
  425     C.addTransition(trueState);

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

  181   C.addTransition(state);

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

  214   if (ExplodedNode *N = C.addTransition(State))
  324         if (ExplodedNode *N = C.addTransition(State))
  332           if (ExplodedNode *N = C.addTransition(State))
  345     if (ExplodedNode *N = C.addTransition(State))
  352   C.addTransition(State);
  375   C.addTransition(State);

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

  176   C.addTransition(ParentState);
  178   C.addTransition(ChildState);

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

  184     C.addTransition(State);
  198     C.addTransition(State);