From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 93078 invoked by alias); 23 Apr 2018 14:27:57 -0000 Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-bugs-owner@gcc.gnu.org Received: (qmail 92612 invoked by uid 55); 23 Apr 2018 14:27:53 -0000 From: "joseph at codesourcery dot com" To: gcc-bugs@gcc.gnu.org Subject: [Bug c/65892] gcc fails to implement N685 aliasing of union members Date: Mon, 23 Apr 2018 14:27: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-Version: 5.0 X-Bugzilla-Keywords: alias X-Bugzilla-Severity: normal X-Bugzilla-Who: joseph at codesourcery dot com X-Bugzilla-Status: SUSPENDED X-Bugzilla-Resolution: X-Bugzilla-Priority: P3 X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org X-Bugzilla-Target-Milestone: --- X-Bugzilla-Flags: X-Bugzilla-Changed-Fields: Message-ID: In-Reply-To: References: Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/ Auto-Submitted: auto-generated MIME-Version: 1.0 X-SW-Source: 2018-04/txt/msg02612.txt.bz2 https://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D65892 --- Comment #39 from joseph at codesourcery dot com --- On Thu, 19 Apr 2018, jameskuyper at verizon dot net wrote: > Code which relies upon this feature to implement a C-style approximation = to > inheritance has been fairly common, which is precisely why the C committee > decided to create this rule, to make sure such code had well-defined beha= vior. To make sure such code had well-defined behavior *notwithstanding the=20 adjacent rule (in C90) that access to a non-current union member was=20 otherwise implementation-defined*. Not overriding any other rule=20 elsewhere in the standard that might make such accesses undefined, such as= =20 type-based aliasing, even though it's subsequently sometimes been=20 interpreted in connection with such rules (and access to a non-current=20 union member is now non-normatively specified in a footnote as type=20 punning). >>From gcc-bugs-return-602489-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Mon Apr 23 15:13:00 2018 Return-Path: Delivered-To: listarch-gcc-bugs@gcc.gnu.org Received: (qmail 101131 invoked by alias); 23 Apr 2018 15:12:59 -0000 Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-bugs-owner@gcc.gnu.org Delivered-To: mailing list gcc-bugs@gcc.gnu.org Received: (qmail 101052 invoked by uid 48); 23 Apr 2018 15:12:55 -0000 From: "jakub at gcc dot gnu.org" To: gcc-bugs@gcc.gnu.org Subject: [Bug tree-optimization/85501] missed if-conversion / phiopt trick Date: Mon, 23 Apr 2018 15:12: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-Version: 8.0.1 X-Bugzilla-Keywords: missed-optimization X-Bugzilla-Severity: normal X-Bugzilla-Who: jakub at gcc dot gnu.org X-Bugzilla-Status: UNCONFIRMED X-Bugzilla-Resolution: X-Bugzilla-Priority: P3 X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org X-Bugzilla-Target-Milestone: --- X-Bugzilla-Flags: X-Bugzilla-Changed-Fields: cc Message-ID: In-Reply-To: References: Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/ Auto-Submitted: auto-generated MIME-Version: 1.0 X-SW-Source: 2018-04/txt/msg02613.txt.bz2 Content-length: 474 https://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D85501 Jakub Jelinek changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |jakub at gcc dot gnu.org --- Comment #1 from Jakub Jelinek --- For scalar code or vector code? For the latter, it needs a gather load, wh= ich is expensive... >>From gcc-bugs-return-602490-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Mon Apr 23 15:19:47 2018 Return-Path: Delivered-To: listarch-gcc-bugs@gcc.gnu.org Received: (qmail 112604 invoked by alias); 23 Apr 2018 15:19:46 -0000 Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-bugs-owner@gcc.gnu.org Delivered-To: mailing list gcc-bugs@gcc.gnu.org Received: (qmail 112449 invoked by uid 55); 23 Apr 2018 15:19:40 -0000 From: "abel at gcc dot gnu.org" To: gcc-bugs@gcc.gnu.org Subject: [Bug rtl-optimization/85423] [8 Regression] ICE in code_motion_process_successors, at sel-sched.c:6403 Date: Mon, 23 Apr 2018 15:19:00 -0000 X-Bugzilla-Reason: CC X-Bugzilla-Type: changed X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: gcc X-Bugzilla-Component: rtl-optimization X-Bugzilla-Version: 8.0 X-Bugzilla-Keywords: ice-on-valid-code X-Bugzilla-Severity: normal X-Bugzilla-Who: abel at gcc dot gnu.org X-Bugzilla-Status: NEW X-Bugzilla-Resolution: X-Bugzilla-Priority: P3 X-Bugzilla-Assigned-To: abel at gcc dot gnu.org X-Bugzilla-Target-Milestone: 8.0 X-Bugzilla-Flags: X-Bugzilla-Changed-Fields: Message-ID: In-Reply-To: References: Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/ Auto-Submitted: auto-generated MIME-Version: 1.0 X-SW-Source: 2018-04/txt/msg02614.txt.bz2 Content-length: 624 https://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D85423 --- Comment #5 from Andrey Belevantsev --- Author: abel Date: Mon Apr 23 15:19:06 2018 New Revision: 259563 URL: https://gcc.gnu.org/viewcvs?rev=3D259563&root=3Dgcc&view=3Drev Log: PR rtl-optimization/85423 * sel-sched-ir.c (has_dependence_note_mem_dep): Only discard dependencies to debug insns when the previous insn is non-debug. * gcc.dg/pr85423.c: New test. Added: trunk/gcc/testsuite/gcc.dg/pr85423.c Modified: trunk/gcc/ChangeLog trunk/gcc/sel-sched-ir.c trunk/gcc/testsuite/ChangeLog >>From gcc-bugs-return-602491-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Mon Apr 23 15:37:13 2018 Return-Path: Delivered-To: listarch-gcc-bugs@gcc.gnu.org Received: (qmail 29699 invoked by alias); 23 Apr 2018 15:37:12 -0000 Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-bugs-owner@gcc.gnu.org Delivered-To: mailing list gcc-bugs@gcc.gnu.org Received: (qmail 29629 invoked by uid 48); 23 Apr 2018 15:37:08 -0000 From: "yangyibiao at nju dot edu.cn" To: gcc-bugs@gcc.gnu.org Subject: [Bug gcov-profile/85201] [GCOV] A statement with two && operators and a comma operator in the for loop body is wrongly marked in gcov Date: Mon, 23 Apr 2018 15:37:00 -0000 X-Bugzilla-Reason: CC X-Bugzilla-Type: changed X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: gcc X-Bugzilla-Component: gcov-profile X-Bugzilla-Version: 8.0 X-Bugzilla-Keywords: X-Bugzilla-Severity: normal X-Bugzilla-Who: yangyibiao at nju dot edu.cn X-Bugzilla-Status: UNCONFIRMED X-Bugzilla-Resolution: X-Bugzilla-Priority: P3 X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org X-Bugzilla-Target-Milestone: --- X-Bugzilla-Flags: X-Bugzilla-Changed-Fields: Message-ID: In-Reply-To: References: Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/ Auto-Submitted: auto-generated MIME-Version: 1.0 X-SW-Source: 2018-04/txt/msg02615.txt.bz2 Content-length: 187 https://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D85201 --- Comment #2 from Yibiao Yang --- @marxin Is this a real bug? or this bug is only default behavior? >>From gcc-bugs-return-602492-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Mon Apr 23 15:44:56 2018 Return-Path: Delivered-To: listarch-gcc-bugs@gcc.gnu.org Received: (qmail 34199 invoked by alias); 23 Apr 2018 15:44:56 -0000 Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-bugs-owner@gcc.gnu.org Delivered-To: mailing list gcc-bugs@gcc.gnu.org Received: (qmail 34134 invoked by uid 48); 23 Apr 2018 15:44:51 -0000 From: "doko at gcc dot gnu.org" To: gcc-bugs@gcc.gnu.org Subject: [Bug target/85503] New: [8 Regression] ICE in replace_swapped_load_constant, at config/rs6000/rs6000-p8swap.c:1853 on powerpc64le-linux-gnu Date: Mon, 23 Apr 2018 15:44:00 -0000 X-Bugzilla-Reason: CC X-Bugzilla-Type: new X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: gcc X-Bugzilla-Component: target X-Bugzilla-Version: 8.0 X-Bugzilla-Keywords: X-Bugzilla-Severity: normal X-Bugzilla-Who: doko at gcc dot gnu.org X-Bugzilla-Status: UNCONFIRMED X-Bugzilla-Resolution: X-Bugzilla-Priority: P3 X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org X-Bugzilla-Target-Milestone: --- X-Bugzilla-Flags: X-Bugzilla-Changed-Fields: bug_id short_desc product version bug_status bug_severity priority component assigned_to reporter target_milestone attachments.created Message-ID: Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/ Auto-Submitted: auto-generated MIME-Version: 1.0 X-SW-Source: 2018-04/txt/msg02616.txt.bz2 Content-length: 2034 https://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D85503 Bug ID: 85503 Summary: [8 Regression] ICE in replace_swapped_load_constant, at config/rs6000/rs6000-p8swap.c:1853 on powerpc64le-linux-gnu Product: gcc Version: 8.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: target Assignee: unassigned at gcc dot gnu.org Reporter: doko at gcc dot gnu.org Target Milestone: --- Created attachment 44007 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=3D44007&action=3Dedit preprocessed source seen with r259383 on the trunk, powerpc64le-linux-gnu, worked around with -= O2: $ g++ -Wall -std=3Dgnu++11 -c -O2 gasgraphics.ii=20 during RTL pass: swaps : In function =EF=BF=BDint GasGraphicsItemcreateOnHoverHandler()=EF=BF=BD: :211:1: internal compiler error: in replace_swapped_load_constant, at config/rs6000/rs6000-p8swap.c:1853 Please submit a full bug report, with preprocessed source if appropriate. gcc configured with --enable-languages=3Dc,ada,c++,go,d,fortran,objc,obj-c++ --prefix=3D/usr --with-gcc-major-version-only --with-as=3D/usr/bin/powerpc64le-linux-gnu-as --with-ld=3D/usr/bin/powerpc64le-linux-gnu-ld --program-suffix=3D-8 --program-prefix=3Dpowerpc64le-linux-gnu- --enable-shared --enable-linker-build-id --libexecdir=3D/usr/lib --without-included-gettext --enable-threads=3Dposix --libdir=3D/usr/lib --enable-nls --with-sysroot=3D/ --enable-clocale=3Dgnu --enable-libstdcxx-debug --enable-libstdcxx-time=3Dy= es --with-default-libstdcxx-abi=3Dnew --enable-gnu-unique-object --enable-plug= in --enable-default-pie --with-system-zlib --disable-libphobos --enable-objc-gc=3Dauto --enable-secureplt --with-cpu=3Dpower8 --enable-targets=3Dpowerpcle-linux --disable-multilib --enable-multiarch --disable-werror --with-long-double-128 --enable-checking=3Drelease --build=3Dpowerpc64le-linux-gnu --host=3Dpowerpc64le-linux-gnu --target=3Dpowerpc64le-linux-gnu >>From gcc-bugs-return-602493-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Mon Apr 23 15:48:48 2018 Return-Path: Delivered-To: listarch-gcc-bugs@gcc.gnu.org Received: (qmail 23095 invoked by alias); 23 Apr 2018 15:48:48 -0000 Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-bugs-owner@gcc.gnu.org Delivered-To: mailing list gcc-bugs@gcc.gnu.org Received: (qmail 13363 invoked by uid 48); 23 Apr 2018 15:48:37 -0000 From: "doko at gcc dot gnu.org" To: gcc-bugs@gcc.gnu.org Subject: [Bug target/85503] [8 Regression] ICE in replace_swapped_load_constant, at config/rs6000/rs6000-p8swap.c:1853 on powerpc64le-linux-gnu Date: Mon, 23 Apr 2018 15:48:00 -0000 X-Bugzilla-Reason: CC X-Bugzilla-Type: changed X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: gcc X-Bugzilla-Component: target X-Bugzilla-Version: 8.0 X-Bugzilla-Keywords: ice-on-valid-code X-Bugzilla-Severity: normal X-Bugzilla-Who: doko at gcc dot gnu.org X-Bugzilla-Status: UNCONFIRMED X-Bugzilla-Resolution: X-Bugzilla-Priority: P3 X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org X-Bugzilla-Target-Milestone: --- X-Bugzilla-Flags: X-Bugzilla-Changed-Fields: Message-ID: In-Reply-To: References: Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/ Auto-Submitted: auto-generated MIME-Version: 1.0 X-SW-Source: 2018-04/txt/msg02617.txt.bz2 Content-length: 7137 https://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D85503 --- Comment #1 from Matthias Klose --- $ cat gasgraphics.ii # 3 "" 3 namespace b { template < int c > struct d { static constexpr int e =3D c; }; typedef d< false > f; template < typename g > struct h { typedef g i; }; template < typename > class j; template < bool, bool, typename... > struct aa; struct k { template < typename n, typename... q > static h< decltype(n()(q()...)) > o(int); }; template < typename p, typename... t > struct aa< false, false, p, t... > := k { typedef decltype(o< p, t... >(0)) i; }; template < typename p, typename... t > struct ab : aa< f::e, f::e, p, t... >::i {}; template < typename p, typename... t > struct j< p(t...) > : ab< p, t... > = {}; } enum { r, s }; typedef long x; template < typename > struct ac; template < typename y > struct ac< y & > { typedef y i; }; template < typename y > struct j { typedef typename b::j< y >::i i; }; template < typename > struct ad; template < typename > struct ae; template < typename > class af; template < typename, int ag, int ah, int =3D 0, int =3D ag, int =3D ah > cl= ass ai; template < typename > class aj; template < typename, typename, typename > class ak; template < typename > class al; template < typename > struct am; template < typename > struct an; template < typename y > struct ao { typedef typename am< y >::i i; }; struct aq { typedef const ai< double, 2, 1 > &ar; }; template < typename as > struct at { typedef aj< as > i; }; template < typename as > struct au { typedef typename at< as >::i i; }; template < typename av > av aw(const typename an< av >::i *); template < typename av, int > av az(const typename an< av >::i *ba) { return aw< av >(ba); } typedef __attribute__((altivec(vector__))) double bb; template <> struct am< double > { typedef bb i; }; template <> struct an< bb > { typedef double i; }; template <> bb aw(const double *ba) { return __builtin_vec_vsx_ld(0, ba); } struct bc { template < typename av > bd(av a) { bd(a); } }; struct be { double operator()(const, const); }; template < typename as > class bf : public ae< as > { public: typedef typename ad< as >::bg bg; ae< as >::bh; enum { bi }; bg bj() const; template < typename bk > bg bl(const bk &) const; }; template < typename as > class aj : public bf< as > { public: bf< as >::bh; template < typename bm > ak< be, const as, const bm > operator-(bm bn) { return ak< be, const as, const bm >(bh(), bn); } bo() const; al< as > array() { return bh(); } }; template < typename as > struct ae { const as &bh() const { return *static_cast< const as * >(this); } }; template < typename > struct bp; template < typename > struct bq; template < typename y > struct br : bq< y > { br(y bs) : bq< y >(bs) {} }; template < typename y > struct br< const y > : br< y > { br(const y &bs) : br< y >(bs) {} }; template < typename as > struct br< af< as > > { typedef as bt; br(const bt &m) : bu(m.bv()) {} template < int bw, typename ay > ay bx(x, x by) { return az< ay, bw >(bu + by); } const typename bt::bg *bu; }; template < typename bg, int u, int bz, int ca, int cb, int cc > struct br< ai< bg, u, bz, ca, cb, cc > > : br< af< ai< bg, u, bz > > > { typedef ai< bg, u, bz > cd; br(const cd &m) : br< af< cd > >(m) {} }; template < typename bk, typename ce, typename cf > struct br< ak< bk, ce, cf > > : bp< ak< bk, ce, cf > > { br(ak< bk, ce, cf > bs) : bp< ak< bk, ce, cf > >(bs) {} }; template < typename bk, typename ce, typename cf > struct bp< ak< bk, ce, cf > > { bp(ak< bk, ce, cf > bs) : cg(), ch(bs.ci()) {} template < int bw, typename ay > ay bx(x cj, x by) { return ch.template bx< bw, ay >(cj, by); } ce cg; br< cf > ch; }; template < typename cd > struct v { typedef typename ac< typename cd::ck >::i cl; v(cl &arg) : cn(arg) {} template < int bw, typename ay > ay bx(x cj, x by) { return cn.template bx< bw, ay >(cj, by); } br< cl > cn; }; template < typename cm > struct bq< al< cm > > : v< al< cm > > { bq(al< cm > w) : v< al< cm > >(w.dd()) {} }; template < typename as > class ap : public bf< as > {}; template < int ax > struct co { double array[ax]; }; template < int ax > class cq { co< ax > bu; public: const double *bv() const { return bu.array; } }; template < typename as > class af : public at< as >::i { public: typedef typename at< as >::i cp; cq< cp::bi > cs; const typename ad< as >::bg *bv() const { return cs.bv(); } }; template < typename cr, int ag, int ah, int cu, int ct, int cw > struct ad< ai< cr, ag, ah, cu, ct, cw > > { typedef cr bg; }; template < typename, int ag, int ah, int, int, int > class ai : public af< ai< double, ag, ah > > { typedef ai cv; }; template < typename bk, typename ce, typename cf > struct ad< ak< bk, ce, cf > > { typedef typename j< bk(typename ce::bg, typename cf::bg) >::i bg; }; template < typename, typename, typename > class z; template < typename bk, typename cy, typename cx > class ak : public z< bk, cy, cx > { public: typedef cx RhsNested; ak(cy, cx cz) : da(), db(cz) {} RhsNested ci() { return db; } cy da; RhsNested db; }; template < typename bk, typename ce, typename cf > class z : public au< ak< bk, ce, cf > >::i {}; template < typename as > aj< as >::bo() const { (*this).bj(); } template < typename as > struct dc { typedef typename ao< typename as::bg >::i ay; enum { d, de }; enum { df =3D de }; }; template < typename as > struct dk { enum { dh, di, dj, alignment }; typedef typename dc< as >::ay PacketScalar; static PacketScalar dl(as dm, bc) { return dm.template dn< alignment, PacketScalar >(di, dj); } }; template < typename, typename as, int =3D dc< as >::df > struct redux_impl; template < typename Func, typename as > struct redux_impl< Func, as, s > { static dl(as dm, Func func) { func.bd(dk< as >::dl(dm, func)); } }; template < typename _XprType > class redux_evaluator { public: typedef _XprType cd; redux_evaluator(cd bs) : m_evaluator(bs), m_xpr(bs) {} typedef typename cd::bg bg; template < int bw, typename ay > ay dn(x di, x dj) { return m_evaluator.template bx< bw, ay >(dj, di); } br< cd > m_evaluator; cd m_xpr; }; template < typename as > template < typename Func > typename ad< as >::bg bf< as >::bl(const Func &func) const { typedef redux_evaluator< as > ThisEvaluator; ThisEvaluator thisEval(bh()); redux_impl< Func, ThisEvaluator >::dl(thisEval, func); } template < typename as > typename ad< as >::bg bf< as >::bj() const { bl(bc()); } template < typename ExpressionType > struct ad< al< ExpressionType > > : ad< typename ExpressionType::cv > {}; template < typename > class al : public ap< al< ai< double, 2, 1 > > > { public: typedef aq::ar ck; al(const ai< double, 2, 1 > &dg) : m_expression(dg) {} const ai< double, 2, 1 > &dd() { return m_expression; } ck m_expression; }; typedef ai< double, 2, 1 > Vector2d; class OnHoverHandlerGraphicsItem { public: static Vector2d corners; }; GasGraphicsItemcreateOnHoverHandler() { Vector2d l; (l - OnHoverHandlerGraphicsItem::corners.array()).bo(); } >>From gcc-bugs-return-602494-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Mon Apr 23 17:35:04 2018 Return-Path: Delivered-To: listarch-gcc-bugs@gcc.gnu.org Received: (qmail 72239 invoked by alias); 23 Apr 2018 17:35:04 -0000 Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-bugs-owner@gcc.gnu.org Delivered-To: mailing list gcc-bugs@gcc.gnu.org Received: (qmail 72150 invoked by uid 48); 23 Apr 2018 17:34:59 -0000 From: "segher at gcc dot gnu.org" To: gcc-bugs@gcc.gnu.org Subject: [Bug target/85503] [8 Regression] ICE in replace_swapped_load_constant, at config/rs6000/rs6000-p8swap.c:1853 on powerpc64le-linux-gnu Date: Mon, 23 Apr 2018 17:35:00 -0000 X-Bugzilla-Reason: CC X-Bugzilla-Type: changed X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: gcc X-Bugzilla-Component: target X-Bugzilla-Version: 8.0 X-Bugzilla-Keywords: ice-on-valid-code X-Bugzilla-Severity: normal X-Bugzilla-Who: segher at gcc dot gnu.org X-Bugzilla-Status: UNCONFIRMED X-Bugzilla-Resolution: X-Bugzilla-Priority: P1 X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org X-Bugzilla-Target-Milestone: --- X-Bugzilla-Flags: X-Bugzilla-Changed-Fields: priority cc Message-ID: In-Reply-To: References: Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/ Auto-Submitted: auto-generated MIME-Version: 1.0 X-SW-Source: 2018-04/txt/msg02618.txt.bz2 Content-length: 370 https://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D85503 Segher Boessenkool changed: What |Removed |Added ---------------------------------------------------------------------------- Priority|P3 |P1 CC| |segher at gcc dot gnu.org >>From gcc-bugs-return-602495-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Mon Apr 23 17:38:16 2018 Return-Path: Delivered-To: listarch-gcc-bugs@gcc.gnu.org Received: (qmail 79435 invoked by alias); 23 Apr 2018 17:38:16 -0000 Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-bugs-owner@gcc.gnu.org Delivered-To: mailing list gcc-bugs@gcc.gnu.org Received: (qmail 77058 invoked by uid 48); 23 Apr 2018 17:38:12 -0000 From: "jason at gcc dot gnu.org" To: gcc-bugs@gcc.gnu.org Subject: [Bug c++/85470] [7/8 Regression] Strange error about "call to non-constexpr function" Date: Mon, 23 Apr 2018 17:38: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-Version: 7.3.0 X-Bugzilla-Keywords: rejects-valid X-Bugzilla-Severity: normal X-Bugzilla-Who: jason at gcc dot gnu.org X-Bugzilla-Status: ASSIGNED X-Bugzilla-Resolution: X-Bugzilla-Priority: P2 X-Bugzilla-Assigned-To: jason at gcc dot gnu.org X-Bugzilla-Target-Milestone: 7.4 X-Bugzilla-Flags: X-Bugzilla-Changed-Fields: bug_status assigned_to Message-ID: In-Reply-To: References: Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/ Auto-Submitted: auto-generated MIME-Version: 1.0 X-SW-Source: 2018-04/txt/msg02619.txt.bz2 Content-length: 378 https://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D85470 Jason Merrill changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |ASSIGNED Assignee|unassigned at gcc dot gnu.org |jason at gcc dot gn= u.org >>From gcc-bugs-return-602496-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Mon Apr 23 17:39:50 2018 Return-Path: Delivered-To: listarch-gcc-bugs@gcc.gnu.org Received: (qmail 125547 invoked by alias); 23 Apr 2018 17:39:50 -0000 Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-bugs-owner@gcc.gnu.org Delivered-To: mailing list gcc-bugs@gcc.gnu.org Received: (qmail 123221 invoked by uid 48); 23 Apr 2018 17:39:46 -0000 From: "segher at gcc dot gnu.org" To: gcc-bugs@gcc.gnu.org Subject: [Bug target/85503] [8 Regression] ICE in replace_swapped_load_constant, at config/rs6000/rs6000-p8swap.c:1853 on powerpc64le-linux-gnu Date: Mon, 23 Apr 2018 17:39:00 -0000 X-Bugzilla-Reason: CC X-Bugzilla-Type: changed X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: gcc X-Bugzilla-Component: target X-Bugzilla-Version: 8.0 X-Bugzilla-Keywords: ice-on-valid-code X-Bugzilla-Severity: normal X-Bugzilla-Who: segher at gcc dot gnu.org X-Bugzilla-Status: UNCONFIRMED X-Bugzilla-Resolution: X-Bugzilla-Priority: P1 X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org X-Bugzilla-Target-Milestone: 8.0 X-Bugzilla-Flags: X-Bugzilla-Changed-Fields: target_milestone Message-ID: In-Reply-To: References: Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/ Auto-Submitted: auto-generated MIME-Version: 1.0 X-SW-Source: 2018-04/txt/msg02620.txt.bz2 Content-length: 296 https://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D85503 Segher Boessenkool changed: What |Removed |Added ---------------------------------------------------------------------------- Target Milestone|--- |8.0 >>From gcc-bugs-return-602497-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Mon Apr 23 18:52:37 2018 Return-Path: Delivered-To: listarch-gcc-bugs@gcc.gnu.org Received: (qmail 39812 invoked by alias); 23 Apr 2018 18:52:37 -0000 Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-bugs-owner@gcc.gnu.org Delivered-To: mailing list gcc-bugs@gcc.gnu.org Received: (qmail 39767 invoked by uid 48); 23 Apr 2018 18:52:32 -0000 From: "bernd.edlinger at hotmail dot de" To: gcc-bugs@gcc.gnu.org Subject: [Bug middle-end/85504] New: Bogus -Wrestrict warning with -fsanitize=undefined Date: Mon, 23 Apr 2018 18:52:00 -0000 X-Bugzilla-Reason: CC X-Bugzilla-Type: new X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: gcc X-Bugzilla-Component: middle-end X-Bugzilla-Version: 8.0 X-Bugzilla-Keywords: X-Bugzilla-Severity: normal X-Bugzilla-Who: bernd.edlinger at hotmail dot de X-Bugzilla-Status: UNCONFIRMED X-Bugzilla-Resolution: X-Bugzilla-Priority: P3 X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org X-Bugzilla-Target-Milestone: --- X-Bugzilla-Flags: X-Bugzilla-Changed-Fields: bug_id short_desc product version bug_status bug_severity priority component assigned_to reporter target_milestone attachments.created Message-ID: Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/ Auto-Submitted: auto-generated MIME-Version: 1.0 X-SW-Source: 2018-04/txt/msg02621.txt.bz2 Content-length: 3075 https://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D85504 Bug ID: 85504 Summary: Bogus -Wrestrict warning with -fsanitize=3Dundefined Product: gcc Version: 8.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: middle-end Assignee: unassigned at gcc dot gnu.org Reporter: bernd.edlinger at hotmail dot de Target Milestone: --- Created attachment 44008 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=3D44008&action=3Dedit unreduced test case This happens with current openssl trunk revision: ./config -fsanitize=3Dundefined --strict-warnings $ gcc -I. -Icrypto/include -Iinclude -fPIC -pthread -m64 -Wa,--noexecstack -DDEBUG_UNUSED -DPEDANTIC -pedantic -Wno-long-long -Wall -Wextra -Wno-unused-parameter -Wno-missing-field-initializers -Wswitch -Wsign-compa= re -Wmissing-prototypes -Wshadow -Wformat -Wtype-limits -Wundef -Werror -Wall = -O3 -fsanitize=3Dundefined -DOPENSSL_USE_NODELETE -DL_ENDIAN -DOPENSSL_PIC -DOPENSSL_CPUID_OBJ -DOPENSSL_IA32_SSE2 -DOPENSSL_BN_ASM_MONT -DOPENSSL_BN_ASM_MONT5 -DOPENSSL_BN_ASM_GF2m -DSHA1_ASM -DSHA256_ASM -DSHA512_ASM -DRC4_ASM -DMD5_ASM -DAES_ASM -DVPAES_ASM -DBSAES_ASM -DGHASH_= ASM -DECP_NISTZ256_ASM -DX25519_ASM -DPADLOCK_ASM -DPOLY1305_ASM -DOPENSSLDIR=3D"\"/usr/local/ssl\"" -DENGINESDIR=3D"\"/usr/local/lib/engine= s-1.1\"" -DNDEBUG -MMD -MF crypto/engine/eng_ctrl.d.tmp -MT crypto/engine/eng_ctrl.= o -c -o crypto/engine/eng_ctrl.o crypto/engine/eng_ctrl.c crypto/engine/eng_ctrl.c: In function 'ENGINE_ctrl': crypto/engine/eng_ctrl.c:110:23: error: 'strcpy' source argument is the sam= e as destination [-Werror=3Drestrict] return strlen(strcpy(s, cdp->cmd_name)); ^~~~~~~~~~~~~~~~~~~~~~~~ while I can use -save-temps with this one (see attached test case) there is another file which does not show the error with -save-temps: $ gcc -I. -Iinclude -Iapps -pthread -m64 -Wa,--noexecstack -DDEBUG_UNUSED -DPEDANTIC -pedantic -Wno-long-long -Wall -Wextra -Wno-unused-parameter -Wno-missing-field-initializers -Wswitch -Wsign-compare -Wmissing-prototypes -Wshadow -Wformat -Wtype-limits -Wundef -Werror -Wall -O3 -fsanitize=3Dunde= fined -DNDEBUG -MMD -MF apps/s_client.d.tmp -MT apps/s_client.o -c -o apps/s_client.o apps/s_client.c In file included from /usr/include/string.h:635, from apps/s_client.c:15: apps/s_client.c: In function 's_client_main': apps/s_client.c:2585:13: error: '__builtin_strncpy' source argument is the = same as destination [-Werror=3Drestrict] strncpy(sbuf, mbuf, 2); ^~~~~~~ $ gcc -I. -Iinclude -Iapps -pthread -m64 -Wa,--noexecstack -DDEBUG_UNUSED -DPEDANTIC -pedantic -Wno-long-long -Wall -Wextra -Wno-unused-parameter -Wno-missing-field-initializers -Wswitch -Wsign-compare -Wmissing-prototypes -Wshadow -Wformat -Wtype-limits -Wundef -Werror -Wall -O3 -fsanitize=3Dunde= fined -DNDEBUG -MMD -MF apps/s_client.d.tmp -MT apps/s_client.o -c -o apps/s_client.o apps/s_client.c -save-temps >>From gcc-bugs-return-602498-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Mon Apr 23 19:04:07 2018 Return-Path: Delivered-To: listarch-gcc-bugs@gcc.gnu.org Received: (qmail 68135 invoked by alias); 23 Apr 2018 19:04:07 -0000 Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-bugs-owner@gcc.gnu.org Delivered-To: mailing list gcc-bugs@gcc.gnu.org Received: (qmail 68115 invoked by uid 89); 23 Apr 2018 19:04:06 -0000 Authentication-Results: sourceware.org; auth=none X-Virus-Found: No X-Spam-SWARE-Status: No, score=-3.5 required=5.0 tests=AWL,BAYES_00,RCVD_IN_DNSWL_NONE,SPF_PASS autolearn=ham version=3.3.2 spammy=our X-HELO: mail-pf0-f180.google.com Received: from mail-pf0-f180.google.com (HELO mail-pf0-f180.google.com) (209.85.192.180) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with ESMTP; Mon, 23 Apr 2018 19:04:05 +0000 Received: by mail-pf0-f180.google.com with SMTP id g14so10082325pfh.3 for ; Mon, 23 Apr 2018 12:04:05 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:subject:to:references:from:message-id:date :user-agent:mime-version:in-reply-to:content-language :content-transfer-encoding; bh=TYJ3vVwu1Po+f4zHOckJwgipDUfQUIUBg2YRR/lxhHE=; b=FbchohrD1+sSC8svGnOmPGLHuVLOAeacdgO12JtlOagRNiaS/i42DiQc0xc/ApPPnO u33Ifq5488YbXr0wgTRMfA+5LrGTLzP8kZGYia/jjyGd24Gx9xm3yM99DRZiSBbuA+2S d4Vch3MoS2hoH2YWhC6PRh3EbUq4TlLfeMT++fCHMfOnv0p2yTCzFY/JHCCoFwLOdEcO 5VnJIOHFt2MytDv8YrrM1dxf0yb0yVpmQDmsNw9KMIg+dGZ3v0tDjGFim1t+r7jI08ik pNn3cblS7UL8u6qy3NklzzOf0qTZyMDMM+hPBpFINB7ipAMRqJr+Lm72KbNhqnx8CRjE 4nVg== X-Gm-Message-State: ALQs6tC8eCakbNBTQny+SsK+b/L/Jaxtqg5liUtaOtnUTQg1HQWq2i4n +03rzIrlW3g+NMZkpw++9wvQ+1ZgOcA= X-Google-Smtp-Source: AIpwx4/EmMDYFy4mpEoKNxUsQNusb44bM54IsJE4tu/LmXWbRIUNDhWmdBCWJDSuhNXbUF6c6XkpOw== X-Received: by 10.98.186.26 with SMTP id k26mr21255255pff.195.1524510243638; Mon, 23 Apr 2018 12:04:03 -0700 (PDT) Received: from [10.17.0.102] ([12.206.222.5]) by smtp.gmail.com with ESMTPSA id x14sm24461134pgo.82.2018.04.23.12.04.02 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Mon, 23 Apr 2018 12:04:02 -0700 (PDT) Subject: Re: bug ? : -Wpedantic -Wconversion 'short a=1; a-=1;' complaint To: Jason Vas Dias , gcc-bugs@gcc.gnu.org References: From: Jim Wilson Message-ID: Date: Mon, 23 Apr 2018 19:04:00 -0000 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.7.0 MIME-Version: 1.0 In-Reply-To: Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit X-SW-Source: 2018-04/txt/msg02622.txt.bz2 Content-length: 1367 On 04/23/2018 07:11 AM, Jason Vas Dias wrote: > > I really do not think a '-Wpedantic -Wconversion' warning should > be generated for the following code, but it is > (with GCC 6.4.1 and 7.3.1 on RHEL-7.5 Linux) : > > $ echo ' > typedef unsigned short U16_t; > static void f(void) > { U16_t a = 1; > a-=1; > }' > t.C; gcc@gcc.gnu.org dropped as inappropriate. Note that gcc-bugs is output from our bugzilla. Sending email here isn't very useful. If you want a bug fixed, you have to open a bug report in bugzilla. You can ask gcc questions on gcc help. In the C language, operations on short and always performed as int, and then converted back to short. Subtracting one may generated a negative number, which converted to unsigned short will change its value. So the warning seems appropriate. Note that -Wconversion means different things in different gcc versions. It current meaning is to warn for any implicit cast that may change a value. This is not very useful in general, and is not an option that I would recommend using by default. In old gcc versions, -Wconversion warned for code that had different meaning in K&R C and ISO C. That was useful, and some people used that option by default, but the option no longer does that. You can silence the warning by adding an explicit cast. a = (U16_t) (a - 1); Jim