C55 compiler v4.3.9 #pragma MUST_ITERATE 0-iteration test

Hello,

We observe the following behavior which seems to be incorrect for the C55 compiler version 4.3.9.  For a loop with an indeterminate count, the compiler does not remove the 0-iteration test in the following despite the presence of the MUST_ITERATE pragma which guarantees at least one iteration through the loop.

void doloop(int niters)

{

#pragma MUST_ITERATE(1,10,)

for (int i=0; i<niters; ++i) do something;

}

The resulting assembly code still shows a 0-iteration loop test.  However, the following code does not result in the 0-iteration test, which is the expected behavior.

void doloop(int niters)

{

int i = 0;

#pragma MUST_ITERATE(1,10,)

for (; i<niters; ++i) do something;

}

It appears that declaring the index variable in the for loop is somehow causing the 0-iteration information to be ignored.

Thanks for looking into this.