-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 On 11/07/11 06:53, Tom Tromey wrote: >>>>>> "Jeff" == Jeff Law <l...@redhat.com> writes: > > Jeff> First, it's perfectly fine to have a NULL pointer dereference > in a Jeff> program as long as that code is never executed. Once > the code is Jeff> executed, we've entered the realm of undefined > behavior. > > Jeff> Thus in a conforming program we can safely assume that a > provable NULL Jeff> pointer dereference can never be executed at > runtime. This implies Jeff> there is a path through the CFG that > is unexecutable. > > IIUC, then this isn't true for Java. In Java the attempt to > dereference NULL throws a NullPointerException, which can be > caught, etc. It isn't undefined. So, presumably there's no way to know we're throwing to NullPointerException from the exception information attached to the statement or BB? If not I could disable if the statement with the memory op throws anywhere. It's not ideal, but conservatively correct.
jeff -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.11 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/ iQEcBAEBAgAGBQJOt/ypAAoJEBRtltQi2kC7uhIH/jpk2jx7mn7i/RVA9jqiR3BU tz4KRL1+giqWj8B2gG+y6vn8tBOFrruymIP4ewRjO1Q6IIvlDr6dyWSIXAw/TQ8g p0V7Cfk+cxOkMJ6m6T/qpHjdtJsfx9FYQF6JSHPpalzh7FxlSIVJ9vGejmNqjHHG ZxqDZd8emz0e7C4KtrX5mkMSZDHXo2+vWulwf8lwCJBjDLLR0nylv5GFREIuSDDR BEkosWYfgJfngjmiwiXu8re9kEBpdRlnzDh+416VkSKTwjqHvqnb1Ux3rlBKHR7U /DAQVcFNYdjwHFmTjvc50NPgOMf1fMEw9wCaMtL1THJlRMwpyaR5R8Gc+PiQjLk= =bdeT -----END PGP SIGNATURE-----