data/full_repos/permissive/143278/ivltests/pr2272468.v
 line:14: before: "("
1: b'%Warning-WIDTH: data/full_repos/permissive/143278/ivltests/pr2272468.v:9: Operator ADD expects 1026 bits on the LHS, but LHS\'s VARREF \'a\' generates 1024 bits.\n                                                                        : ... In instance top.block[255].sub\n  if (a + b > 1026\'d2) $display(1);\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/pr2272468.v:9: Operator ADD expects 1026 bits on the RHS, but RHS\'s VARREF \'b\' generates 1024 bits.\n                                                                        : ... In instance top.block[255].sub\n  if (a + b > 1026\'d2) $display(1);\n        ^\n%Error: Exiting due to 2 warning(s)\n'
module sub();

task task1;

input [1023:0] a;
input [1023:0] b;

begin
  if (a + b > 1026'd2) $display(1);
end

endtask

initial task1(1, 2);

endmodule
module sub();


task task1;

input [1023:0] a;
input [1023:0] b;

begin
  if (a + b > 1026'd2) $display(1);
end

endtask

initial task1(1, 2);

endmodule