public inbox for gcc-bugs@sourceware.org help / color / mirror / Atom feed
From: "manu at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org> To: gcc-bugs@gcc.gnu.org Subject: [Bug c/56980] Misleading note Date: Tue, 16 Apr 2013 15:24:00 -0000 [thread overview] Message-ID: <bug-56980-4-qKvEirB5HC@http.gcc.gnu.org/bugzilla/> (raw) In-Reply-To: <bug-56980-4@http.gcc.gnu.org/bugzilla/> http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56980 --- Comment #1 from Manuel López-Ibáñez <manu at gcc dot gnu.org> 2013-04-16 15:24:46 UTC --- Confirmed, but I seriously doubt it has anything to do with my patch. At the moment of warning we get: (gdb) p debug_tree(type) <pointer_type 0x7ffff7511540 type <record_type 0x7ffff7511498 B type_0 SI size <integer_cst 0x7ffff740f0c0 constant 32> unit size <integer_cst 0x7ffff740f0e0 constant 4> align 32 symtab 0 alias set -1 canonical type 0x7ffff75113f0 fields <field_decl 0x7ffff74195f0 i type <integer_type 0x7ffff740c5e8 int> SI file /home/manuel/pr56980.c line 1 col 24 size <integer_cst 0x7ffff740f0c0 32> unit size <integer_cst 0x7ffff740f0e0 4> align 32 offset_align 128 offset <integer_cst 0x7ffff73f7d80 constant 0> bit offset <integer_cst 0x7ffff73f7e00 constant 0> context <record_type 0x7ffff75113f0 A>> pointer_to_this <pointer_type 0x7ffff7511540> chain <type_decl 0x7ffff752a000 D.1714>> unsigned DI size <integer_cst 0x7ffff73f7d40 type <integer_type 0x7ffff740c0a8 bitsizetype> constant 64> unit size <integer_cst 0x7ffff73f7d60 type <integer_type 0x7ffff740c000 sizetype> constant 8> align 64 symtab 0 alias set -1 canonical type 0x7ffff75115e8> $9 = void (gdb) p debug_tree(rhstype) <pointer_type 0x7ffff75119d8 type <record_type 0x7ffff7511930 B VOID align 8 symtab 0 alias set -1 canonical type 0x7ffff7511930 context <function_decl 0x7ffff7510a00 bar> pointer_to_this <pointer_type 0x7ffff75119d8> chain <type_decl 0x7ffff752a170 D.1722>> unsigned DI size <integer_cst 0x7ffff73f7d40 type <integer_type 0x7ffff740c0a8 bitsizetype> constant 64> unit size <integer_cst 0x7ffff73f7d60 type <integer_type 0x7ffff740c000 sizetype> constant 8> align 64 symtab 0 alias set -1 canonical type 0x7ffff75119d8> which seem correct to me, so the pretty-printer is printing the wrong thing and not unwrapping the typedef as it should. >From gcc-bugs-return-420399-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Tue Apr 16 15:26:01 2013 Return-Path: <gcc-bugs-return-420399-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org> Delivered-To: listarch-gcc-bugs@gcc.gnu.org Received: (qmail 21974 invoked by alias); 16 Apr 2013 15:26:01 -0000 Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: <gcc-bugs.gcc.gnu.org> List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/> List-Post: <mailto:gcc-bugs@gcc.gnu.org> List-Help: <mailto:gcc-bugs-help@gcc.gnu.org> Sender: gcc-bugs-owner@gcc.gnu.org Delivered-To: mailing list gcc-bugs@gcc.gnu.org Received: (qmail 21946 invoked by uid 48); 16 Apr 2013 15:25:58 -0000 From: "manu at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org> To: gcc-bugs@gcc.gnu.org Subject: [Bug c/56980] Misleading note Date: Tue, 16 Apr 2013 15:26:00 -0000 X-Bugzilla-Reason: CC X-Bugzilla-Type: changed X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: gcc X-Bugzilla-Component: c X-Bugzilla-Keywords: X-Bugzilla-Severity: normal X-Bugzilla-Who: manu at gcc dot gnu.org X-Bugzilla-Status: NEW X-Bugzilla-Priority: P3 X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org X-Bugzilla-Target-Milestone: --- X-Bugzilla-Changed-Fields: Status Last reconfirmed Ever Confirmed Message-ID: <bug-56980-4-GSzBLajgYG@http.gcc.gnu.org/bugzilla/> In-Reply-To: <bug-56980-4@http.gcc.gnu.org/bugzilla/> References: <bug-56980-4@http.gcc.gnu.org/bugzilla/> X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/ Auto-Submitted: auto-generated Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-SW-Source: 2013-04/txt/msg01544.txt.bz2 Content-length: 1130 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56980 Manuel López-Ibáñez <manu at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |NEW Last reconfirmed| |2013-04-16 Ever Confirmed|0 |1 --- Comment #2 from Manuel López-Ibáñez <manu at gcc dot gnu.org> 2013-04-16 15:25:58 UTC --- I think I have seen similar bugs in the pretty-printer with typedefs. BTW, Clang gets it perfect: pr56980.c:6:8: warning: incompatible pointer types passing 'struct B *' to parameter of type 'B *' (aka 'struct A *') [-Wincompatible-pointer-types] foo ((struct B *) x); ^~~~~~~~~~~~~~ pr56980.c:2:14: note: passing argument to parameter here void foo (B *); ^ pr56980.c:11:7: warning: incompatible pointer types initializing 'B *' (aka 'struct A *') with an expression of type 'struct B *' [-Wincompatible-pointer-types] B * y = (struct B *) x; ^ ~~~~~~~~~~~~~~ >From gcc-bugs-return-420400-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Tue Apr 16 15:33:19 2013 Return-Path: <gcc-bugs-return-420400-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org> Delivered-To: listarch-gcc-bugs@gcc.gnu.org Received: (qmail 25454 invoked by alias); 16 Apr 2013 15:33:19 -0000 Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: <gcc-bugs.gcc.gnu.org> List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/> List-Post: <mailto:gcc-bugs@gcc.gnu.org> List-Help: <mailto:gcc-bugs-help@gcc.gnu.org> Sender: gcc-bugs-owner@gcc.gnu.org Delivered-To: mailing list gcc-bugs@gcc.gnu.org Received: (qmail 25423 invoked by uid 48); 16 Apr 2013 15:33:16 -0000 From: "manu at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org> To: gcc-bugs@gcc.gnu.org Subject: [Bug c/56980] Misleading note Date: Tue, 16 Apr 2013 15:33:00 -0000 X-Bugzilla-Reason: CC X-Bugzilla-Type: changed X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: gcc X-Bugzilla-Component: c X-Bugzilla-Keywords: diagnostic X-Bugzilla-Severity: normal X-Bugzilla-Who: manu at gcc dot gnu.org X-Bugzilla-Status: NEW X-Bugzilla-Priority: P3 X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org X-Bugzilla-Target-Milestone: --- X-Bugzilla-Changed-Fields: Keywords Message-ID: <bug-56980-4-xrSoilalrH@http.gcc.gnu.org/bugzilla/> In-Reply-To: <bug-56980-4@http.gcc.gnu.org/bugzilla/> References: <bug-56980-4@http.gcc.gnu.org/bugzilla/> X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/ Auto-Submitted: auto-generated Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-SW-Source: 2013-04/txt/msg01545.txt.bz2 Content-length: 724 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56980 Manuel López-Ibáñez <manu at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Keywords| |diagnostic --- Comment #3 from Manuel López-Ibáñez <manu at gcc dot gnu.org> 2013-04-16 15:33:16 UTC --- void baz (B *x) { int y = x >> x; } /home/manuel/pr56980.c:11:13: error: invalid operands to binary >> (have ‘struct B *’ and ‘struct B *’) int y = x >> x; ^ The C pretty-printer cannot deal correctly with pointers to typedefs of structs. >From gcc-bugs-return-420401-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Tue Apr 16 15:34:59 2013 Return-Path: <gcc-bugs-return-420401-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org> Delivered-To: listarch-gcc-bugs@gcc.gnu.org Received: (qmail 27140 invoked by alias); 16 Apr 2013 15:34:59 -0000 Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: <gcc-bugs.gcc.gnu.org> List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/> List-Post: <mailto:gcc-bugs@gcc.gnu.org> List-Help: <mailto:gcc-bugs-help@gcc.gnu.org> Sender: gcc-bugs-owner@gcc.gnu.org Delivered-To: mailing list gcc-bugs@gcc.gnu.org Received: (qmail 27095 invoked by uid 48); 16 Apr 2013 15:34:56 -0000 From: "manu at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org> To: gcc-bugs@gcc.gnu.org Subject: [Bug c/56980] Misleading note Date: Tue, 16 Apr 2013 15:34:00 -0000 X-Bugzilla-Reason: CC X-Bugzilla-Type: changed X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: gcc X-Bugzilla-Component: c X-Bugzilla-Keywords: diagnostic X-Bugzilla-Severity: normal X-Bugzilla-Who: manu at gcc dot gnu.org X-Bugzilla-Status: NEW X-Bugzilla-Priority: P3 X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org X-Bugzilla-Target-Milestone: --- X-Bugzilla-Changed-Fields: Message-ID: <bug-56980-4-YkKa4Jo4qn@http.gcc.gnu.org/bugzilla/> In-Reply-To: <bug-56980-4@http.gcc.gnu.org/bugzilla/> References: <bug-56980-4@http.gcc.gnu.org/bugzilla/> X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/ Auto-Submitted: auto-generated Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-SW-Source: 2013-04/txt/msg01546.txt.bz2 Content-length: 393 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56980 --- Comment #4 from Manuel López-Ibáñez <manu at gcc dot gnu.org> 2013-04-16 15:34:56 UTC --- while the C++ pretty-printer can: pr56980.c:4:16: error: invalid operands of types ‘B* {aka A*}’ and ‘B* {aka A*}’ to binary ‘operator>>’ int y = x >> x; ^ >From gcc-bugs-return-420404-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Tue Apr 16 15:41:54 2013 Return-Path: <gcc-bugs-return-420404-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org> Delivered-To: listarch-gcc-bugs@gcc.gnu.org Received: (qmail 31744 invoked by alias); 16 Apr 2013 15:41:54 -0000 Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: <gcc-bugs.gcc.gnu.org> List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/> List-Post: <mailto:gcc-bugs@gcc.gnu.org> List-Help: <mailto:gcc-bugs-help@gcc.gnu.org> Sender: gcc-bugs-owner@gcc.gnu.org Delivered-To: mailing list gcc-bugs@gcc.gnu.org Received: (qmail 31692 invoked by uid 48); 16 Apr 2013 15:41:51 -0000 From: "manu at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org> To: gcc-bugs@gcc.gnu.org Subject: [Bug c/52825] incorrect message for "incompatible pointer type" with extra "struct" for a typedeffed struct Date: Tue, 16 Apr 2013 15:41:00 -0000 X-Bugzilla-Reason: CC X-Bugzilla-Type: changed X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: gcc X-Bugzilla-Component: c X-Bugzilla-Keywords: X-Bugzilla-Severity: minor X-Bugzilla-Who: manu at gcc dot gnu.org X-Bugzilla-Status: RESOLVED X-Bugzilla-Priority: P3 X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org X-Bugzilla-Target-Milestone: --- X-Bugzilla-Changed-Fields: Status CC Resolution Message-ID: <bug-52825-4-Ifzl1dC8IT@http.gcc.gnu.org/bugzilla/> In-Reply-To: <bug-52825-4@http.gcc.gnu.org/bugzilla/> References: <bug-52825-4@http.gcc.gnu.org/bugzilla/> X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/ Auto-Submitted: auto-generated Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-SW-Source: 2013-04/txt/msg01549.txt.bz2 Content-length: 625 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52825 Manuel López-Ibáñez <manu at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |RESOLVED CC| |manu at gcc dot gnu.org Resolution| |DUPLICATE --- Comment #2 from Manuel López-Ibáñez <manu at gcc dot gnu.org> 2013-04-16 15:41:51 UTC --- Dup *** This bug has been marked as a duplicate of bug 56980 *** >From gcc-bugs-return-420403-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Tue Apr 16 15:41:41 2013 Return-Path: <gcc-bugs-return-420403-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org> Delivered-To: listarch-gcc-bugs@gcc.gnu.org Received: (qmail 31064 invoked by alias); 16 Apr 2013 15:41:41 -0000 Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: <gcc-bugs.gcc.gnu.org> List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/> List-Post: <mailto:gcc-bugs@gcc.gnu.org> List-Help: <mailto:gcc-bugs-help@gcc.gnu.org> Sender: gcc-bugs-owner@gcc.gnu.org Delivered-To: mailing list gcc-bugs@gcc.gnu.org Received: (qmail 31029 invoked by uid 48); 16 Apr 2013 15:41:38 -0000 From: "manu at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org> To: gcc-bugs@gcc.gnu.org Subject: [Bug c/48778] gcc 4.6 -Waddress adds unhelpful new warning case when using from a macro Date: Tue, 16 Apr 2013 15:41:00 -0000 X-Bugzilla-Reason: CC X-Bugzilla-Type: changed X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: gcc X-Bugzilla-Component: c X-Bugzilla-Keywords: diagnostic X-Bugzilla-Severity: minor X-Bugzilla-Who: manu at gcc dot gnu.org X-Bugzilla-Status: UNCONFIRMED X-Bugzilla-Priority: P3 X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org X-Bugzilla-Target-Milestone: --- X-Bugzilla-Changed-Fields: CC Message-ID: <bug-48778-4-xTErLGEZO7@http.gcc.gnu.org/bugzilla/> In-Reply-To: <bug-48778-4@http.gcc.gnu.org/bugzilla/> References: <bug-48778-4@http.gcc.gnu.org/bugzilla/> X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/ Auto-Submitted: auto-generated Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-SW-Source: 2013-04/txt/msg01548.txt.bz2 Content-length: 544 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=48778 Manuel López-Ibáñez <manu at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |manu at gcc dot gnu.org --- Comment #2 from Manuel López-Ibáñez <manu at gcc dot gnu.org> 2013-04-16 15:41:37 UTC --- We have the capability to do this now since GCC 4.7, but someone needs to implement it for this case. >From gcc-bugs-return-420402-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Tue Apr 16 15:41:10 2013 Return-Path: <gcc-bugs-return-420402-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org> Delivered-To: listarch-gcc-bugs@gcc.gnu.org Received: (qmail 30337 invoked by alias); 16 Apr 2013 15:41:10 -0000 Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: <gcc-bugs.gcc.gnu.org> List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/> List-Post: <mailto:gcc-bugs@gcc.gnu.org> List-Help: <mailto:gcc-bugs-help@gcc.gnu.org> Sender: gcc-bugs-owner@gcc.gnu.org Delivered-To: mailing list gcc-bugs@gcc.gnu.org Received: (qmail 30299 invoked by uid 48); 16 Apr 2013 15:41:07 -0000 From: "rguenth at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org> To: gcc-bugs@gcc.gnu.org Subject: [Bug tree-optimization/56756] [4.9 Regression] ICE: verify_ssa failed (definition in block n follows the use !) Date: Tue, 16 Apr 2013 15:41:00 -0000 X-Bugzilla-Reason: CC X-Bugzilla-Type: changed X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: gcc X-Bugzilla-Component: tree-optimization X-Bugzilla-Keywords: X-Bugzilla-Severity: normal X-Bugzilla-Who: rguenth at gcc dot gnu.org X-Bugzilla-Status: RESOLVED X-Bugzilla-Priority: P3 X-Bugzilla-Assigned-To: rguenth at gcc dot gnu.org X-Bugzilla-Target-Milestone: 4.9.0 X-Bugzilla-Changed-Fields: Status Resolution Message-ID: <bug-56756-4-M8qGp9f1zS@http.gcc.gnu.org/bugzilla/> In-Reply-To: <bug-56756-4@http.gcc.gnu.org/bugzilla/> References: <bug-56756-4@http.gcc.gnu.org/bugzilla/> X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/ Auto-Submitted: auto-generated Content-Type: text/plain; charset="UTF-8" MIME-Version: 1.0 X-SW-Source: 2013-04/txt/msg01547.txt.bz2 Content-length: 1178 http://gcc.gnu.org/bugzilla/show_bug.cgi?idV756 Richard Biener <rguenth at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|ASSIGNED |RESOLVED Resolution| |FIXED --- Comment #11 from Richard Biener <rguenth at gcc dot gnu.org> 2013-04-16 15:41:05 UTC --- Author: rguenth Date: Tue Apr 16 15:32:26 2013 New Revision: 198001 URL: http://gcc.gnu.org/viewcvs?rev\x198001&root=gcc&view=rev Log: 2013-04-16 Richard Biener <rguenther@suse.de> PR tree-optimization/56756 * tree-ssa-loop-im.c (struct first_mem_ref_loc_1): New functor. (first_mem_ref_loc): New. (execute_sm): Place the load temporarily before a previous access instead of in the latch edge to ensure its SSA dependencies are defined at points dominating the load. * gcc.dg/torture/pr56756.c: New testcase. Added: trunk/gcc/testsuite/gcc.dg/torture/pr56756.c Modified: trunk/gcc/ChangeLog trunk/gcc/testsuite/ChangeLog trunk/gcc/tree-ssa-loop-im.c
next parent reply other threads:[~2013-04-16 15:24 UTC|newest] Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top [not found] <bug-56980-4@http.gcc.gnu.org/bugzilla/> 2013-04-16 15:24 ` manu at gcc dot gnu.org [this message] 2013-04-16 15:41 ` manu at gcc dot gnu.org 2014-10-23 19:24 ` [Bug c/56980] C pretty-printer does not handle well pointer to typedef of struct mpolacek at gcc dot gnu.org 2014-10-23 19:27 ` mpolacek at gcc dot gnu.org 2014-10-24 16:31 ` mpolacek at gcc dot gnu.org 2014-10-24 16:34 ` mpolacek at gcc dot gnu.org
Reply instructions: You may reply publicly to this message via plain-text email using any one of the following methods: * Save the following mbox file, import it into your mail client, and reply-to-all from there: mbox Avoid top-posting and favor interleaved quoting: https://en.wikipedia.org/wiki/Posting_style#Interleaved_style * Reply using the --to, --cc, and --in-reply-to switches of git-send-email(1): git send-email \ --in-reply-to=bug-56980-4-qKvEirB5HC@http.gcc.gnu.org/bugzilla/ \ --to=gcc-bugzilla@gcc.gnu.org \ --cc=gcc-bugs@gcc.gnu.org \ /path/to/YOUR_REPLY https://kernel.org/pub/software/scm/git/docs/git-send-email.html * If your mail client supports setting the In-Reply-To header via mailto: links, try the mailto: linkBe sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox; as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).