en Copyright 2015 Java http://172.16.0.5:8080/history/llvm-project-15.0.7/clang/test/Analysis/loopexit-cfg-output.cpp#999a25ff [CFG] Add LoopExit information to CFGThis patch introduces a new CFG element CFGLoopExit that indicate when a loopends. It does not deal with returnStmts yet (left it as a TODO).It hidden behind a new analyzer-config flag called cfg-loopexit (false bydefault).Test cases added.The main purpose of this patch right know is to make loop unrolling and loopwidening easier and more efficient. However, this information can be useful forfuture improvements in the StaticAnalyzer core too.Differential Revision: https://reviews.llvm.org/D35668llvm-svn: 311235 List of files: /llvm-project-15.0.7/clang/test/Analysis/loopexit-cfg-output.cpp Sat, 19 Aug 2017 11:19:16 +0000 Peter Szecsi <szepet95@gmail.com>