Goto analyzer 6 part1#1475

Merged

thk123 merged 6 commits intodiffblue:developfrom

martin-cs:goto-analyzer-6-part1

Oct 16, 2017

Commits on Oct 13, 2017

Fix constant propagator.
martin
committed
disable two-way propagation for now

danpoe
authored and
martin
committed

Commits on Oct 14, 2017

Addressing constant domain review comments by Daniel Poetzl.
martin
committed
constant propagator fix

danpoe
authored and
martin
committed
Regression test for constant propagator merge bug

peterschrammel
authored and
martin
committed
Add the overrides that clang wants.
martin
committed