[kernel] Parsing share/libc/__fc_builtin_for_normalization.i (no preprocessing)
[kernel] Parsing tests/misc/recursion.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
  G ∈ [--..--]
  x ∈ [--..--]
  c ∈ [--..--]
  s ∈ [--..--]
  pg ∈ {{ NULL ; &S_pg[0] }}
  S_pg[0..1] ∈ [--..--]
[value] computing for function ff <- main.
        Called from tests/misc/recursion.i:67.
tests/misc/recursion.i:8:[value] warning: detected recursive call (ff <- ff :: tests/misc/recursion.i:67 <- main)
                 Use -val-ignore-recursive-calls to ignore (beware this will make the analysis
                 unsound)
[value] user error: Degeneration occurred:
                    results are not correct for lines of code that can be reached from the degeneration point.
[value] ====== VALUES COMPUTED ======
[value] Values at end of function ff:
  NON TERMINATING FUNCTION
[value] Values at end of function main:
  NON TERMINATING FUNCTION
