[PATCH] `nonnull` argument attribute.

[Nick Lewycky]

Your change to lib/IR/Value.cpp is wrong, a nonnull pointer is not 
necessarily dereferenceable.

%a = inttoptr i32 123456 to i32*
call void @foo(i32* %a nonnull)

It's nonnull, but not dereferenceable.

Nick

Luqman Aden wrote:
>    Added test.
>
> http://reviews.llvm.org/D3389
>
> CHANGE SINCE LAST DIFF
>    http://reviews.llvm.org/D3389?vs=8552&id=8553#toc
>
> Files:
>    lib/AsmParser/LLToken.h
>    lib/AsmParser/LLParser.cpp
>    lib/AsmParser/LLLexer.cpp
>    lib/Bitcode/Writer/BitcodeWriter.cpp
>    lib/Bitcode/Reader/BitcodeReader.cpp
>    lib/IR/Function.cpp
>    lib/IR/Attributes.cpp
>    lib/Analysis/ValueTracking.cpp
>    test/Bitcode/attributes.ll
>    test/Analysis/BasicAA/nonnull.ll
>    include/llvm/Bitcode/LLVMBitCodes.h
>    include/llvm/IR/Attributes.h
>    include/llvm/IR/Argument.h
>
>
>
> _______________________________________________
> llvm-commits mailing list
> llvm-commits at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits