-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 On 11/07/11 03:21, Richard Guenther wrote:
> > Oh, and points-to plus DSE/DCE might confuse your pass as stores > that points-to can prove go "nowhere" are removed. I think this is OK in the sense that we may miss a case where we could have detected a path was unexecutable, but that's just a missed optimization, not a correctness issue. jeff -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.11 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/ iQEcBAEBAgAGBQJOuCzaAAoJEBRtltQi2kC7LM8IAKKSRpunevuhIzZtpi3h+FFw LYO0E4U0wrlif/eS8mgzkXbZnEolHIsZBoOJyAxwgbWKqt6SbnDQl93fv5t67TsK EYNE2uXG84/2u88vx31nFXYAY9OKFj3Kt0RH64PjEsFYZ9qCYAHN4opL0kLToxrF 4dZ33TXZuOe/AAdL+Z1OZRntfYy2rJWf5O2QITsyYfrs0aFfoZkvm7RD3+Luwvks XG6nUreLvq5dior8FCrBX3yjm1c/uOxuUaKtooWYwyF4T1pDxXDL2R/QgMQhsmBZ jJiTZOXYbnjy1L9lf/PCENnd4cmcJeETyY8wuKeYjIwizcdh0yKpHEuIS0zlry8= =ESJY -----END PGP SIGNATURE-----
