[kernel] Parsing share/libc/__fc_builtin_for_normalization.i (no preprocessing)
[kernel] Parsing tests/misc/cast.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
  X ∈ {{ "NULL" }}
  G ∈ {0}
  H ∈ {0}
  K ∈ {0}
  L ∈ {0}
  i ∈ {0}
  b ∈ {0}
  I ∈ {0}
  c ∈ {0}
  d ∈ {0}
  e ∈ {0}
  uc ∈ {0}
  ud ∈ {0}
  ll ∈ {0}
  gg ∈ {0}
  ull ∈ {0}
  ugg ∈ {0}
tests/misc/cast.i:64:[value] entering loop for the first time
[value] computing for function printf <- main.
        Called from tests/misc/cast.i:67.
tests/misc/cast.i:67:[kernel] warning: Neither code nor specification for function printf, generating default assigns from the prototype
[value] using specification for function printf
[value] Done for function printf
[value] computing for function printf <- main.
        Called from tests/misc/cast.i:67.
[value] Done for function printf
[value] computing for function printf <- main.
        Called from tests/misc/cast.i:67.
[value] Done for function printf
[value] computing for function printf <- main.
        Called from tests/misc/cast.i:67.
[value] Done for function printf
[value] computing for function printf <- main.
        Called from tests/misc/cast.i:69.
[value] Done for function printf
[value] Recording results for main
[value] done for function main
[value] ====== VALUES COMPUTED ======
[value] Values at end of function main:
  min ∈ {130}
  max ∈ {135}
  i_0 ∈ [136..512]
  G_0 ∈ {-126; -125; -124; -123; -122; -121} or UNINITIALIZED
  __retres ∈ {0}
[from] Computing for function main
[from] Computing for function printf <-main
[from] Done for function printf
tests/misc/cast.i:67:[from] warning: variadic call detected. Using only 1 argument(s).
tests/misc/cast.i:69:[from] warning: variadic call detected. Using only 1 argument(s).
[from] Done for function main
[from] ====== DEPENDENCIES COMPUTED ======
       These dependencies hold at termination for the executions that terminate:
[from] Function printf:
  NO EFFECTS
[from] Function main:
  \result FROM \nothing
[from] ====== END OF DEPENDENCIES ======
[inout] Out (internal) for function main:
          min; max; i_0; G_0; __retres
[inout] Inputs for function main:
          \nothing
