[kernel] Parsing share/libc/__fc_builtin_for_normalization.i (no preprocessing)
[kernel] Parsing tests/pdg/pb_infinite_loop.c (with preprocessing)
[value] Analyzing a complete application starting at test_infinite_loop_2
[value] Computing initial state
[value] Initial state computed
[value] Values of globals at initialization
  G ∈ [--..--]
tests/pdg/pb_infinite_loop.c:32:[value] entering loop for the first time
tests/pdg/pb_infinite_loop.c:34:[kernel] warning: signed overflow. assert G+1 ≤ 2147483647;
tests/pdg/pb_infinite_loop.c:35:[kernel] warning: signed overflow. assert i+1 ≤ 2147483647;
[value] Recording results for test_infinite_loop_2
[value] done for function test_infinite_loop_2
[pdg] computing for function test_infinite_loop_2
tests/pdg/pb_infinite_loop.c:37:[pdg] warning: no final state. Probably unreachable...
[pdg] done for function test_infinite_loop_2
[pdg] PDG for test_infinite_loop_2
 {n1}: InCtrl
 {n2}: VarDecl : i
 {n3}: i = 0;
   -[-c-]-> 1
   -[a--]-> 2
 {n4}: return G;
   -[-c-]-> 1
 {n5}: OutRet
 {n6}: while(1)
   -[-c-]-> 1
   -[-c-]-> 6
 {n7}: block
   -[-c-]-> 1
   -[-c-]-> 6
 {n8}: i % 2
   -[-c-]-> 1
   -[--d]-> 2
   -[--d]-> 3
   -[-c-]-> 6
   -[-c-]-> 7
   -[--d]-> 10
 {n9}: G ++;
   -[-c-]-> 1
   -[-c-]-> 6
   -[-c-]-> 7
   -[-c-]-> 8
   -[--d]-> 9
   -[--d]-> 11
 {n10}: i ++;
   -[-c-]-> 1
   -[a-d]-> 2
   -[--d]-> 3
   -[-c-]-> 6
   -[-c-]-> 7
   -[--d]-> 10
 {n11}: In(G)
