When running smatch against C code which uses '-funsigned-char' theres no way to tell smatch that all chars are unsigned.
Gives lots of warnings like:
warn: always true condition '(wcol->inner[3] < 255) => ((-128)-127 < 255)
Log in to post a comment.