James Bray

Hi, thanks for the suggestion. That does remove the error, but unfortunately a trivial change re-introduces it: void func( ) { char *text = strdup("test") if (!text) goto END; if (strcmp(text, "test")) goto END; if (text) free(text); return; END: } Replacing the "printf" with "goto END" in the strcmp conditional causes the nullPointerRedundantCheck to occur even with --check-level=exhaustive For the moment I will simply disable this warning.

Hi, I have the following code: void func( ) { char *text = strdup("test") if (!text) goto END; if (strcmp(text, "test")) printf("Different\n"); if (text) free(text); return; END: } When running using 2.18 or the latest code from 17-Oct-25, I get the following spurious warnings: test.c:6:15: warning: Either the condition 'text' is redundant or there is possible null pointer dereference: text. [nullPointerRedundantCheck] if (strcmp(text, "test")) ^ test.c:9:8: note: Assuming that condition 'text' is...

"1. Missing semicolon at line 82 of DockerFile. Not sure if this would cause an issue, but I noticed and fixed." Should read: missed inverted comma (")

OK, so SourceForge has completely mangled my post and appears to offer no way of editing. 5-star source forge :-/ Hopefully you can still get something useful from it.

Docker image issues in [751c23] master

Thanks for that. I can't regenerate the issue with my test program anymore, so it...

Hi, We have an X11 application that our users run via TurboVNC v2.0.91 (TVNC server...

bsdtar creates files with access time set to the Unix epoch (01/01/1970)