Re: RFA: New pass to delete unexecutable paths in the CFG

[Paolo Bonzini]

On 11/07/2011 07:54 PM, Jeff Law wrote:

But we're still stuck with the conditional leading to the path with
the __builtin_trap.  That's what we want to avoid since those
conditionals are executed at runtime.

Just to understand, what does this do with your optimization?

void f(void *p)
{
   if (p)
     {
       puts("sell_soul_to_devil");
       puts("post_reload_rewrite");
     }

   *p = 2;
}

  ...
  f(NULL);

Does the program sell its soul to the devil before crashing?

Paolo