[Bug other/77421] Bugs found in GCC with the help of PVS-Studio

2017-01-03 Thread manu at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77421 Manuel López-Ibáñez changed: What|Removed |Added Status|NEW |RESOLVED Resolution|---

[Bug other/77421] Bugs found in GCC with the help of PVS-Studio

2016-10-11 Thread law at redhat dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77421 Bug 77421 depends on bug 77424, which changed state. Bug 77424 Summary: Identical statements in if-else branches https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77424 What|Removed |Added ---

[Bug other/77421] Bugs found in GCC with the help of PVS-Studio

2016-09-19 Thread edlinger at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77421 --- Comment #15 from Bernd Edlinger --- Author: edlinger Date: Mon Sep 19 21:57:46 2016 New Revision: 240250 URL: https://gcc.gnu.org/viewcvs?rev=240250&root=gcc&view=rev Log: 2016-09-19 Bernd Edlinger PR middle-end/77421 * d

[Bug other/77421] Bugs found in GCC with the help of PVS-Studio

2016-09-16 Thread jakub at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77421 Bug 77421 depends on bug 77444, which changed state. Bug 77444 Summary: Bogus assignments in cand_value_at https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77444 What|Removed |Added -

[Bug other/77421] Bugs found in GCC with the help of PVS-Studio

2016-09-16 Thread jakub at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77421 Bug 77421 depends on bug 77425, which changed state. Bug 77425 Summary: Pointer test follows dereference in sched-int.h https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77425 What|Removed |Added

[Bug other/77421] Bugs found in GCC with the help of PVS-Studio

2016-09-12 Thread ktkachov at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77421 Bug 77421 depends on bug 77426, which changed state. Bug 77426 Summary: Duplicate condition in expmed.c https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77426 What|Removed |Added

[Bug other/77421] Bugs found in GCC with the help of PVS-Studio

2016-09-05 Thread jakub at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77421 --- Comment #14 from Jakub Jelinek --- Author: jakub Date: Mon Sep 5 08:50:29 2016 New Revision: 239987 URL: https://gcc.gnu.org/viewcvs?rev=239987&root=gcc&view=rev Log: PR other/77421 * gensupport.c (alter_output_for_subst_ins

[Bug other/77421] Bugs found in GCC with the help of PVS-Studio

2016-09-02 Thread jakub at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77421 --- Comment #13 from Jakub Jelinek --- Author: jakub Date: Fri Sep 2 16:18:35 2016 New Revision: 239959 URL: https://gcc.gnu.org/viewcvs?rev=239959&root=gcc&view=rev Log: PR other/77421 * config/i386/i386.c (ix86_expanded_args_b

[Bug other/77421] Bugs found in GCC with the help of PVS-Studio

2016-09-01 Thread redi at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77421 --- Comment #12 from Jonathan Wakely --- (In reply to Richard Biener from comment #11) > (In reply to Jonathan Wakely from comment #5) > > cand_value_at in tree-ssa-loop-ivopts.c does: > > > > tree type = TREE_TYPE (iv->base); > > tree stept

[Bug other/77421] Bugs found in GCC with the help of PVS-Studio

2016-09-01 Thread rguenth at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77421 --- Comment #11 from Richard Biener --- (In reply to Jonathan Wakely from comment #5) > Remaining issues: > > find_structure in gengtype.c does: > > structures = s; > s->kind = kind; > s->u.s.tag = name; > structures = s; > > The first

[Bug other/77421] Bugs found in GCC with the help of PVS-Studio

2016-08-31 Thread manu at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77421 --- Comment #10 from Manuel López-Ibáñez --- (In reply to jos...@codesourcery.com from comment #2) > I'd also encourage people to look at these issues for ideas for new > warnings in GCC, if they can define a warning case that's plausible to >

[Bug other/77421] Bugs found in GCC with the help of PVS-Studio

2016-08-31 Thread manu at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77421 --- Comment #9 from Manuel López-Ibáñez --- || xloc.file == '\0' || xloc.file[0] == '\xff' || xloc.file[1] == '\xff') This missing warning is PR64767

[Bug other/77421] Bugs found in GCC with the help of PVS-Studio

2016-08-31 Thread manu at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77421 --- Comment #8 from Manuel López-Ibáñez --- (In reply to Jonathan Wakely from comment #5) > Remaining issues: The missing warning is tracked in PR77430.

[Bug other/77421] Bugs found in GCC with the help of PVS-Studio

2016-08-31 Thread manu at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77421 Manuel López-Ibáñez changed: What|Removed |Added CC||manu at gcc dot gnu.org --- Commen

[Bug other/77421] Bugs found in GCC with the help of PVS-Studio

2016-08-31 Thread redi at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77421 --- Comment #6 from Jonathan Wakely --- Oh one more I missed. alter_output_for_subst_insn in gensupport.c has: if (alt < 2 || *insn_out == '*' || *insn_out != '@') return insn_out; The second condition is redundant, since if it's == '*' t

[Bug other/77421] Bugs found in GCC with the help of PVS-Studio

2016-08-31 Thread redi at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77421 --- Comment #5 from Jonathan Wakely --- Remaining issues: find_structure in gengtype.c does: structures = s; s->kind = kind; s->u.s.tag = name; structures = s; The first assignment is redundant. ix86_expand_args_builtin in gcc/config/

[Bug other/77421] Bugs found in GCC with the help of PVS-Studio

2016-08-31 Thread redi at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77421 Jonathan Wakely changed: What|Removed |Added Status|WAITING |NEW --- Comment #4 from Jonathan Wakel

[Bug other/77421] Bugs found in GCC with the help of PVS-Studio

2016-08-31 Thread redi at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77421 --- Comment #3 from Jonathan Wakely --- Created attachment 39525 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=39525&action=edit Patch to fix most of the reported issues. I've created three new bugs for cases where the fix isn't clear. Th

[Bug other/77421] Bugs found in GCC with the help of PVS-Studio

2016-08-31 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77421 --- Comment #2 from joseph at codesourcery dot com --- I'd also encourage people to look at these issues for ideas for new warnings in GCC, if they can define a warning case that's plausible to check for in GCC with a low false-positive rate (s

[Bug other/77421] Bugs found in GCC with the help of PVS-Studio

2016-08-31 Thread sch...@linux-m68k.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77421 Andreas Schwab changed: What|Removed |Added Status|UNCONFIRMED |WAITING Last reconfirmed|