The road to fixing 16306

[Daniel Berlin]

This is the first of two parts for fixing 16306, a regression where we
decide to copy-prop a non-restricted pointer into a restricted one,
losing the restrict information in the process.

This is part one because out-of-ssa coalesces the variables as well,
causing the regression to still occur.
However, i'm unclear on how to fix out-of-ssa (in a way that isn't a
complete hack).

For DOM, it suffices to just tell it to not copy-prop from a
non-restrict qualified pointer into a restrict qualified one.

Bootstrapped and regtested on i686-pc-linux-gnu.

Okay for mainline?


-------------- next part --------------
A non-text attachment was scrubbed...
Name: domify.diff
Type: text/x-patch
Size: 1301 bytes
Desc: not available
URL: <http://gcc.gnu.org/pipermail/gcc-patches/attachments/20041226/7d08b463/attachment.bin>