diff options
| author | Nikita Popov <npopov@redhat.com> | 2023-02-01 11:18:47 +0100 |
|---|---|---|
| committer | Nikita Popov <npopov@redhat.com> | 2023-02-14 08:23:37 +0100 |
| commit | 2e9549db268645accb83ebf031fbb1de84b00ca9 (patch) | |
| tree | 90329fe3747e20ee2439ca92c66bde719ff61cca /llvm/tools/llvm-reduce/DeltaManager.cpp | |
| parent | af838c1b1c20c7b3b970e81039a1992857fe76bb (diff) | |
| download | llvm-2e9549db268645accb83ebf031fbb1de84b00ca9.zip llvm-2e9549db268645accb83ebf031fbb1de84b00ca9.tar.gz llvm-2e9549db268645accb83ebf031fbb1de84b00ca9.tar.bz2 | |
[LangRef] Global variable declarations imply minimum size
Adjust the wording added in D78952 to say that global variable
declarations (and interposable definitions) do imply a minimum
size (and alignment) on the global. They just don't imply a
maximum size.
We rely on these semantics in at least two places:
* Global dereferenceability: https://github.com/llvm/llvm-project/blob/2153544865a9733b06579823814c981f735e4201/llvm/lib/IR/Value.cpp#L907
* Global inbounds GEP: https://github.com/llvm/llvm-project/blob/2153544865a9733b06579823814c981f735e4201/llvm/lib/IR/ConstantFold.cpp#L2283
Differential Revision: https://reviews.llvm.org/D143057
Diffstat (limited to 'llvm/tools/llvm-reduce/DeltaManager.cpp')
0 files changed, 0 insertions, 0 deletions