On Thu, Mar 26, 2020 at 08:41:41PM -0300, Alexandre Oliva wrote:
> On Mar 26, 2020, Jakub Jelinek <ja...@redhat.com> wrote:
>
> > Or disable -gstatement-frontiers by default and declare it -fcompare-debug
> > incompatible.
>
> I don't get what makes debug stmts introduced by -gstatement-frontiers
> special in this regard. I recall working a lot on making statement list
> management compatible with debug stmts for -fcompare-debug purposes back
> when introducing them, but not breaking new ground when extending them
> with markers rather than binds.
The hardest issue I gave up completely on after trying 3 different
approaches is PR93786, I just don't know what to do in that case.
Gimplification of a STATEMENT_LIST is destructive, especially the
voidify_wrapper_expr part of it, and if the STATEMENT_LIST is used multiple
times, that is a severe problem.
The PR94323 and PR94272 changes worked, but they are quite unclean and in
bugzilla there is at least one another -fcompare-debug issue that goes away
with -gno-statement-frontiers (PR94340).
Jakub
