[cfe-dev] Visiting statements of a CFG one time

[Stefan Schulze Frielinghaus via cfe-dev]

On Tue, Sep 08, 2020 at 07:44:52PM -0700, Artem Dergachev wrote:
> Note that the surrounding statement is not necessarily in the same block.
> Say, your algorithm would fail to find full statement 'x ? y : z;' by
> looking at its sub-expression 'y'.
> 
> As far as i'm aware, no existing data flow analyses operate the way you
> describe.

In which cases are subexpressions pulled out?  Is the idea behind the
splitting to come up with something similar to expressions in three
address format?

Cheers,
Stefan