From 55e3d5002b7ace5783e4a21d6a5e45c125451aa1 Mon Sep 17 00:00:00 2001 From: Gordon Henriksen Date: Thu, 20 Sep 2007 16:47:41 +0000 Subject: Incorporating review feedback for GC verifier patch. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@42163 91177308-0d34-0410-b5e6-96231b3b80d8 --- test/Bindings/Ocaml/vmcore.ml | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) (limited to 'test/Bindings') diff --git a/test/Bindings/Ocaml/vmcore.ml b/test/Bindings/Ocaml/vmcore.ml index ef274a8..6d04638 100644 --- a/test/Bindings/Ocaml/vmcore.ml +++ b/test/Bindings/Ocaml/vmcore.ml @@ -155,14 +155,17 @@ let test_constants () = (* RUN: grep {Const04.*"cruel\\\\00world"} < %t.ll *) group "string"; - let c = make_string_constant "cruel\x00world" false in + let c = make_string_constant "cruel\000world" false in ignore (define_global "Const04" c m); insist ((make_array_type i8_type 11) = type_of c); (* RUN: grep {Const05.*"hi\\\\00again\\\\00"} < %t.ll *) group "string w/ null"; - let c = make_string_constant "hi\x00again" true in + let c = make_string_constant "hi\000again" true in + prerr_string "====> "; + prerr_int (array_length (type_of c)); + prerr_endline " <===="; ignore (define_global "Const05" c m); insist ((make_array_type i8_type 9) = type_of c); -- cgit v1.1