| commit | da9074e8f7fcef768d45e72d14b483afb1ebe23b | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <stephan@cs.tu-berlin.de> | Sun Oct 09 10:28:44 2011 +0000 |
| committer | Stephan Herrmann <stephan@cs.tu-berlin.de> | Sun Oct 09 10:28:44 2011 +0000 |
| tree | 193df2f02bd447653b4533a87e55fede07ed3249 | |
| parent | 337d5ac8dcc549efd66e9c03b569ea46717f60e8 [diff] |
apply deferred checking also in assignment local-decl to fix their analysis inside loops etc.