Hi, Thank you, that was enough information. Here is simplified example:
#include <stdio.h>
void f()
{
FILE *fd;
fd = fopen("name", "w");
if(!fd){ return; }
if(!(fclose(fd) == 0)){ return; }
}
int main() {}
Confirmed in upstream trunk and bug reported to upstream:
https://sourceforge.net/apps/trac/cppcheck/ticket/600
--
Reijo
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
