clear assigned_value for scalars that are assigned an unknown value
commiteab7de38a758471326976c1141aba383633cafd9
authorSven Verdoolaege <skimo@kotnet.org>
Sat, 3 Sep 2011 13:43:58 +0000 (3 15:43 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Sun, 4 Sep 2011 20:59:17 +0000 (4 22:59 +0200)
tree6efd6b7aaa84f7ff47d14dc16e2cb5d58b12fd2e
parent065f868eced7fe70c462c9ce88a3557e5ecf5bee
clear assigned_value for scalars that are assigned an unknown value

Similarly clear assigned_value if the address of a scalar is taken.
This may result in the assignment of an unknown value.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
scan.cc
scan.h