Re: [PATCH] Add verify_sese

2014-11-25 Thread Richard Biener
On Tue, Nov 25, 2014 at 3:59 PM, Tom de Vries wrote: > On 25-11-14 10:28, Richard Biener wrote: >> >> On Tue, Nov 25, 2014 at 1:01 AM, Tom de Vries >> wrote: >>> >>> Richard, >>> >>> I ran into a problem with my oacc kernels directive patch series where >>> tail-merge added another entry into a r

Re: [PATCH] Add verify_sese

2014-11-25 Thread Tom de Vries
On 25-11-14 10:28, Richard Biener wrote: On Tue, Nov 25, 2014 at 1:01 AM, Tom de Vries wrote: Richard, I ran into a problem with my oacc kernels directive patch series where tail-merge added another entry into a region that was previously single-entry-single-exit. That resulted in hitting thi

Re: [PATCH] Add verify_sese

2014-11-25 Thread Richard Biener
On Tue, Nov 25, 2014 at 1:01 AM, Tom de Vries wrote: > Richard, > > I ran into a problem with my oacc kernels directive patch series where > tail-merge added another entry into a region that was previously > single-entry-single-exit. > > That resulted in hitting this assert in calc_dfs_tree: > ...

[PATCH] Add verify_sese

2014-11-24 Thread Tom de Vries
Richard, I ran into a problem with my oacc kernels directive patch series where tail-merge added another entry into a region that was previously single-entry-single-exit. That resulted in hitting this assert in calc_dfs_tree: ... /* This aborts e.g. when there is _no_ path from ENTRY to EXI