[kernel] Parsing share/libc/__fc_builtin_for_normalization.i (no preprocessing)
[kernel] Parsing tests/constant_propagation/array_pointers.i (no preprocessing)
[value] Analyzing a complete application starting at main
[value] Computing initial state
[value] Initial state computed
[value] Values of globals at initialization
  p ∈ {0}
tests/constant_propagation/array_pointers.i:10:[kernel] warning: using size of 'void'
[value] Recording results for main
[value] done for function main
[value] ====== VALUES COMPUTED ======
[value] Values at end of function main:
  q ∈ {{ &p + {4} }}
  r ∈ {{ &p + {8} }}
  s ∈ {1}
[scf] beginning constant propagation
tests/constant_propagation/array_pointers.i:10:[kernel] warning: using size of 'void'
/* Generated by Frama-C */
void *p;
void main(void)
{
  void **q;
  void **r;
  void *s;
  q = & p + 1;
  r = & p + 2;
  s = p + 1;
  return;
}


[scf] constant propagation done
