Yes, free(NULL) is a questionable statement. The source code comment (not the analyzer) just irritated me.