openbsd-ports/devel/cil/patches/patch-src_maincil_ml
avsm 3409fdf14f 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 21:46:23 +00:00

14 lines
423 B
Plaintext

$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