HomePhabricator

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

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

Details