|
clang
5.0.0
|
Go to the source code of this file.
Namespaces | |
| clang | |
| /file This file defines classes for searching and anlyzing source code clones. | |
| clang::ento | |
Functions | |
| ProgramStateRef | clang::ento::getWidenedLoopState (ProgramStateRef PrevState, const LocationContext *LCtx, unsigned BlockCount, const Stmt *LoopStmt) |
| Get the states that result from widening the loop. More... | |
1.8.6