Searched defs:DVal (Results 1 - 1 of 1) sorted by relevance
| /external/clang/lib/StaticAnalyzer/Checkers/ | ||
| H A D | VforkChecker.cpp | 156 Optional<DefinedOrUnknownSVal> DVal = local 158 if (!DVal) 176 std::tie(ParentState, ChildState) = C.getState()->assume(*DVal); |
Completed in 91 milliseconds