diff options
| author | Eli Friedman <efriedma@quicinc.com> | 2025-07-15 10:01:27 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-07-15 10:01:27 -0700 |
| commit | 20c8e3c2a4744524396cc473a370cfb7855850b6 (patch) | |
| tree | 5be1604744af67497573f23a5ab61df936d710ec /clang/lib/Frontend/CompilerInvocation.cpp | |
| parent | a4dab509d360a06d189352a4e4d23e5a6bbb34a3 (diff) | |
| download | llvm-20c8e3c2a4744524396cc473a370cfb7855850b6.zip llvm-20c8e3c2a4744524396cc473a370cfb7855850b6.tar.gz llvm-20c8e3c2a4744524396cc473a370cfb7855850b6.tar.bz2 | |
[clang] Fix pointer comparisons between pointers to constexpr-unknown (#147663)
A constexpr-unknown reference can be equal to an arbitrary value, except
values allocated during constant evaluation. Fix the handling.
The standard is unclear exactly which pointer comparisons count as
"unknown" in this context; for example, in some cases we could use
alignment to prove two constexpr-unknown references are not equal. I
decided to ignore all the cases involving variables not allocated during
constant evaluation.
While looking at this, I also spotted that there might be issues with
lifetimes, but I didn't try to address it.
Diffstat (limited to 'clang/lib/Frontend/CompilerInvocation.cpp')
0 files changed, 0 insertions, 0 deletions