Polly 23.0.0git
wak2-1.c File Reference

Go to the source code of this file.

Functions

 if (c1 >=d1+1)
 for (int c0=a1;c0<=b1;c0+=1)

Variables

 else

Function Documentation

◆ for()

for ( int c0 = a1;c0<=b1;c0+=1)

Definition at line 9 of file wak2-1.c.

References c0, c1, c2, and s0().

◆ if()

if ( c1 >=d1+ 1)

Definition at line 1 of file wak2-1.c.

References c0, c1, and c2.

Variable Documentation

◆ else

else
Initial value:
{
for (int c0 = a2; c0 <= min(a1 - 1, b2); c0 += 1)
for (int c1_0 = c2; c1_0 <= d2; c1_0 += 1)
s1(c0, c1_0)
c0

Definition at line 5 of file wak2-1.c.