[Cannotate] Re-initialization of for-loop initial variables
Using the following code snippet as example, we can see that Cannoate is doing something wrong.
// Before
int main() {
for (int j = 5; j --; ) {};
for (int j = 5; j --; ) {};
}
// After
int main() {
int j = 5;
for (; j --; ) {};
int j = 5;
for (; j --; ) {};
}
However, this haven't happened in real-world programs so far.