From 00adddd65689d995d8bdf306d0850c852ff0fd25 Mon Sep 17 00:00:00 2001 From: David Malcolm Date: Mon, 14 Sep 2020 09:05:50 -0400 Subject: [PATCH] analyzer: add regression test for leak false positive Downstream bug report: https://bugzilla.redhat.com/show_bug.cgi?id=1878600 describes a false positive from -Wanalyzer-file-leak seen with gcc 10.2, but which has been fixed in gcc 11. This patch adds the reproducer as a regression test. gcc/testsuite/ChangeLog: * gcc.dg/analyzer/rhbz1878600.c: New test. --- gcc/testsuite/gcc.dg/analyzer/rhbz1878600.c | 34 +++++++++++++++++++++ 1 file changed, 34 insertions(+) create mode 100644 gcc/testsuite/gcc.dg/analyzer/rhbz1878600.c diff --git a/gcc/testsuite/gcc.dg/analyzer/rhbz1878600.c b/gcc/testsuite/gcc.dg/analyzer/rhbz1878600.c new file mode 100644 index 00000000000..9f6ccb6dc27 --- /dev/null +++ b/gcc/testsuite/gcc.dg/analyzer/rhbz1878600.c @@ -0,0 +1,34 @@ +#include + +#define INI_MAX_LINE 200 + +typedef char* (*ini_reader)(char* str, int num, void* stream); + +int ini_parse(const char* filename); + +static int ini_parse_stream(ini_reader reader, void* stream) +{ + char line[INI_MAX_LINE]; + int max_line = INI_MAX_LINE; + while (reader(line, max_line, stream) != NULL) + ; + return 0; +} + +static int ini_parse_file(FILE* file) +{ + return ini_parse_stream((ini_reader)fgets, file); +} + +int ini_parse(const char* filename) +{ + FILE* file; + int error; + + file = fopen(filename, "r"); + if (!file) + return -1; + error = ini_parse_file(file); + fclose(file); + return error; +} -- 2.30.2