]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b249aa3) | patch
[StaticAnalyzer] Handle LoopExit CFGElement in the analyzer
authorPeter Szecsi <szepet95@gmail.com>
Mon, 21 Aug 2017 16:10:19 +0000 (16:10 +0000)
committerPeter Szecsi <szepet95@gmail.com>
Mon, 21 Aug 2017 16:10:19 +0000 (16:10 +0000)
commit186aaf8183fe7c5507d8f9f59a34dff6d57565bf
tree2d190b6edb566ca20f76743d83388e4b49a4add2tree | snapshot
parentb249aa3e022a191b1f4c18e53edd1e9e76c14a85commit | diff
[StaticAnalyzer] Handle LoopExit CFGElement in the analyzer

This patch adds handling of the LoopExit CFGElements to the StaticAnalyzer.
This is reached by introducing a new ProgramPoint.
Tests will be added in a following commit.

Differential Revision: https://reviews.llvm.org/D35670

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@311344 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/Analysis/ProgramPoint.h diff | blob | history
include/clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h diff | blob | history
lib/StaticAnalyzer/Core/CoreEngine.cpp diff | blob | history
lib/StaticAnalyzer/Core/ExprEngine.cpp diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.