Changes between Version 23 and Version 24 of IR


Ignore:
Timestamp:
11/22/15 17:20:45 (10 years ago)
Author:
siegel
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • IR

    v23 v24  
    5757
    5858**Do you need typedefs?**
     59
     60Question about types.  In the following, where in the state is the length of the array field stored?
     61
     62{{{
     63#include <stdio.h>
     64int n=10;
     65int main() {
     66  struct S {int a[n];};
     67  struct S x1;
     68  n=20;
     69  struct S x2;
     70  printf("%ld, %ld\n", sizeof(x1), sizeof(x2));
     71  x2.a[10]=1; // error caught by CIVL
     72  fflush(stdout);
     73}
     74}}}
     75
    5976
    6077* `$bool` : boolean type, values are `$true` and `$false`