HomePhabricator

[analyzer] exploded-graph-rewriter: Add support for range constraints.

Authored by dergachev.a on Jun 24 2019, 7:16 PM.

Description

[analyzer] exploded-graph-rewriter: Add support for range constraints.

Diff support included.

A cheap solution is implemented that treats range constraints as
"some sort of key-value map", so it's going to be trivial
to add support for other such maps later, such as dynamic type info.

Differential Revision: https://reviews.llvm.org/D63685

llvm-svn: 364268