5 Caveats

In pragma if blocks, all the statements inside the block will be indented. This will cause unpredictable results in cases where the statements are not well nested.

     ...
     for i in m..n loop
        x = 10;
        pragma if ...
           ...
           end loop;
        pragma else ...
           ...
           end loop;
        pragma end if ...
     -- the pragma if-else-endif block determines 
     -- the end of the for loop
     ...