WARNING - log/bspcmdline01 did not appear to complete execution
WARNING - log/psx07 did not appear to complete execution
WARNING - log/psxintrcritical01 did not appear to complete execution
WARNING - log/psxrdwrv did not appear to complete execution
WARNING - log/psxtime 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      :  yes
Developmental Code :  no
Bytes Analyzed           : 87590
Bytes Not Executed       : 555
Percentage Executed      : 99.37
Percentage Not Executed  : 0.6336
Uncovered ranges found   : 48
No branch information found
====== Largest Range Sizes (Size and Count)======
    36      1
    32      1
    28      2
    24      3
    20      2
    16      8
    12      3
     8     13
     4     15
=====================================