open Cil

;;

initCIL ();

let variable = makeGlobalVar "value" intType in

let instructions = ref [] in
for loop = 1 to 25000 do
  let instruction = Set(var variable, integer loop, locUnknown) in
  instructions := instruction :: !instructions
done;

let statement = mkStmt (Instr !instructions) in
dumpStmt defaultCilPrinter stdout 0 statement

open Cil

;;

initCIL ();

let variable = makeGlobalVar "value" intType in

let instructions = ref [] in
for loop = 1 to 25000 do
  let instruction = Set(var variable, integer loop, locUnknown) in
  instructions := instruction :: !instructions
done;

let statement = mkStmt (Instr !instructions) in
let sink = open_out "/dev/null" in
dumpStmt defaultCilPrinter sink 0 statement

Revise the long statement block test to print the block into /dev/null instead of stdout. We don't really want 25,000 lines of C code to appear in the test log once this bug gets fixed.
Revise the long statement block test to print the block into /dev/null
instead of stdout.  We don't really want 25,000 lines of C code to appear
in the test log once this bug gets fixed.
