diff options
| -rw-r--r-- | cparser/Cutil.ml | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/cparser/Cutil.ml b/cparser/Cutil.ml index 4a5c9427..f3cd5d14 100644 --- a/cparser/Cutil.ml +++ b/cparser/Cutil.ml @@ -1035,9 +1035,6 @@ let valid_cast env tfrom tto = (TInt _ | TPtr _ | TEnum _) -> true (* between int and float types *) | (TInt _ | TFloat _ | TEnum _), (TInt _ | TFloat _ | TEnum _) -> true - (* between identical composites *) - | TStruct(s1, _), TStruct(s2, _) -> s1 = s2 - | TUnion(s1, _), TUnion(s2, _) -> s1 = s2 | _, _ -> false (* Check that the cast from tfrom to tto is an integer to pointer conversion *) |