projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3749292) | patch
[ValueTracking] Guaranteed well-defined if parameter has a dereferecable_or_null...
authorluxufan <luxufan@iscas.ac.cn>
Wed, 28 Jun 2023 15:01:09 +0000 (23:01 +0800)
committerluxufan <luxufan@iscas.ac.cn>
Thu, 29 Jun 2023 03:45:04 +0000 (11:45 +0800)
commit621fafdaad06889477515de82ed85217ce08ccc6
tree1bed298736e47c4ef013b9f360b1ab92585f570dtree | snapshot
parent3749292e508b92f6a355e6a6e5f3456bbdd43c8ecommit | diff
[ValueTracking] Guaranteed well-defined if parameter has a dereferecable_or_null attribute

Reviewed By: nikic

Differential Revision: https://reviews.llvm.org/D153945
llvm/lib/Analysis/ValueTracking.cpp diff | blob | history
llvm/test/Transforms/Attributor/nocapture-2.ll diff | blob | history
Domain: System / Toolchain;