Mark false positives found by scan-build
Replace one of the comments with an assert
Silenced and commented scan-build false positives