This commit is contained in:
Mathias Vorreiter Pedersen 2022-10-05 09:56:24 +01:00
Родитель 4d697cd369
Коммит fcd69a005f
1 изменённых файлов: 1 добавлений и 1 удалений

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

@ -46,7 +46,7 @@ class CastToPointerArithFlow extends DataFlow::Configuration {
*/
pragma[inline]
predicate hasBaseType(Expr e, Type base) {
pragma[only_bind_into](base) = pragma[only_bind_out](e.getType().(DerivedType).getBaseType())
pragma[only_bind_into](base) = e.getType().(DerivedType).getBaseType()
}
/**