The automated translation of this page is provided by a general purpose third party translator tool. Value of type signed char is implicitly converted to plain char. The defined preprocessor operator shall only be used in one of the two standard forms.

Trace code analysis to the model. The rule checker raises a defect only if the result of a composite expression is cast to a different or wider essential type. Bug Finder and Code Prover check this coding rule differently.

David Kroukamp David Kroukamp If Polyspace finds a pragma not in the allowed pragma list, a violation is raised.