[cfe-dev] Lazy bindings

[Zhongxing Xu]

Another much simplified scheme:

* leave all locations uninitialized
* if a location is assigned Unknown, bind it to Unknown explicitly in the
bindings.

Then Retrieve becomes:

Retrieve (L)
{
  if L has binding
    return L's binding
  else
    if L is on stack or heap
      return UndefinedVal
    else
      return SymbolicVal
}

The locations that are assigned unknown should not be too much, so this
would not incur too much overhead. The only bindings that would be removed
explicitly are those that are dead.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20081214/1747989a/attachment.html>