data/full_repos/permissive/143278/ivltests/pr3039548.v
1: b'%Warning-WIDTH: data/full_repos/permissive/143278/ivltests/pr3039548.v:8: Operator ADD expects 16 bits on the RHS, but RHS\'s CONST \'8\'h80\' generates 8 bits.\n                                                                        : ... In instance check_this\n     $display("%b", {enablemask, (16\'h0 +  8\'h80 + offset )});\n                                        ^\n                ... Use "/* verilator lint_off WIDTH */" and lint_on around source to disable this message.\n%Warning-WIDTH: data/full_repos/permissive/143278/ivltests/pr3039548.v:8: Operator ADD expects 16 bits on the RHS, but RHS\'s VARREF \'offset\' generates 6 bits.\n                                                                        : ... In instance check_this\n     $display("%b", {enablemask, (16\'h0 +  8\'h80 + offset )});\n                                                 ^\n%Warning-WIDTH: data/full_repos/permissive/143278/ivltests/pr3039548.v:9: Operator ADD expects 16 bits on the LHS, but LHS\'s CONST \'8\'h80\' generates 8 bits.\n                                                                        : ... In instance check_this\n     $display("%b", {enablemask, (16\'h0 + (8\'h80 + offset))});\n                                                 ^\n%Warning-WIDTH: data/full_repos/permissive/143278/ivltests/pr3039548.v:9: Operator ADD expects 16 bits on the RHS, but RHS\'s VARREF \'offset\' generates 6 bits.\n                                                                        : ... In instance check_this\n     $display("%b", {enablemask, (16\'h0 + (8\'h80 + offset))});\n                                                 ^\n%Error: Exiting due to 4 warning(s)\n'
module check_this;

reg [5:0] offset;
reg [9:0] enablemask;
   initial begin
     enablemask = 10'b00000_00110;
     offset     = 0;
     $display("%b", {enablemask, (16'h0 +  8'h80 + offset )});
     $display("%b", {enablemask, (16'h0 + (8'h80 + offset))});
   end
endmodule
module check_this;


reg [5:0] offset;
reg [9:0] enablemask;
   initial begin
     enablemask = 10'b00000_00110;
     offset     = 0;
     $display("%b", {enablemask, (16'h0 +  8'h80 + offset )});
     $display("%b", {enablemask, (16'h0 + (8'h80 + offset))});
   end
endmodule