Changes between Initial Version and Version 1 of Ticket #75


Ignore:
Timestamp:
Dec 21, 2017, 5:55:24 PM (8 years ago)
Author:
Rob Schluntz
Comment:

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #75

    • Property Summary Assertion failure in initialization of array with enum dimension → Assertion failure in initialization of array with non-constant dimension

  • Ticket #75 – Description

    initial v1  
    11{{{
    2 enum { S = 5 };
    3 int a[S] = { 0, 1, 2, 3, 4 };
     2int main() {
     3  enum { S = 5 };
     4  int a[S] = { 0, 1, 2, 3, 4 };
     5
     6  const int size = 3;
     7  int b[size] = { 0, 1, 2 };
     8}
    49
    510cfa test4.c