Re: [PATCH 4/5] Don't mark targets of unconditional jumps with side effects as FALLTHRU.

2016-04-17 Thread Jeff Law
On 01/02/2016 12:16 PM, Marcin Kościelnicki wrote: When an unconditional jump with side effects targets an immediately following label, rtl_tidy_fallthru_edge is called. Since it has side effects, it doesn't remove the jump, but the label is still marked as fallthru. This later causes a verific

Re: [PATCH 4/5] Don't mark targets of unconditional jumps with side effects as FALLTHRU.

2016-01-26 Thread Jeff Law
On 01/22/2016 12:44 AM, Andreas Krebbel wrote: On 01/22/2016 12:10 AM, Jeff Law wrote: On 01/21/2016 03:05 AM, Andreas Krebbel wrote: On 01/02/2016 08:16 PM, Marcin Kościelnicki wrote: When an unconditional jump with side effects targets an immediately following label, rtl_tidy_fallthru_edge i

Re: [PATCH 4/5] Don't mark targets of unconditional jumps with side effects as FALLTHRU.

2016-01-22 Thread Marcin Kościelnicki
On 22/01/16 08:44, Andreas Krebbel wrote: On 01/22/2016 12:10 AM, Jeff Law wrote: On 01/21/2016 03:05 AM, Andreas Krebbel wrote: On 01/02/2016 08:16 PM, Marcin Kościelnicki wrote: When an unconditional jump with side effects targets an immediately following label, rtl_tidy_fallthru_edge is cal

Re: [PATCH 4/5] Don't mark targets of unconditional jumps with side effects as FALLTHRU.

2016-01-21 Thread Andreas Krebbel
On 01/22/2016 12:10 AM, Jeff Law wrote: > On 01/21/2016 03:05 AM, Andreas Krebbel wrote: >> On 01/02/2016 08:16 PM, Marcin Kościelnicki wrote: >>> When an unconditional jump with side effects targets an immediately >>> following label, rtl_tidy_fallthru_edge is called. Since it has side >>> effect

Re: [PATCH 4/5] Don't mark targets of unconditional jumps with side effects as FALLTHRU.

2016-01-21 Thread Jeff Law
On 01/21/2016 03:05 AM, Andreas Krebbel wrote: On 01/02/2016 08:16 PM, Marcin Kościelnicki wrote: When an unconditional jump with side effects targets an immediately following label, rtl_tidy_fallthru_edge is called. Since it has side effects, it doesn't remove the jump, but the label is still

Re: [PATCH 4/5] Don't mark targets of unconditional jumps with side effects as FALLTHRU.

2016-01-21 Thread Marcin Kościelnicki
On 21/01/16 11:05, Andreas Krebbel wrote: On 01/02/2016 08:16 PM, Marcin Kościelnicki wrote: When an unconditional jump with side effects targets an immediately following label, rtl_tidy_fallthru_edge is called. Since it has side effects, it doesn't remove the jump, but the label is still marke

Re: [PATCH 4/5] Don't mark targets of unconditional jumps with side effects as FALLTHRU.

2016-01-21 Thread Andreas Krebbel
On 01/02/2016 08:16 PM, Marcin Kościelnicki wrote: > When an unconditional jump with side effects targets an immediately > following label, rtl_tidy_fallthru_edge is called. Since it has side > effects, it doesn't remove the jump, but the label is still marked > as fallthru. This later causes a v

[PATCH 4/5] Don't mark targets of unconditional jumps with side effects as FALLTHRU.

2016-01-02 Thread Marcin Kościelnicki
When an unconditional jump with side effects targets an immediately following label, rtl_tidy_fallthru_edge is called. Since it has side effects, it doesn't remove the jump, but the label is still marked as fallthru. This later causes a verification error. Do nothing in this case instead. gcc/C