WARNING - log/bspcmdline01 did not appear to complete execution
WARNING - log/psxrdwrv did not appear to complete execution
WARNING - log/sp20 did not appear to complete execution
WARNING - log/spintrcritical01 did not appear to complete execution
WARNING - log/spintrcritical02 did not appear to complete execution
WARNING - log/spintrcritical03 did not appear to complete execution
WARNING - log/spintrcritical04 did not appear to complete execution
WARNING - log/spintrcritical05 did not appear to complete execution
WARNING - log/spintrcritical08 did not appear to complete execution
WARNING - log/spintrcritical10 did not appear to complete execution
WARNING - log/spintrcritical11 did not appear to complete execution
WARNING - log/spintrcritical12 did not appear to complete execution
WARNING - log/spintrcritical15 did not appear to complete execution
WARNING - log/spintrcritical16 did not appear to complete execution
WARNING - log/spintrcritical17 did not appear to complete execution
WARNING - log/tmck did not appear to complete execution
Optimization Level :  -O2
POSIX Enabled      :  no
Developmental Code :  no
Bytes Analyzed           : 55545
Bytes Not Executed       : 447
Percentage Executed      :  99.2
Percentage Not Executed  : 0.8048
Uncovered ranges found   : 37
No branch information found
====== Largest Range Sizes (Size and Count)======
    36      1
    28      1
    24      5
    20      1
    16      6
    12      2
     8     11
     4     10
=====================================