]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 838cb5d) | patch
[analyzer] Create one state for a range switch case instead of multiple.
authorDevin Coughlin <dcoughlin@apple.com>
Tue, 22 Sep 2015 20:31:19 +0000 (20:31 +0000)
committerDevin Coughlin <dcoughlin@apple.com>
Tue, 22 Sep 2015 20:31:19 +0000 (20:31 +0000)
commit8ef8ffcccf3af28d2dba8ce1d3ace2346538a697
treea055a7c18bf3613416f5ac4586aa94a24e0f6dc2tree | snapshot
parent838cb5dcc14a6f1e5217110e314b520ee5f1cee5commit | diff
[analyzer] Create one state for a range switch case instead of multiple.

This fixes PR16833, in which the analyzer was using large amounts of memory
for switch statements with large case ranges.

rdar://problem/14685772

A patch by Aleksei Sidorin!

Differential Revision: http://reviews.llvm.org/D5102

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@248318 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/StaticAnalyzer/Core/PathSensitive/ConstraintManager.h diff | blob | history
include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h diff | blob | history
lib/Analysis/CFG.cpp diff | blob | history
lib/StaticAnalyzer/Core/ExprEngine.cpp diff | blob | history
lib/StaticAnalyzer/Core/RangeConstraintManager.cpp diff | blob | history
lib/StaticAnalyzer/Core/SimpleConstraintManager.cpp diff | blob | history
lib/StaticAnalyzer/Core/SimpleConstraintManager.h diff | blob | history
test/Analysis/switch-case.c [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.