While statements: Verify warning: could not find any memory chain

[djrieger]

While the following code works just fine:

while (2 < 10) {
    System.out.println(1);
}

while statements with empty bodies such as while (2 < 10) { } result in this verification warning:

Verify warning: could not find any memory chain in graph main[62]

[djrieger]

while (2 < 10) { } causes the warning to be printed but while (false) { } works fine.

[ratefuchs]

It seems to be fixed. Can we close this?

[djrieger]

Not fixed yet as of v0.5