From 4e376852e709844d67f94430d9dc954d5be722b4 Mon Sep 17 00:00:00 2001 From: Roy Frostig Date: Thu, 12 Aug 2010 16:21:08 -0700 Subject: Fix max_sz bug that ended up causing us to index incorrectly into a vec of tag types. Add a testcase. --- src/boot/util/common.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/boot/util') diff --git a/src/boot/util/common.ml b/src/boot/util/common.ml index 58caf78d..7b0f7848 100644 --- a/src/boot/util/common.ml +++ b/src/boot/util/common.ml @@ -686,7 +686,7 @@ let rec max_sz (a:size) (b:size) : size = | (SIZE_rt_max (b, c), a) when a = c -> max_sz a b | (SIZE_fixed a, SIZE_fixed b) -> SIZE_fixed (i64_max a b) | (SIZE_fixed 0L, b) when no_negs b -> b - | (a, SIZE_fixed 0L) when no_negs a -> b + | (a, SIZE_fixed 0L) when no_negs a -> a | (a, SIZE_fixed b) -> max_sz (SIZE_fixed b) a | (a, b) when a = b -> a | (a, b) -> SIZE_rt_max (a, b) -- cgit v1.2.3