[kernel] Parsing share/libc/__fc_builtin_for_normalization.i (no preprocessing)
[kernel] Parsing tests/impact/loop2.i (no preprocessing)
[value] Analyzing an incomplete application starting at main
[value] Computing initial state
[value] Initial state computed
[value] Values of globals at initialization
  v ∈ [--..--]
  t[0..9] ∈ [--..--]
  u[0..9] ∈ [--..--]
  w[0..9] ∈ [--..--]
[value] computing for function init <- main.
        Called from tests/impact/loop2.i:24.
tests/impact/loop2.i:11:[value] entering loop for the first time
[value] Recording results for init
[from] Computing for function init
[from] Done for function init
[value] Done for function init
tests/impact/loop2.i:25:[value] entering loop for the first time
[value] computing for function f <- main.
        Called from tests/impact/loop2.i:27.
[value] Recording results for f
[from] Computing for function f
[from] Done for function f
[value] Done for function f
[value] computing for function f <- main.
        Called from tests/impact/loop2.i:27.
[value] Recording results for f
[from] Computing for function f
[from] Done for function f
[value] Done for function f
[value] computing for function f <- main.
        Called from tests/impact/loop2.i:27.
[value] Recording results for f
[from] Computing for function f
[from] Done for function f
[value] Done for function f
[value] computing for function f <- main.
        Called from tests/impact/loop2.i:27.
[value] Recording results for f
[from] Computing for function f
[from] Done for function f
[value] Done for function f
[value] computing for function f <- main.
        Called from tests/impact/loop2.i:27.
[value] Recording results for f
[from] Computing for function f
[from] Done for function f
[value] Done for function f
[value] computing for function f <- main.
        Called from tests/impact/loop2.i:27.
[value] Recording results for f
[from] Computing for function f
[from] Done for function f
[value] Done for function f
[value] Recording results for main
[from] Computing for function main
[from] Done for function main
[value] done for function main
[from] ====== DISPLAYING CALLWISE DEPENDENCIES ======
[from] call to init at tests/impact/loop2.i:24 (by main):
  u[0..9] FROM v (and SELF)
[from] call to f at tests/impact/loop2.i:27 (by main):
  t[0..9] FROM u[0..9]; i (and SELF)
  w[0..9] FROM i (and SELF)
[from] entry point:
  t[0..9] FROM v; t[0..9]; u[0..9] (and SELF)
  u[0..9] FROM v (and SELF)
  w[0..9] FROM v; t[0..9]; u[0..9] (and SELF)
[from] ====== END OF CALLWISE DEPENDENCIES ======
[impact] beginning analysis
[pdg] computing for function main
[pdg] done for function main
[pdg] computing for function init
[pdg] done for function init
[pdg] computing for function f
[pdg] done for function f
[impact] impacted statements of stmt(s) 18 are:
           tests/impact/loop2.i:17 (sid 12): v_0 = t[i];
           tests/impact/loop2.i:18 (sid 13): w[i] = i;
           tests/impact/loop2.i:19 (sid 14): t[i] = u[i];
           tests/impact/loop2.i:26 (sid 27): if(t[i]) <..>
           tests/impact/loop2.i:27 (sid 28): f(i);
[impact] analysis done
[kernel] Parsing share/libc/__fc_builtin_for_normalization.i (no preprocessing)
[kernel] Parsing tests/impact/loop2.i (no preprocessing)
[value] Analyzing an incomplete application starting at main
[value] Computing initial state
[value] Initial state computed
[value] Values of globals at initialization
  v ∈ [--..--]
  t[0..9] ∈ [--..--]
  u[0..9] ∈ [--..--]
  w[0..9] ∈ [--..--]
[value] computing for function init <- main.
        Called from tests/impact/loop2.i:24.
tests/impact/loop2.i:11:[value] entering loop for the first time
[value] Recording results for init
[from] Computing for function init
[from] Done for function init
[value] Done for function init
[value] computing for function f <- main.
        Called from tests/impact/loop2.i:27.
[value] Recording results for f
[from] Computing for function f
[from] Done for function f
[value] Done for function f
[value] computing for function f <- main.
        Called from tests/impact/loop2.i:27.
[value] Recording results for f
[from] Computing for function f
[from] Done for function f
[value] Done for function f
[value] computing for function f <- main.
        Called from tests/impact/loop2.i:27.
[value] Recording results for f
[from] Computing for function f
[from] Done for function f
[value] Done for function f
[value] computing for function f <- main.
        Called from tests/impact/loop2.i:27.
[value] Recording results for f
[from] Computing for function f
[from] Done for function f
[value] Done for function f
[value] computing for function f <- main.
        Called from tests/impact/loop2.i:27.
[value] Recording results for f
[from] Computing for function f
[from] Done for function f
[value] Done for function f
[value] computing for function f <- main.
        Called from tests/impact/loop2.i:27.
[value] Recording results for f
[from] Computing for function f
[from] Done for function f
[value] Done for function f
[value] computing for function f <- main.
        Called from tests/impact/loop2.i:27.
[value] Recording results for f
[from] Computing for function f
[from] Done for function f
[value] Done for function f
[value] computing for function f <- main.
        Called from tests/impact/loop2.i:27.
[value] Recording results for f
[from] Computing for function f
[from] Done for function f
[value] Done for function f
[value] computing for function f <- main.
        Called from tests/impact/loop2.i:27.
[value] Recording results for f
[from] Computing for function f
[from] Done for function f
[value] Done for function f
[value] computing for function f <- main.
        Called from tests/impact/loop2.i:27.
[value] Recording results for f
[from] Computing for function f
[from] Done for function f
[value] Done for function f
tests/impact/loop2.i:25:[value] entering loop for the first time
[value] Recording results for main
[from] Computing for function main
[from] Done for function main
[value] done for function main
[from] ====== DISPLAYING CALLWISE DEPENDENCIES ======
[from] call to init at tests/impact/loop2.i:24 (by main):
  u[0..9] FROM v
[from] call to f at tests/impact/loop2.i:27 (by main):
  t[9] FROM u[9]; i
  w[9] FROM i
[from] call to f at tests/impact/loop2.i:27 (by main):
  t[8] FROM u[8]; i
  w[8] FROM i
[from] call to f at tests/impact/loop2.i:27 (by main):
  t[7] FROM u[7]; i
  w[7] FROM i
[from] call to f at tests/impact/loop2.i:27 (by main):
  t[6] FROM u[6]; i
  w[6] FROM i
[from] call to f at tests/impact/loop2.i:27 (by main):
  t[5] FROM u[5]; i
  w[5] FROM i
[from] call to f at tests/impact/loop2.i:27 (by main):
  t[4] FROM u[4]; i
  w[4] FROM i
[from] call to f at tests/impact/loop2.i:27 (by main):
  t[3] FROM u[3]; i
  w[3] FROM i
[from] call to f at tests/impact/loop2.i:27 (by main):
  t[2] FROM u[2]; i
  w[2] FROM i
[from] call to f at tests/impact/loop2.i:27 (by main):
  t[1] FROM u[1]; i
  w[1] FROM i
[from] call to f at tests/impact/loop2.i:27 (by main):
  t[0] FROM u[0]; i
  w[0] FROM i
[from] entry point:
  t[0] FROM v; t[0] (and SELF)
   [1] FROM v; t[1] (and SELF)
   [2] FROM v; t[2] (and SELF)
   [3] FROM v; t[3] (and SELF)
   [4] FROM v; t[4] (and SELF)
   [5] FROM v; t[5] (and SELF)
   [6] FROM v; t[6] (and SELF)
   [7] FROM v; t[7] (and SELF)
   [8] FROM v; t[8] (and SELF)
   [9] FROM v; t[9] (and SELF)
  u[0..9] FROM v
  w[0] FROM t[0] (and SELF)
   [1] FROM t[1] (and SELF)
   [2] FROM t[2] (and SELF)
   [3] FROM t[3] (and SELF)
   [4] FROM t[4] (and SELF)
   [5] FROM t[5] (and SELF)
   [6] FROM t[6] (and SELF)
   [7] FROM t[7] (and SELF)
   [8] FROM t[8] (and SELF)
   [9] FROM t[9] (and SELF)
[from] ====== END OF CALLWISE DEPENDENCIES ======
[impact] beginning analysis
[pdg] computing for function main
[pdg] done for function main
[pdg] computing for function init
[pdg] done for function init
[pdg] computing for function f
[pdg] done for function f
[impact] impacted statements of stmt(s) 59 are:
           tests/impact/loop2.i:19 (sid 55): t[i] = u[i];
           tests/impact/loop2.i:27 (sid 151): f(i);
           tests/impact/loop2.i:27 (sid 158): f(i);
           tests/impact/loop2.i:27 (sid 165): f(i);
           tests/impact/loop2.i:27 (sid 172): f(i);
           tests/impact/loop2.i:27 (sid 179): f(i);
           tests/impact/loop2.i:27 (sid 186): f(i);
           tests/impact/loop2.i:27 (sid 193): f(i);
           tests/impact/loop2.i:27 (sid 200): f(i);
           tests/impact/loop2.i:27 (sid 207): f(i);
           tests/impact/loop2.i:27 (sid 214): f(i);
[impact] analysis done
