Searched defs:initHasRun (Results 1 - 1 of 1) sorted by relevance

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

Completed in 77 milliseconds