More static checker fixes

[Richard Guenther]

On Thu, Mar 31, 2011 at 2:55 PM, Jeff Law <law@redhat.com> wrote:
> -----BEGIN PGP SIGNED MESSAGE-----
> Hash: SHA1
>
>
> Whee.  The static checkers found another real bug.  The
> tree-ssa-forwprop.c fix eliminates a potential NULL pointer dereference
> due to a typo in a condition.  Basically if DEF_STMT is null, it would
> be passed to can_propagate_from which would then dereference it.

It's also a missed optimization.

>
>
> Bootstrapped and regression tested on x86_64-unknown-linux-gnu. OK for
> trunk?

Ok.

Thanks,
Richard.

> Jeff
>
>
> -----BEGIN PGP SIGNATURE-----
> Version: GnuPG v1.4.11 (GNU/Linux)
> Comment: Using GnuPG with Fedora - http://enigmail.mozdev.org/
>
> iQEcBAEBAgAGBQJNlHnJAAoJEBRtltQi2kC7fFwH/13MwLl02m/xoFvk9T660jHk
> gH82fngYkOho3E+hHlbOlahturVru0ti+B43XHvlZG0DhnCsci9YGn25cuSijv5i
> vsRyRD9lKEfAlJk3N04aalbgLBZulHfKnn9vO8Lj7mBhezvd6mLz74AHW7dh68Ob
> feZtQSnpW2gNqppl4JOkMcb79SUWsXGTFl0HAv9LGgtQwgzmh12VJ7i5meukzE0M
> h4cFVU255INW7XrCPnA68r/oE6Bpy9xtl08VuyV7tTVejHz4msdrQV8e1bRWhCbP
> O+lRI4lAfm3/8SceSdVwMUp/X5/MlBDrlnBX+wxG2imgYaMb735nZHcCVP/a2Kc=
> =qyLX
> -----END PGP SIGNATURE-----
>