diff options
| author | goldsteinn <35538541+goldsteinn@users.noreply.github.com> | 2024-10-17 11:32:55 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-10-17 10:32:55 -0500 |
| commit | c85611e8583e6392d56075ebdfa60893b6284813 (patch) | |
| tree | 0e9755aaff4332c655e985d957f821faca52661f /llvm/lib/IR/Verifier.cpp | |
| parent | ab208de34efbde4fea03732eaa353a701e72f626 (diff) | |
| download | llvm-c85611e8583e6392d56075ebdfa60893b6284813.zip llvm-c85611e8583e6392d56075ebdfa60893b6284813.tar.gz llvm-c85611e8583e6392d56075ebdfa60893b6284813.tar.bz2 | |
[SimplifyLibCall][Attribute] Fix bug where we may keep `range` attr with incompatible type (#112649)
In a variety of places we change the bitwidth of a parameter but don't
update the attributes.
The issue in this case is from the `range` attribute when inlining
`__memset_chk`. `optimizeMemSetChk` will replace an `i32` with an
`i8`, and if the `i32` had a `range` attr assosiated it will cause an
error.
Fixes #112633
Diffstat (limited to 'llvm/lib/IR/Verifier.cpp')
| -rw-r--r-- | llvm/lib/IR/Verifier.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/llvm/lib/IR/Verifier.cpp b/llvm/lib/IR/Verifier.cpp index 0412b93..f34fe75 100644 --- a/llvm/lib/IR/Verifier.cpp +++ b/llvm/lib/IR/Verifier.cpp @@ -2012,7 +2012,7 @@ void Verifier::verifyParameterAttrs(AttributeSet Attrs, Type *Ty, Attrs.hasAttribute(Attribute::ReadOnly)), "Attributes writable and readonly are incompatible!", V); - AttributeMask IncompatibleAttrs = AttributeFuncs::typeIncompatible(Ty); + AttributeMask IncompatibleAttrs = AttributeFuncs::typeIncompatible(Ty, Attrs); for (Attribute Attr : Attrs) { if (!Attr.isStringAttribute() && IncompatibleAttrs.contains(Attr.getKindAsEnum())) { |