From e06bbde9278b6cd4a33792758b3dab2e901e69cd Mon Sep 17 00:00:00 2001 From: Ryszard Rozak Date: Fri, 4 Apr 2025 08:51:04 +0200 Subject: [PATCH] Add test with mismatched size Signed-off-by: Ryszard Rozak --- test_regress/t/t_stream_unpack_narrower.out | 4 ++++ test_regress/t/t_stream_unpack_narrower.v | 1 + 2 files changed, 5 insertions(+) diff --git a/test_regress/t/t_stream_unpack_narrower.out b/test_regress/t/t_stream_unpack_narrower.out index 4b09bddd3..80b94fc59 100644 --- a/test_regress/t/t_stream_unpack_narrower.out +++ b/test_regress/t/t_stream_unpack_narrower.out @@ -14,4 +14,8 @@ : ... note: In instance 't' 17 | stream = {>>{packed_data2}}; | ^ +%Warning-WIDTHEXPAND: t/t_stream_unpack_narrower.v:18:24: Stream target requires 61 bits, but source expression only provides 32 bits (IEEE 1800-2023 11.4.14.3) + : ... note: In instance 't' + 18 | {>>{packed_data2}} = stream; + | ^ %Error: Exiting due to diff --git a/test_regress/t/t_stream_unpack_narrower.v b/test_regress/t/t_stream_unpack_narrower.v index 29bb4de7f..f4c49f250 100644 --- a/test_regress/t/t_stream_unpack_narrower.v +++ b/test_regress/t/t_stream_unpack_narrower.v @@ -15,6 +15,7 @@ module t; {>>{stream}} = packed_data; packed_data = {>>{stream}}; stream = {>>{packed_data2}}; + {>>{packed_data2}} = stream; end endmodule