3409fdf14f
0 to try and find bugs which depend on them being initalized to 0. Also turn off the other transformations by default (use --dokerneltrace or --donullint) Go get em Chad.
15 lines
714 B
Plaintext
15 lines
714 B
Plaintext
$OpenBSD: patch-src_cilutil_ml,v 1.3 2005/05/27 21:46:23 avsm Exp $
|
|
--- src/cilutil.ml.orig Mon Jan 31 09:56:18 2005
|
|
+++ src/cilutil.ml Fri May 27 09:00:55 2005
|
|
@@ -52,6 +52,10 @@ maintain a separate stack for return add
|
|
let doHeapify = ref false (* move stack-allocated arrays to the heap *)
|
|
let makeCFG = ref false (* turn the input CIL file into something more like
|
|
* a CFG *)
|
|
+let nullInt = ref false (* look for int and NULL comparisons *)
|
|
+let kernelTrace = ref false (* add tracing calls into the kernel *)
|
|
+let randomVars = ref false (* randomize uninitialized variables *)
|
|
+
|
|
let printStats = ref false
|
|
|
|
(* when 'sliceGlobal' is set, then when 'rmtmps' runs, only globals*)
|