This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug tree-optimization/65177] [5 Regression]: extend jump thread for finite state automata causes miscompilation
- From: "spop at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: Mon, 23 Feb 2015 16:47:26 +0000
- Subject: [Bug tree-optimization/65177] [5 Regression]: extend jump thread for finite state automata causes miscompilation
- Auto-submitted: auto-generated
- References: <bug-65177-4 at http dot gcc dot gnu dot org/bugzilla/>
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65177
--- Comment #3 from Sebastian Pop <spop at gcc dot gnu.org> ---
The miscompile happens when compiling src/generic_optacc.c:
with -fdbg-cnt=registered_jump_thread:167 it passes, and with
-fdbg-cnt=registered_jump_thread:168 it segfaults.
The difference is:
--- /tmp/167 2015-02-23 17:46:45.061408277 +0100
+++ /tmp/168 2015-02-23 17:46:38.373407907 +0100
@@ -1,4 +1,4 @@
-dbg_cnt 'registered_jump_thread' set to 167
+dbg_cnt 'registered_jump_thread' set to 168
Registering jump thread: (33, 35) (35, 39) (39, 41)
Registering jump thread: (44, 46) (46, 50) (50, 52)
Registering jump thread: (68, 70) (70, 74) (74, 76)
@@ -182,6 +182,8 @@
Registering FSM jump thread: (60, 64) (64, 66) (66, 69) (69, 96) (96,
95) (95, 27)
Registering FSM jump thread: (61, 64) (64, 66) (66, 69) (69, 96) (96,
95) (95, 27)
Registering FSM jump thread: (58, 64) (64, 66) (66, 69) (69, 96) (96,
95) (95, 26)
+ Registering FSM jump thread: (13, 53) (53, 55) (55, 64) (64, 66) (66,
67) (67, 68) (68, 69) (69, 96) (96, 95) (95, 5)
generating code for: Registering FSM jump thread: (60, 64) (64, 66) (66,
69) (69, 96) (96, 95) (95, 27)
+generating code for: Registering FSM jump thread: (13, 53) (53, 55) (55,
64) (64, 66) (66, 67) (67, 68) (68, 69) (69, 96) (96, 95) (95, 5)
generating code for: Registering FSM jump thread: (58, 64) (64, 66) (66,
69) (69, 96) (96, 95) (95, 26)
generating code for: Registering FSM jump thread: (61, 64) (64, 66) (66,
69) (69, 96) (96, 95) (95, 27)