public inbox for gcc-bugs@sourceware.org help / color / mirror / Atom feed
* [Bug sanitizer/59437] New: ICE in for g++ -S -fvtable-verify=std -fsanitize=null @ 2013-12-09 18:09 burnus at gcc dot gnu.org 2013-12-09 18:13 ` [Bug sanitizer/59437] " mpolacek at gcc dot gnu.org ` (4 more replies) 0 siblings, 5 replies; 6+ messages in thread From: burnus at gcc dot gnu.org @ 2013-12-09 18:09 UTC (permalink / raw) To: gcc-bugs http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59437 Bug ID: 59437 Summary: ICE in for g++ -S -fvtable-verify=std -fsanitize=null Product: gcc Version: 4.9.0 Status: UNCONFIRMED Keywords: ice-on-valid-code Severity: normal Priority: P3 Component: sanitizer Assignee: unassigned at gcc dot gnu.org Reporter: burnus at gcc dot gnu.org CC: dodji at gcc dot gnu.org, dvyukov at gcc dot gnu.org, jakub at gcc dot gnu.org, kcc at gcc dot gnu.org, mpolacek at gcc dot gnu.org Created attachment 31404 --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=31404&action=edit C++ test case "test48.ii", run with g++ -fvtable-verify=std -fsanitize=null Follow up to PR59415; the fix is probably similar to that PR, cf. gcc.gnu.org/ml/gcc-patches/2013-12/msg00839.html The attached test case fails with "g++ -S -fvtable-verify=std -fsanitize=null" as follows: test48.ii: In function 'basic_ostream<_CharT, _Traits>& endl(basic_ostream<_CharT, _Traits>&) [with _CharT = char; _Traits = char_traits<char>]': test48.ii:21:3: internal compiler error: Segmentation fault endl(basic_ostream<_CharT, _Traits>& __os) { ^ 0xbafb0f crash_signal ../../gcc/toplev.c:336 0xe188a7 var_is_used_for_virtual_call_p ../../gcc/vtable-verify.c:519 0xe187e0 var_is_used_for_virtual_call_p ../../gcc/vtable-verify.c:550 0xe199c0 verify_bb_vtables ../../gcc/vtable-verify.c:609 0xe199c0 vtable_verify_main() ../../gcc/vtable-verify.c:739 ^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug sanitizer/59437] ICE in for g++ -S -fvtable-verify=std -fsanitize=null 2013-12-09 18:09 [Bug sanitizer/59437] New: ICE in for g++ -S -fvtable-verify=std -fsanitize=null burnus at gcc dot gnu.org @ 2013-12-09 18:13 ` mpolacek at gcc dot gnu.org 2013-12-09 18:14 ` mpolacek at gcc dot gnu.org ` (3 subsequent siblings) 4 siblings, 0 replies; 6+ messages in thread From: mpolacek at gcc dot gnu.org @ 2013-12-09 18:13 UTC (permalink / raw) To: gcc-bugs http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59437 Marek Polacek <mpolacek at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |ASSIGNED Last reconfirmed| |2013-12-09 Assignee|unassigned at gcc dot gnu.org |mpolacek at gcc dot gnu.org Ever confirmed|0 |1 --- Comment #1 from Marek Polacek <mpolacek at gcc dot gnu.org> --- I have a fix. ^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug sanitizer/59437] ICE in for g++ -S -fvtable-verify=std -fsanitize=null 2013-12-09 18:09 [Bug sanitizer/59437] New: ICE in for g++ -S -fvtable-verify=std -fsanitize=null burnus at gcc dot gnu.org 2013-12-09 18:13 ` [Bug sanitizer/59437] " mpolacek at gcc dot gnu.org @ 2013-12-09 18:14 ` mpolacek at gcc dot gnu.org 2013-12-09 22:42 ` mpolacek at gcc dot gnu.org ` (2 subsequent siblings) 4 siblings, 0 replies; 6+ messages in thread From: mpolacek at gcc dot gnu.org @ 2013-12-09 18:14 UTC (permalink / raw) To: gcc-bugs http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59437 Marek Polacek <mpolacek at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Target Milestone|--- |4.9.0 ^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug sanitizer/59437] ICE in for g++ -S -fvtable-verify=std -fsanitize=null 2013-12-09 18:09 [Bug sanitizer/59437] New: ICE in for g++ -S -fvtable-verify=std -fsanitize=null burnus at gcc dot gnu.org 2013-12-09 18:13 ` [Bug sanitizer/59437] " mpolacek at gcc dot gnu.org 2013-12-09 18:14 ` mpolacek at gcc dot gnu.org @ 2013-12-09 22:42 ` mpolacek at gcc dot gnu.org 2013-12-10 10:49 ` mpolacek at gcc dot gnu.org 2013-12-10 10:50 ` mpolacek at gcc dot gnu.org 4 siblings, 0 replies; 6+ messages in thread From: mpolacek at gcc dot gnu.org @ 2013-12-09 22:42 UTC (permalink / raw) To: gcc-bugs http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59437 --- Comment #2 from Marek Polacek <mpolacek at gcc dot gnu.org> --- Slightly reduced: template < typename T > struct A { T foo (); }; template < typename T > struct C: virtual public A < T > { C & operator<< (C & (C &)); }; template < typename T > C < T > &endl (C < int > &c) { c.foo (); return c; } C < int > cout; void fn () { cout << endl; } ^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug sanitizer/59437] ICE in for g++ -S -fvtable-verify=std -fsanitize=null 2013-12-09 18:09 [Bug sanitizer/59437] New: ICE in for g++ -S -fvtable-verify=std -fsanitize=null burnus at gcc dot gnu.org ` (2 preceding siblings ...) 2013-12-09 22:42 ` mpolacek at gcc dot gnu.org @ 2013-12-10 10:49 ` mpolacek at gcc dot gnu.org 2013-12-10 10:50 ` mpolacek at gcc dot gnu.org 4 siblings, 0 replies; 6+ messages in thread From: mpolacek at gcc dot gnu.org @ 2013-12-10 10:49 UTC (permalink / raw) To: gcc-bugs http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59437 --- Comment #3 from Marek Polacek <mpolacek at gcc dot gnu.org> --- Author: mpolacek Date: Tue Dec 10 10:49:39 2013 New Revision: 205854 URL: http://gcc.gnu.org/viewcvs?rev=205854&root=gcc&view=rev Log: PR sanitizer/59437 * vtable-verify.c (var_is_used_for_virtual_call_p): Check the return value of gimple_call_fn. Use is_gimple_call/is_gimple_assign instead of gimple_code. testsuite/ * g++.dg/ubsan/pr59437.C: New test. Added: trunk/gcc/testsuite/g++.dg/ubsan/pr59437.C Modified: trunk/gcc/ChangeLog trunk/gcc/testsuite/ChangeLog trunk/gcc/vtable-verify.c ^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug sanitizer/59437] ICE in for g++ -S -fvtable-verify=std -fsanitize=null 2013-12-09 18:09 [Bug sanitizer/59437] New: ICE in for g++ -S -fvtable-verify=std -fsanitize=null burnus at gcc dot gnu.org ` (3 preceding siblings ...) 2013-12-10 10:49 ` mpolacek at gcc dot gnu.org @ 2013-12-10 10:50 ` mpolacek at gcc dot gnu.org 4 siblings, 0 replies; 6+ messages in thread From: mpolacek at gcc dot gnu.org @ 2013-12-10 10:50 UTC (permalink / raw) To: gcc-bugs http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59437 Marek Polacek <mpolacek at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|ASSIGNED |RESOLVED Resolution|--- |FIXED --- Comment #4 from Marek Polacek <mpolacek at gcc dot gnu.org> --- Fixed. ^ permalink raw reply [flat|nested] 6+ messages in thread
end of thread, other threads:[~2013-12-10 10:50 UTC | newest] Thread overview: 6+ messages (download: mbox.gz / follow: Atom feed) -- links below jump to the message on this page -- 2013-12-09 18:09 [Bug sanitizer/59437] New: ICE in for g++ -S -fvtable-verify=std -fsanitize=null burnus at gcc dot gnu.org 2013-12-09 18:13 ` [Bug sanitizer/59437] " mpolacek at gcc dot gnu.org 2013-12-09 18:14 ` mpolacek at gcc dot gnu.org 2013-12-09 22:42 ` mpolacek at gcc dot gnu.org 2013-12-10 10:49 ` mpolacek at gcc dot gnu.org 2013-12-10 10:50 ` mpolacek at gcc dot gnu.org
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).