http://zlew.org/postgresql_static_check/scan-build-2009-08-23-5/report-MAVb5D.html#EndPathfor a very positive one - at least from strict language point of view.
consider: float f = 100000000; f++; printf("%f\n", f);