diff options
| author | Dávid Bolvanský <david.bolvansky@gmail.com> | 2021-02-20 04:08:50 +0100 |
|---|---|---|
| committer | Dávid Bolvanský <david.bolvansky@gmail.com> | 2021-02-20 04:10:07 +0100 |
| commit | 33b0c63775ce58014c55e285671e3315104a6076 (patch) | |
| tree | c28c57f42a8910889649bd1960baf020dcaa442b /llvm/lib/CodeGen/MachineRegisterInfo.cpp | |
| parent | 68e6025cf7e37f6da66dfe4e6484fcc921237b42 (diff) | |
| download | llvm-33b0c63775ce58014c55e285671e3315104a6076.zip llvm-33b0c63775ce58014c55e285671e3315104a6076.tar.gz llvm-33b0c63775ce58014c55e285671e3315104a6076.tar.bz2 | |
[Libcalls, Attrs] Annotate libcalls with noundef
I think we can use here same logic as for nonnull.
strlen(X) - X must be noundef => valid pointer.
for libcalls with size arg, we add noundef only if size is known and greater than 0 - so pointers must be noundef (valid ones)
Reviewed By: jdoerfert, aqjune
Differential Revision: https://reviews.llvm.org/D95122
Diffstat (limited to 'llvm/lib/CodeGen/MachineRegisterInfo.cpp')
0 files changed, 0 insertions, 0 deletions