diff options
author | David Malcolm <dmalcolm@redhat.com> | 2021-02-09 15:54:14 -0500 |
---|---|---|
committer | David Malcolm <dmalcolm@redhat.com> | 2021-02-09 15:54:14 -0500 |
commit | 790a8e8942b3f5a896ab5897cd209de1d9c382ae (patch) | |
tree | 457be320498768901e49e847bc14a3f21fe37d3a /gcc/analyzer/sm-file.cc | |
parent | 1d9f3b7ad4f965a0acc21d42cb2d186ecd065b71 (diff) | |
download | gcc-790a8e8942b3f5a896ab5897cd209de1d9c382ae.zip gcc-790a8e8942b3f5a896ab5897cd209de1d9c382ae.tar.gz gcc-790a8e8942b3f5a896ab5897cd209de1d9c382ae.tar.bz2 |
analyzer: support "_IO_"-prefixed variants of FILE * fns [PR98575]
PR analyzer/98575 describes an unexpected -Wanalyzer-malloc-leak false
positive from gcc.dg/analyzer/pr94851-1.c on glibc < 2.28.
The issue is that a getchar call gets inlined into a call to _IO_getc,
and "_IO_getc" is not in the set of FILE * functions the analyzer
"knows about". This exposes a bug in memory leak detection on code
paths in which an unknown function has been called.
The memory leak bug is fixed in the prior commit, but for good
measure this patch special-cases the "_IO_"-prefixed names in glibc
so that the analyzer can reuse its knowledge about the unprefixed
variants.
gcc/analyzer/ChangeLog:
PR analyzer/98575
* sm-file.cc (is_file_using_fn_p): Support "_IO_"-prefixed
variants.
gcc/testsuite/ChangeLog:
PR analyzer/98575
* gcc.dg/analyzer/file-1.c (test_5): New.
* gcc.dg/analyzer/file-3.c: New test.
Diffstat (limited to 'gcc/analyzer/sm-file.cc')
-rw-r--r-- | gcc/analyzer/sm-file.cc | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/gcc/analyzer/sm-file.cc b/gcc/analyzer/sm-file.cc index aaa7ab2..48ef4aa 100644 --- a/gcc/analyzer/sm-file.cc +++ b/gcc/analyzer/sm-file.cc @@ -307,7 +307,16 @@ static bool is_file_using_fn_p (tree fndecl) { function_set fs = get_file_using_fns (); - return fs.contains_decl_p (fndecl); + if (fs.contains_decl_p (fndecl)) + return true; + + /* Also support variants of these names prefixed with "_IO_". */ + const char *name = IDENTIFIER_POINTER (DECL_NAME (fndecl)); + if (strncmp (name, "_IO_", 4) == 0) + if (fs.contains_name_p (name + 4)) + return true; + + return false; } /* Implementation of state_machine::on_stmt vfunc for fileptr_state_machine. */ |