data/full_repos/permissive/143278/ivltests/pr1869772.v
1: b'%Warning-WIDTH: data/full_repos/permissive/143278/ivltests/pr1869772.v:11: Operator FUNCREF \'copy\' expects 4 bits on the Function Argument, but Function Argument\'s SHIFTR generates 8 bits.\n                                                                         : ... In instance top\n    if (copy(vec>>4) != 4\'b1010) begin\n        ^~~~\n                ... Use "/* verilator lint_off WIDTH */" and lint_on around source to disable this message.\n%Error: Exiting due to 1 warning(s)\n'
module top;
  reg [7:0] vec = 8'b10100101;
  reg passed = 1;

  function [3:0] copy;
    input [3:0] in;
    copy = in;
  endfunction

  initial begin
    if (copy(vec>>4) != 4'b1010) begin
      passed = 0;
      $display("Failed!");
    end
    if (passed) $display("PASSED");
  end
endmodule
module top;

  reg [7:0] vec = 8'b10100101;
  reg passed = 1;

  function [3:0] copy;
    input [3:0] in;
    copy = in;
  endfunction

  initial begin
    if (copy(vec>>4) != 4'b1010) begin
      passed = 0;
      $display("Failed!");
    end
    if (passed) $display("PASSED");
  end
endmodule