WARNING - log/block01 did not appear to complete execution
WARNING - log/block02 did not appear to complete execution
WARNING - log/block03 did not appear to complete execution
WARNING - log/block04 did not appear to complete execution
WARNING - log/block05 did not appear to complete execution
WARNING - log/block07 did not appear to complete execution
WARNING - log/block09 did not appear to complete execution
WARNING - log/block10 did not appear to complete execution
WARNING - log/bspcmdline01 did not appear to complete execution
WARNING - log/psxrdwrv did not appear to complete execution
WARNING - log/sp59 did not appear to complete execution
WARNING - log/spintrcritical15 did not appear to complete execution
WARNING - log/spprintk did not appear to complete execution
WARNING - log/stringto01 did not appear to complete execution
Optimization Level :  -O2
POSIX Enabled      :  no
Developmental Code :  no
Bytes Analyzed           : 42751
Bytes Not Executed       : 342
Percentage Executed      :  99.2
Percentage Not Executed  :   0.8
Uncovered ranges found   : 34
Total branches found     : 1085
Uncovered branches found : 295
   264 branches always taken
   31 branches never taken
====== Largest Range Sizes (Size and Count)======
    34      1
    24      2
    20      2
    16      3
    14      2
    12      1
    10      9
     8      1
     6      3
     4      2
     2      8
=====================================