On 11/03/2014 05:27 PM, Marek Polacek wrote:
Another shot at optimizing redundant UBSAN_NULL statements.
This time we walk the dominator tree - that should result in
more effective optimization - and keep a list of UBSAN_NULL
statements that dominate the current block, see the comment
before sanopt_optimize_walker.
Marek,
A general question - have you considered coding this as a dataflow loop
instead of dominator walk? That would allow to also remove checks for
variables defined via PHI nodes provided that all arguments of PHI have
already been checked.
-Y