[Bug middle-end/17308] nonnull attribute not as useful as it could be

2023-02-02 Thread segher at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=17308 --- Comment #24 from Segher Boessenkool --- (In reply to Andrew Pinski from comment #23) > I also suspect many of these new warnings we are doing in recent years > really should not be part of -Wall because of how many false positives we > have.

[Bug middle-end/17308] nonnull attribute not as useful as it could be

2023-02-02 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=17308 --- Comment #23 from Andrew Pinski --- The patch which would have "fixed" this was reverted as there was too many false positives and that happens when you do optimization based warnings ... I don't know if we want to keep this open or close

[Bug middle-end/17308] nonnull attribute not as useful as it could be

2023-02-02 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=17308 --- Comment #22 from Andrew Pinski --- *** Bug 95515 has been marked as a duplicate of this bug. ***

[Bug middle-end/17308] nonnull attribute not as useful as it could be

2023-02-02 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=17308 Andrew Pinski changed: What|Removed |Added Resolution|FIXED |--- Status|RESOLVED

[Bug middle-end/17308] nonnull attribute not as useful as it could be

2016-12-14 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=17308 Martin Sebor changed: What|Removed |Added Status|REOPENED|RESOLVED Resolution|---

[Bug middle-end/17308] nonnull attribute not as useful as it could be

2016-12-14 Thread segher at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=17308 --- Comment #19 from Segher Boessenkool --- powerpc64-linux, even.

[Bug middle-end/17308] nonnull attribute not as useful as it could be

2016-12-14 Thread segher at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=17308 Segher Boessenkool changed: What|Removed |Added Status|RESOLVED|REOPENED CC|

[Bug middle-end/17308] nonnull attribute not as useful as it could be

2016-12-14 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=17308 Martin Sebor changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution|---

[Bug middle-end/17308] nonnull attribute not as useful as it could

2016-12-14 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=17308 --- Comment #16 from Martin Sebor --- Author: msebor Date: Wed Dec 14 17:23:16 2016 New Revision: 243661 URL: https://gcc.gnu.org/viewcvs?rev=243661=gcc=rev Log: PR c/78673 - sprintf missing attribute nonnull on destination argument PR c/17308

[Bug middle-end/17308] nonnull attribute not as useful as it could

2016-12-05 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=17308 Martin Sebor changed: What|Removed |Added Keywords||patch --- Comment #15 from Martin Sebor

[Bug middle-end/17308] nonnull attribute not as useful as it could

2016-12-04 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=17308 Martin Sebor changed: What|Removed |Added Status|NEW |ASSIGNED Assignee|unassigned

[Bug middle-end/17308] nonnull attribute not as useful as it could

2016-11-10 Thread frankhb1989 at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=17308 frankhb1989 at gmail dot com changed: What|Removed |Added CC||frankhb1989 at gmail dot

[Bug middle-end/17308] nonnull attribute not as useful as it could

2016-02-17 Thread jakub at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=17308 Jakub Jelinek changed: What|Removed |Added CC||jakub at gcc dot gnu.org --- Comment

[Bug middle-end/17308] nonnull attribute not as useful as it could

2015-09-11 Thread mark at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=17308 Mark Wielaard changed: What|Removed |Added CC||mark at gcc dot gnu.org --- Comment #11

[Bug middle-end/17308] nonnull attribute not as useful as it could

2015-07-25 Thread manu at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=17308 Manuel López-Ibáñez manu at gcc dot gnu.org changed: What|Removed |Added CC|

[Bug middle-end/17308] nonnull attribute not as useful as it could

2012-04-25 Thread ericb at gcc dot gnu.org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=17308 --- Comment #8 from Eric Blake ericb at gcc dot gnu.org 2012-04-25 19:31:59 UTC --- I hit this again today, and I'm still upset that gcc is doing such a poor job with (not) using this attribute as a way to improve code quality via decent

[Bug middle-end/17308] nonnull attribute not as useful as it could

2012-04-25 Thread manu at gcc dot gnu.org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=17308 --- Comment #9 from Manuel López-Ibáñez manu at gcc dot gnu.org 2012-04-25 20:00:44 UTC --- (In reply to comment #8) Even if you decide that you are unable to warn about a call to foo(var) because the only way to analyze that var might be

[Bug middle-end/17308] nonnull attribute not as useful as it could

2011-02-11 Thread ericb at gcc dot gnu.org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=17308 Eric Blake ericb at gcc dot gnu.org changed: What|Removed |Added CC||ericb at gcc dot

[Bug middle-end/17308] nonnull attribute not as useful as it could

2011-02-11 Thread manu at gcc dot gnu.org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=17308 Manuel López-Ibáñez manu at gcc dot gnu.org changed: What|Removed |Added CC||manu at gcc

[Bug middle-end/17308] nonnull attribute not as useful as it could

2010-02-15 Thread msebor at gmail dot com
--- Comment #5 from msebor at gmail dot com 2010-02-15 20:51 --- I second Ulrich's request. Besides nonnull, this enhancement would be useful in attribute printf as well. For example, in the program below, both calls to printf() have undefined behavior in C99 and should be diagnosed:

[Bug middle-end/17308] nonnull attribute not as useful as it could

2008-12-23 Thread thutt at vmware dot com
--- Comment #4 from thutt at vmware dot com 2008-12-23 15:40 --- /* I concur with Ulrich, but three years on, using gcc 4.1.2. Although a parameter which is marked with the 'nonnull' attribute is demonstrably nonnull, and although the compiler recognizes it is specifically

[Bug middle-end/17308] nonnull attribute not as useful as it could

2008-04-25 Thread pinskia at gcc dot gnu dot org
--- Comment #3 from pinskia at gcc dot gnu dot org 2008-04-25 20:52 --- *** Bug 30043 has been marked as a duplicate of this bug. *** -- pinskia at gcc dot gnu dot org changed: What|Removed |Added

[Bug middle-end/17308] nonnull attribute not as useful as it could

2005-06-24 Thread pinskia at gcc dot gnu dot org
--- Additional Comments From pinskia at gcc dot gnu dot org 2005-06-24 23:13 --- *** Bug 22179 has been marked as a duplicate of this bug. *** -- What|Removed |Added

[Bug middle-end/17308] nonnull attribute not as useful as it could

2004-12-08 Thread pinskia at gcc dot gnu dot org
-- What|Removed |Added Keywords||diagnostic Last reconfirmed|2004-09-09 03:42:31 |2004-12-09 00:17:09 date|