05-08-2015, 07:57 AM
The controlling expression of the while loop in the above example is "(s8a < 10) && (s8a > 20)". This expression will evaluate to False for all values of s8a. Therefore this is non-compliant with the rule 14.3.
Posted by and on behalf of the MISRA C Working Group