Author Name: Julius Baxter (@juliusbaxter)
Original Redmine Issue: 566 from https://www.veripool.org
Original Date: 2012-10-09
Original Assignee: Wilson Snyder (@wsnyder)

The following code throws an error like it's a hierarchical reference, however it's just accessing a field of a struct, which is in an array and being accessed via a variable in a loop.

package TEST_TYPES;
    typedef struct packed {
       logic   stuff;     
    } a_struct;
endpackage // TEST_TYPES

module testmodule(a_out);
    parameter n = 4;
    output TEST_TYPES::a_struct [n-1:0] a_out;
    always_comb
      begin
     for (int i=0;i<n;i++)
       a_out[i].stuff = '0;
      end
endmodule // testmodule

The error generated is:

%Error: testcase.sv:13: Unsupported: Non-constant inside []'s in the cell part of a dotted reference
%Error: Exiting due to 1 error(s)