This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug middle-end/78917] missing -Wnonnull passing null to a nonnull function
- From: "egallager at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: Mon, 28 Aug 2017 19:53:02 +0000
- Subject: [Bug middle-end/78917] missing -Wnonnull passing null to a nonnull function
- Auto-submitted: auto-generated
- References: <bug-78917-4@http.gcc.gnu.org/bugzilla/>
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78917
Eric Gallager <egallager at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Last reconfirmed| |2017-08-28
CC| |egallager at gcc dot gnu.org
Ever confirmed|0 |1
--- Comment #1 from Eric Gallager <egallager at gcc dot gnu.org> ---
Confirmed, although I'm wondering how this is different from bug 78998? Sure,
the original source is slightly different, but they optimize to pretty much the
same thing... doing -fdump-tree-optimized to text files instead of /dev/stdout
and then comparing them gives:
$ diff -u 78998_opt.txt 78917_opt.txt
--- 78998_opt.txt 2017-08-28 15:50:10.000000000 -0400
+++ 78917_opt.txt 2017-08-28 15:50:23.000000000 -0400
@@ -1,15 +1,15 @@
-;; Function f (f, funcdef_no=0, decl_uid=1769, cgraph_uid=0, symbol_order=0)
+;; Function g (g, funcdef_no=0, decl_uid=1770, cgraph_uid=0, symbol_order=0)
-f (int i)
+g (int i, int j)
{
long unsigned int _1;
- int _6;
+ int _7;
<bb 2> [100.00%] [count: INV]:
_1 = __builtin_strlen (0B); [tail call]
- _6 = (int) _1;
- return _6;
+ _7 = (int) _1;
+ return _7;
}
$