[Bug analyzer/94732] Analyzer: false positive in MPFR's atan.c

2020-04-28 Thread dmalcolm at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94732 David Malcolm changed: What|Removed |Added Resolution|--- |FIXED Status|UNCONFIRMED

[Bug analyzer/94732] Analyzer: false positive in MPFR's atan.c

2020-04-28 Thread cvs-commit at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94732 --- Comment #2 from CVS Commits --- The master branch has been updated by David Malcolm : https://gcc.gnu.org/g:78b9783774bfd3540f38f5b1e3c7fc9f719653d7 commit r10-8012-g78b9783774bfd3540f38f5b1e3c7fc9f719653d7 Author: David Malcolm Date: Th

[Bug analyzer/94732] Analyzer: false positive in MPFR's atan.c

2020-04-23 Thread vincent-gcc at vinc17 dot net
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94732 --- Comment #1 from Vincent Lefèvre --- Here's the corresponding simple testcase: typedef struct { int *a; } S; int *f (void); static void g (S *x) { int *p = x->a; p[0] = 0; } void h (void) { S x[1]; x->a = f (); g (x); } $ gcc-10 -c