Files
revng-revng/lib
Andrea Gussoni 4952346620 Clift: reject TypePunned for ArrayType
Reject the `assignTypePunnedConstraint` DDR `Expressions.td` rewrite
when the `DstType` is an `ArrayType`, to avoid an invalid rewrite that
would violate the assumption that `bitcast`s do not admit a `ArrayType`
as `result` type.
2026-03-18 17:25:13 +01:00
..
2026-03-04 14:58:02 +01:00
2026-02-13 08:41:39 +02:00
2026-03-18 17:25:13 +01:00
2026-02-13 08:41:39 +02:00
2025-12-16 17:41:55 +01:00
2025-10-08 12:22:30 +03:00
2025-12-16 17:41:55 +01:00
2026-02-25 12:47:27 +01:00
2026-02-16 10:34:38 +01:00
2026-02-05 10:20:45 +01:00
2025-12-16 17:41:55 +01:00
2025-12-16 17:41:55 +01:00
2025-12-16 17:41:55 +01:00
2025-12-16 17:41:55 +01:00
2026-02-16 10:34:38 +01:00
2026-02-16 10:34:39 +01:00