]> andersk Git - splint.git/blame - test/charlit.out
Added some new tests: sizeof, and bufferTest.
[splint.git] / test / charlit.out
CommitLineData
885824d3 1
2charlit.c: (in function f)
3charlit.c:3:11: Variable x initialized to type char, expects int: 'a'
4 A character constant is used as an int. Use +charintliteral to allow
5 character constants to be used as ints. (This is safe since the actual type
6 of a char constant is int.)
7charlit.c:6:7: Incompatible types for + (int, char): x + 'c'
e4c9f289 8Illegal instruction
This page took 0.050334 seconds and 5 git commands to generate.