[Bug Compiler/26695] Abortion on construction of struct with an array field with non-const boundary

[david.faust at oracle dot com]

https://sourceware.org/bugzilla/show_bug.cgi?id=26695

David Faust <david.faust at oracle dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |david.faust at oracle dot com

--- Comment #2 from David Faust <david.faust at oracle dot com> ---
Hi.

I've just encountered another instance of this cropping up again.

type Foo =
  struct
  {
    offset<uint<32>, B> rec_size;
    uint<32> num_recs;

    type Record = struct { uint<8> a; };

    Record [rec_size * num_recs] recs;
  };

The failure is also triggered if type Record is defined externally to Foo.

Constructing an instance of `Foo` with nonzero initializers for both rec_size
and num_recs triggers the bug:

(poke) .load foo.pk
(poke) var a = Foo {}
(poke) var b = Foo { rec_size = 4#B }
(poke) var c = Foo { num_recs = 1 }
(poke) var d = Foo { rec_size = 4#B, num_recs = 1 }
poke: ../../libpoke/pvm.jitter:1556: pvm_execute_or_initialize: Assertion
`PVM_VAL_CLS_ENV (closure) != NULL' failed.

Thread 1 "poke" received signal SIGABRT, Aborted.


(I'm not very familiar with bugzilla, can this be reopened or does a new bug
need to be filed?)

-- 
You are receiving this mail because:
You are on the CC list for the bug.