Revert change to `hasEmbeddedField`

This commit is contained in:
Owen Mansel-Chan 2024-10-17 11:50:17 +01:00
Родитель 5007666d6e
Коммит 87992fac88
Не найден ключ, соответствующий данной подписи
Идентификатор ключа GPG: 67E427E02E6DA1B8
1 изменённых файлов: 2 добавлений и 1 удалений

Просмотреть файл

@ -485,7 +485,8 @@ class StructType extends @structtype, CompositeType {
*/
private predicate hasEmbeddedField(Type tp, int depth) {
exists(Field f | this.hasFieldCand(_, f, depth, true) |
tp = lookThroughPointerType(f.getType())
tp = f.getType() or
tp = f.getType().(PointerType).getBaseType()
)
}