HomeSort by: relevance | last modified time | path
    Searched defs:addTransition (Results 1 - 2 of 2) sorted by relevancy

  /src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
CheckerContext.h 166 ExplodedNode *addTransition(ProgramStateRef State = nullptr,
178 ExplodedNode *addTransition(ProgramStateRef State, ExplodedNode *Pred,
196 addTransition(State, generateSink(State, getPredecessor()));
222 return addTransition(State, (Tag ? Tag : Location.getTag()));
238 return addTransition(State, Pred, (Tag ? Tag : Location.getTag()));
  /src/external/apache2/llvm/dist/llvm/utils/TableGen/
DFAEmitter.cpp 48 void DfaEmitter::addTransition(state_type From, state_type To, action_type A) {
303 Emitter.addTransition(State, NewState, Actions.idFor(T.getActions()));

Completed in 15 milliseconds