Home
last modified time | relevance | path

Searched refs:initHasRun (Results 1 – 1 of 1) sorted by relevance

/external/clang/lib/StaticAnalyzer/Core/
DExprEngine.cpp1675 bool initHasRun = state->contains<InitializedGlobalsSet>(VD); in REGISTER_TRAIT_WITH_PROGRAMSTATE() local
1678 if (!initHasRun) { in REGISTER_TRAIT_WITH_PROGRAMSTATE()
1682 builder.generateNode(state, initHasRun, Pred); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
1683 builder.markInfeasible(!initHasRun); in REGISTER_TRAIT_WITH_PROGRAMSTATE()