mirror/gcc
2
0
Fork 0
mirror of git://gcc.gnu.org/git/gcc.git synced 2025-04-15 22:21:20 +08:00
Code Issues Packages Projects Releases Wiki Activity

analyzer: add regression test [PR96598]

Browse Source 
PR analyzer/96598 reports that -fanalyzer issues a false
  warning: use of NULL 'str' where non-null expected
with gcc 10.2 when used with -fsanitize=undefined.

This was fixed by g:808f4dfeb3a95f50f15e71148e5c1067f90a126d.

gcc/testsuite/ChangeLog:
	PR analyzer/96598
	* gcc.dg/analyzer/pr96598.c: New test.
This commit is contained in:
David Malcolm 2020-08-13 15:11:10 -04:00
parent 808f4dfeb3
commit 2ec32ddf82
1 changed files with 26 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

26
gcc/testsuite/gcc.dg/analyzer/pr96598.c Normal file
View File

@ -0,0 +1,26 @@
/* { dg-additional-options "-O0 -fsanitize=undefined" } */
extern char *foo (char *dest, const char *src)
__attribute__ ((__nonnull__ (1, 2)));
unsigned bar(const char *str)
__attribute__ ((__nonnull__ ()));
unsigned test(const char *str, unsigned **pv)
__attribute__ ((__nonnull__ ()));
unsigned test(const char* str, unsigned **pv)
{
char buffer[130];
*pv = 0;
foo(buffer, str);
if (bar(buffer))
{
const char *ptr = 0;
foo(buffer, str);
return bar(buffer);
}
return 0;
}