diff options
| author | cor3ntin <corentinjabot@gmail.com> | 2024-09-04 10:02:55 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-09-04 10:02:55 +0200 |
| commit | 4bccb01355edcfedacafede3e7878d74e2b0a28f (patch) | |
| tree | d7bda209af841cd373b1ddb3571a4a2a02c96b53 /llvm/lib/CodeGen/MachineOutliner.cpp | |
| parent | 427e202a401514cb28bf2ca621baae8e1b2f552f (diff) | |
| download | llvm-4bccb01355edcfedacafede3e7878d74e2b0a28f.zip llvm-4bccb01355edcfedacafede3e7878d74e2b0a28f.tar.gz llvm-4bccb01355edcfedacafede3e7878d74e2b0a28f.tar.bz2 | |
[Clang] Workaround dependent source location issues (#106925)
In #78436 we made some SourceLocExpr dependent to
deal with the fact that their value should reflect the name of
specialized function - rather than the rtemplate in which they are first
used.
However SourceLocExpr are unusual in two ways
- They don't depend on template arguments
- They morally depend on the context in which they are used (rather than
called from).
It's fair to say that this is quite novels and confuses clang. In
particular, in some cases, we used to create dependent SourceLocExpr and
never subsequently transform them, leaving dependent objects in
instantiated functions types. To work around that we avoid replacing
SourceLocExpr when we think they could remain dependent.
It's certainly not perfect but it fixes a number of reported bugs, and
seem to only affect scenarios in which the value of the SourceLocExpr
does not matter (overload resolution).
Fixes #106428
Fixes #81155
Fixes #80210
Fixes #85373
---------
Co-authored-by: Aaron Ballman <aaron@aaronballman.com>
Diffstat (limited to 'llvm/lib/CodeGen/MachineOutliner.cpp')
0 files changed, 0 insertions, 0 deletions