HomePhabricator

[analyzer] Fix RangeConstraintManager's pinning of single value ranges.

Authored by pgousseau on Jan 12 2016, 2:40 AM.

Description

[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

llvm-svn: 257467