Are there any options to force the compiler to perform stricter type checking than ANSI requires?
Yes, the +strict (-pck) option will force the compiler to perform stricter typechecking. This option includes the +proto option which enables prototype checking.
cx6812 +strict -vl + debug file.c
The +strict option will check the following: Any assignment truncating the right expression (needs an explicit cast) any prototyped argument truncating the operand value any return statement without an argument in a function that's supposed to have a return argument any comparison with a constant out of the compared expression range, any usage of implicit 'int' type