Re: Control dependence vs. builtin_unreachable

2013-01-03 Thread Jeff Law
On 01/03/2013 12:01 PM, Steven Bosscher wrote: Hello, Consider the following test case: void bar (void); int foo (int b, int c, int d) { int r = 0; if (b) res = b * 2 + 4; if (c) { if (d) r = res; else __builtin_unreachable (); } return

Control dependence vs. builtin_unreachable

2013-01-03 Thread Steven Bosscher
Hello, Consider the following test case: void bar (void); int foo (int b, int c, int d) { int r = 0; if (b) res = b * 2 + 4; if (c) { if (d) r = res; else __builtin_unreachable (); } return r; } This is typical for code in GCC itself in places wher