Home	Sort by relevance Sort by last modified time

Full Search Definition Symbol File Path History   | | Help

    Searched refs:ChildState (Results 1 - 2 of 2) sorted by null

/external/clang/lib/StaticAnalyzer/Checkers/
VforkChecker.cpp	175 ProgramStateRef ParentState, ChildState; 176 std::tie(ParentState, ChildState) = C.getState()->assume(*DVal); 178 ChildState = ChildState->set<VforkResultRegion>(LhsDeclReg); 179 C.addTransition(ChildState);