[Bug analyzer/93281] Various analyzer testsuite failures for 32-bit targets

2020-01-17 Thread dmalcolm at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93281 David Malcolm changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution|---

[Bug analyzer/93281] Various analyzer testsuite failures for 32-bit targets

2020-01-17 Thread cvs-commit at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93281 --- Comment #4 from CVS Commits --- The master branch has been updated by David Malcolm : https://gcc.gnu.org/g:5f0303833d542b273da33e4b149974e739d350e5 commit r10-6039-g5f0303833d542b273da33e4b149974e739d350e5 Author: David Malcolm Date: We

[Bug analyzer/93281] Various analyzer testsuite failures for 32-bit targets

2020-01-15 Thread dmalcolm at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93281 --- Comment #3 from David Malcolm --- Candidate patch: https://gcc.gnu.org/ml/gcc-patches/2020-01/msg00924.html

[Bug analyzer/93281] Various analyzer testsuite failures for 32-bit targets

2020-01-15 Thread jakub at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93281 Jakub Jelinek changed: What|Removed |Added CC||jakub at gcc dot gnu.org --- Comment #2

[Bug analyzer/93281] Various analyzer testsuite failures for 32-bit targets

2020-01-15 Thread dmalcolm at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93281 --- Comment #1 from David Malcolm --- These are all of the various: __analyzer_eval (q[-2].x == 107024); /* { dg-warning "TRUE" } */ __analyzer_eval (q[-2].y == 107025); /* { dg-warning "TRUE" } */ emitting UNKNOWN instead. The -m32 gimple

[Bug analyzer/93281] Various analyzer testsuite failures for 32-bit targets

2020-01-15 Thread dmalcolm at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93281 David Malcolm changed: What|Removed |Added Status|UNCONFIRMED |ASSIGNED Last reconfirmed|