HomeSort by relevance Sort by last modified time
    Searched full:assumeaux (Results 1 - 2 of 2) sorted by null

  /external/clang/lib/StaticAnalyzer/Core/
SimpleConstraintManager.cpp 70 state = assumeAux(state, cond, assumption);
74 const ProgramState *SimpleConstraintManager::assumeAux(const ProgramState *state,
119 state = assumeAux(state, cond, assumption);
138 const ProgramState *SimpleConstraintManager::assumeAux(const ProgramState *state,
200 return assumeAux(state, cast<nonloc::LocAsInteger>(Cond).getLoc(),
SimpleConstraintManager.h 84 const ProgramState *assumeAux(const ProgramState *state, Loc Cond,bool Assumption);
86 const ProgramState *assumeAux(const ProgramState *state, NonLoc Cond, bool Assumption);

Completed in 4939 milliseconds