[Bug c/106537] GCC doesn't support -W[no-]compare-distinct-pointer-types

2023-12-01 Thread sjames at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106537 Sam James changed: What|Removed |Added Status|REOPENED|RESOLVED Assignee|unassigned at

[Bug c/106537] GCC doesn't support -W[no-]compare-distinct-pointer-types

2023-08-24 Thread cvs-commit at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106537 --- Comment #9 from CVS Commits --- The master branch has been updated by Jose E. Marchesi : https://gcc.gnu.org/g:721f7e2c4e5eed645593258624dd91e6c39f3bd2 commit r14-3470-g721f7e2c4e5eed645593258624dd91e6c39f3bd2 Author: Jose E. Marchesi

[Bug c/106537] GCC doesn't support -W[no-]compare-distinct-pointer-types

2023-08-24 Thread jemarch at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106537 Jose E. Marchesi changed: What|Removed |Added Ever confirmed|0 |1 Status|RESOLVED

[Bug c/106537] GCC doesn't support -W[no-]compare-distinct-pointer-types

2023-08-24 Thread dje at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106537 David Edelsohn changed: What|Removed |Added CC||dje at gcc dot gnu.org --- Comment #7

[Bug c/106537] GCC doesn't support -W[no-]compare-distinct-pointer-types

2023-08-18 Thread egallager at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106537 --- Comment #6 from Eric Gallager --- Would it be possible to add a fix-it hint to this warning, too, while you're at it?

[Bug c/106537] GCC doesn't support -W[no-]compare-distinct-pointer-types

2023-08-17 Thread jemarch at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106537 Jose E. Marchesi changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution|---

[Bug c/106537] GCC doesn't support -W[no-]compare-distinct-pointer-types

2023-08-17 Thread cvs-commit at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106537 --- Comment #4 from CVS Commits --- The master branch has been updated by Jose E. Marchesi : https://gcc.gnu.org/g:e1f45bea2741c271efbc4c2f9dfad93cbcd644c0 commit r14-3291-ge1f45bea2741c271efbc4c2f9dfad93cbcd644c0 Author: Jose E. Marchesi

[Bug c/106537] GCC doesn't support -W[no-]compare-distinct-pointer-types

2022-08-05 Thread egallager at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106537 Eric Gallager changed: What|Removed |Added CC||egallager at gcc dot gnu.org

[Bug c/106537] GCC doesn't support -W[no-]compare-distinct-pointer-types

2022-08-05 Thread jose.marchesi at oracle dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106537 --- Comment #2 from Jose E. Marchesi --- (In reply to Andrew Pinski from comment #1) > > This option is used in the kernel source tree for some BPF programs. > > Why not fix the sources? Seems not hard to add a cast or two. That's what I

[Bug c/106537] GCC doesn't support -W[no-]compare-distinct-pointer-types

2022-08-05 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106537 Andrew Pinski changed: What|Removed |Added Severity|normal |enhancement Keywords|