openbsd-ports/devel/cil/patches/patch-src_maincil_ml

$OpenBSD: patch-src_maincil_ml,v 1.4 2005/05/27 21:46:23 avsm Exp $
--- src/maincil.ml.orig	Mon Jan 31 09:56:18 2005
+++ src/maincil.ml	Fri May 27 08:59:51 2005
@@ -104,6 +104,9 @@ let features : C.featureDescr list = 
     Partial.feature;
     Simplemem.feature;
     Simplify.feature;
+    Nullint.feature;
+    Kerneltrace.feature;
+    Randomvars.feature;
     Dataslicing.feature;
   ] 
   @ Feature_config.features
Add in a --dorandomvars which sets local variables to values other than 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. 2005-05-27 17:46:23 -04:00			$OpenBSD: patch-src_maincil_ml,v 1.4 2005/05/27 21:46:23 avsm Exp $
update to cil-1.3.2 2005-05-09 09:52:38 -04:00			`--- src/maincil.ml.orig Mon Jan 31 09:56:18 2005`
Add in a --dorandomvars which sets local variables to values other than 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. 2005-05-27 17:46:23 -04:00			`+++ src/maincil.ml Fri May 27 08:59:51 2005`
			`@@ -104,6 +104,9 @@ let features : C.featureDescr list =`
add a simple NULL/int comparison checker to CIL 2004-06-21 14:53:12 -04:00			`Partial.feature;`
			`Simplemem.feature;`
			`Simplify.feature;`
			`+ Nullint.feature;`
Add a 'kernel function call tracer' to automatically insert a call to log() to certain functions in the kernel to help debugging. An example use when building a kernel would be: $ make CC='/usr/local/bin/cilly --trace-regexp=^cache_ --trace-level=0' to instrument all functions starting with cache_* to notify syslog at emergency log level. The output also includes the contents of any char/int/long arguments (pointers and structs not followed yet, too verbose). A full kernel build doesnt quite work with CIL yet so use selectively. 2005-05-27 02:31:52 -04:00			`+ Kerneltrace.feature;`
Add in a --dorandomvars which sets local variables to values other than 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. 2005-05-27 17:46:23 -04:00			`+ Randomvars.feature;`
update to cil-1.3.2 2005-05-09 09:52:38 -04:00			`Dataslicing.feature;`
add a simple NULL/int comparison checker to CIL 2004-06-21 14:53:12 -04:00			`]`
			`@ Feature_config.features`