From d7db5317bc4624184fccd816cbacfce3f75cbd27 Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Sat, 11 Jul 2009 13:37:24 +0100 Subject: [PATCH 1/1] Add comment to the code about InitNone and InitEmpty. These two constructors are treated as identical, but they should be distinct concepts. --- src/generator.ml | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/src/generator.ml b/src/generator.ml index a2b40b8..b7fe470 100755 --- a/src/generator.ml +++ b/src/generator.ml @@ -4643,7 +4643,11 @@ static int %s (void) and generate_one_test_body name i test_name init test = (match init with - | InitNone + | InitNone (* XXX at some point, InitNone and InitEmpty became + * folded together as the same thing. Really we should + * make InitNone do nothing at all, but the tests may + * need to be checked to make sure this is OK. + *) | InitEmpty -> pr " /* InitNone|InitEmpty for %s */\n" test_name; List.iter (generate_test_command_call test_name) -- 1.8.3.1