]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8c0250d) | patch
[analyzer] Fix RangeConstraintManager's pinning of single value ranges.
authorPierre Gousseau <pierregousseau14@gmail.com>
Tue, 12 Jan 2016 10:40:45 +0000 (10:40 +0000)
committerPierre Gousseau <pierregousseau14@gmail.com>
Tue, 12 Jan 2016 10:40:45 +0000 (10:40 +0000)
commit8b94c483f95311e799a32a29a1805e4d20fbf273
tree23074ec02759af5400f1c21fc5ebc597196e6d24tree | snapshot
parent8c0250d7e9aa7dc86f27b0d2820043d6932ea0b1commit | diff
[analyzer] Fix RangeConstraintManager's pinning of single value ranges.

This fix a bug in RangeSet::pin causing single value ranges to be considered non conventionally ordered.

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

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@257467 91177308-0d34-0410-b5e6-96231b3b80d8
lib/StaticAnalyzer/Core/RangeConstraintManager.cpp diff | blob | history
test/Analysis/range_casts.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.