Skip to content
Commit 4afea9e3 authored by Owen Anderson's avatar Owen Anderson
Browse files

In the default address space, any GEP off of null results in a trap value if...

In the default address space, any GEP off of null results in a trap value if you try to load it.  Thus,
any load in the default address space that completes implies that the base value that it GEP'd from
was not null.

llvm-svn: 112015
parent 9f077cbc
Loading
Loading
Loading
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment