Finished checking --- 6 code warnings, as expected
-Finished checking --- no warnings
+charlit.c: (in function f)
+charlit.c:6:3: Assignment of double to int: x = x + 'c' + 2 + z
+ To allow all numeric types to match, use +relaxtypes.
+
+Finished checking --- 1 code warning, as expected