[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
Description
Description
Details
Details
- Committed
pgousseau Jan 12 2016, 2:40 AM - Differential Revision
- D12901: [Static Analyzer] Assertion "System is over constrained" after truncating 64 bits integers to 32 bits. (PR25078)
- Branches
- Unknown
- Tags