Ignore:
Timestamp:
Feb 2, 2011, 12:41:05 PM (9 years ago)
Author:
campbell
Message:

Fix treatment of pointers in initialisation data, a little like later versions
of CompCert?. Remove obsolete Init_pointer.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D3.1/C-semantics/test/insertsort.c

    r479 r485  
    44};
    55
    6 /* Init_addrof not yet supported
    76__pdata struct list l6 = {69, 0};
    87__pdata struct list l5 = {36, &l6};
     
    1211__pdata struct list l1 = {240, &l2};
    1312__pdata struct list l0 = {102, &l1};
    14 */
    15 __pdata struct list l6 = {69, 0};
    16 __pdata struct list l5 = {36, 0};
    17 __pdata struct list l4 = {136, 0};
    18 __pdata struct list l3 = {105, 0};
    19 __pdata struct list l2 = {234, 0};
    20 __pdata struct list l1 = {240, 0};
    21 __pdata struct list l0 = {102, 0};
    2213
    2314void insert(__pdata struct list *element, __pdata struct list **dest) {
     
    4637  __pdata struct list *l = &l0;
    4738
    48   /* Init_addrof not yet supported */
    49   l0.next = &l1;
    50   l1.next = &l2;
    51   l2.next = &l3;
    52   l3.next = &l4;
    53   l4.next = &l5;
    54   l5.next = &l6;
    55 
    5639  sort(&l);
    5740  while (l) {
Note: See TracChangeset for help on using the changeset viewer.