[PPL-devel] To represent z->Empty and w->Universe.

[Gianluca Amato]

On 08/19/2012 02:56 PM, Zell wrote:
> I probably misunderstand something basic here. What do you think?

This is not a limitation of the interval domain. In every numerical 
abstract domain, as soon a constraint becomes "empty", all the abstract 
objects becomes empty, too. If x is initialized, you should assign it to 
the universe element, since you don't know which value it may assume. If 
you want to distinguish between non-initialized and unknown values, you 
should use an ad-hoc abstract domain.

--gianluca amato