[kernel] Parsing share/libc/__fc_builtin_for_normalization.i (no preprocessing)
[kernel] Parsing tests/pdg/sets.c (with preprocessing)
[value] Analyzing an incomplete application starting at f
[value] Computing initial state
[value] Initial state computed
[value] Values of globals at initialization
  b ∈ [--..--]
  c ∈ [--..--]
  x ∈ [--..--]
  y ∈ [--..--]
  z ∈ [--..--]
  t ∈ [--..--]
tests/pdg/sets.c:15:[kernel] warning: signed overflow. assert b+y ≤ 2147483647;
[value] Recording results for f
[value] done for function f
[inout] InOut (internal) for function f:
        Operational inputs:
          a
        Operational inputs on termination:
          a
        Sure outputs:
          b; c; x; y; z; t
[pdg] computing for function f
[pdg] done for function f
[pdg] ====== PDG GRAPH COMPUTED ======
[pdg] PDG for f
 {n1}: InCtrl
 {n2}: VarDecl : a
   -[a--]-> 3
 {n3}: In1
   -[a--]-> 2
 {n4}: y = 0;
   -[-c-]-> 1
 {n5}: a
   -[-c-]-> 1
   -[--d]-> 2
   -[--d]-> 3
 {n6}: y = 1;
   -[-c-]-> 1
   -[-c-]-> 5
 {n7}: z = y;
   -[-c-]-> 1
   -[--d]-> 4
   -[--d]-> 6
 {n8}: y ++;
   -[-c-]-> 1
   -[--d]-> 4
   -[--d]-> 6
 {n9}: x = z;
   -[-c-]-> 1
   -[--d]-> 7
 {n10}: b = a;
   -[-c-]-> 1
   -[--d]-> 2
   -[--d]-> 3
 {n11}: t = b + y;
   -[-c-]-> 1
   -[--d]-> 8
   -[--d]-> 10
 {n12}: y = 5;
   -[-c-]-> 1
 {n13}: c = 8;
   -[-c-]-> 1
 {n14}: return;
   -[-c-]-> 1
[kernel] Test [all_uses] stmt1
[kernel] {n9}: x = z;
[kernel] {n7}: z = y;
[kernel] {n11}: t = b + y;
[kernel] {n8}: y ++;
[kernel] Test [find_location_nodes_at_stmt] y@11
[kernel] {n12}: y = 5;
[kernel] Test [all_dpds] y@11
[kernel] {n1}: InCtrl
[kernel] Test [all_uses] y@11
[kernel] Test [all_related_nodes] y@11
[kernel] {n1}: InCtrl
[kernel] {n12}: y = 5;
