admin/revng-revng
1
0
Fork 0
mirror of https://github.com/revng/revng synced 2026-06-21 14:07:57 +00:00
Code Issues Packages Projects Releases Wiki Activity

QualifiedType RawFunctionType.StackArgumentsType

Browse Source 
The `StackArgumentsType` field of `RawFunctionType` was the only
cross-reference between `model::Type`s that did not use
`model::QualifiedType` but a naked `TupleTreeReference`.

Switching it to `QualifiedType` make all cross-references across
`model::Type`s homogeneous.
This commit is contained in:
Pietro Fezzardi
2022-04-07 23:08:20 +02:00
parent 1be847e0c0
commit 450ce79b30
4 changed files with 28 additions and 16 deletions
Download Patch File Download Diff File Expand all files Collapse all files
lib/Model/Type.cpp
+6
View File
@@ -1106,6 +1106,12 @@ verifyImpl(VerifyHelper &VH, const RawFunctionType *T) {
if (Preserved == Register::Invalid)
rc_return VH.fail();
if (not T->StackArgumentsType.Qualifiers.empty())
rc_return VH.fail();
if (T->StackArgumentsType.UnqualifiedType.isValid()
and not rc_recur T->StackArgumentsType.UnqualifiedType.get()->verify(VH))
rc_return VH.fail();
rc_return VH.maybeFail(T->CustomName.verify(VH));
}