Goto analyzer 5 part3#966

Closed

martin-cs wants to merge 6 commits intodiffblue:developfrom

martin-cs:goto-analyzer-5-part3

Commits on Jun 15, 2017

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

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

danpoe
authored and
martin
committed
Add is_bottom() and is_top() to ai_domain_baset and derived domains.
martin
committed
Use is_bottom() to catch unreachable functions.
martin
committed