Searched defs:AdvancedState (Results 1 – 1 of 1) sorted by relevance
| /freebsd-src/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ | ||
| H A D | IteratorModeling.cpp | 610 auto AdvancedState = advancePosition(State, Iterator, Op, *Value); handleRandomIncrOrDecr() local |