start using my license for real

phk probably has this in a global flexelint config

flint.lnt

@@ -37,6 +37,7 @@
 -e728		// Symbol ... not explicitly initialized
 -e737		// Loss of sign in promotion from int to unsigned int
 -e763		// Redundant declaration for symbol '...' previously declared
+-e717		// do ... while(0);
 -e777		// Testing floats for equality
 -e785		// Too few initializers for aggregate
 -e786		// String concatenation within initializer