Fix segfault on enum on closed properties on Mode::Exhaustive (#415)

Signed-off-by: Juan Cruz Viotti <jv@jviotti.com>

Author: jviotti

src/compiler/default_compiler_draft4.h

@@ -560,7 +560,7 @@ auto compiler_draft4_validation_required(const Context &context,
     ValueStringSet properties_set{json_array_to_string_set(
         schema_context.schema.at(dynamic_context.keyword))};
     if (properties_set.size() == 1) {
-      if (context.mode == Mode::FastValidation && assume_object) {
+      if (assume_object) {
         return {
             make(sourcemeta::blaze::InstructionIndex::AssertionDefinesStrict,
                  context, schema_context, dynamic_context,
@@ -639,7 +639,7 @@ auto compiler_draft4_validation_required(const Context &context,
                    context, schema_context, dynamic_context,
                    std::move(properties_set))};
     }
-  } else if (context.mode == Mode::FastValidation && assume_object) {
+  } else if (assume_object) {
     assert(
         schema_context.schema.at(dynamic_context.keyword).front().is_string());
     return {make(sourcemeta::blaze::InstructionIndex::AssertionDefinesStrict,

test/evaluator/evaluator_draft4_test.cc

@@ -4714,6 +4714,78 @@ TEST(Evaluator_draft4, enum_18) {
       "one of the given declared values");
 }
 
+TEST(Evaluator_draft4, enum_19) {
+  const sourcemeta::core::JSON schema{sourcemeta::core::parse_json(R"JSON({
+    "$schema": "http://json-schema.org/draft-04/schema#",
+    "properties": {
+      "foo": {
+        "type": "object",
+        "required": [ "bar" ],
+        "properties": {
+          "bar": {
+            "enum": [ "baz" ]
+          }
+        }
+      }
+    }
+  })JSON")};
+
+  const sourcemeta::core::JSON instance{sourcemeta::core::parse_json(R"JSON({
+    "foo": "bar"
+  })JSON")};
+
+  EVALUATE_WITH_TRACE_FAST_FAILURE(schema, instance, 1);
+
+  EVALUATE_TRACE_PRE(0, AssertionDefinesStrict, "/properties/foo/required",
+                     "#/properties/foo/required", "/foo");
+  EVALUATE_TRACE_POST_FAILURE(0, AssertionDefinesStrict,
+                              "/properties/foo/required",
+                              "#/properties/foo/required", "/foo");
+
+  EVALUATE_TRACE_POST_DESCRIBE(instance, 0,
+                               "The value was expected to be an object that "
+                               "defines the property \"bar\"");
+}
+
+TEST(Evaluator_draft4, enum_19_exhaustive) {
+  const sourcemeta::core::JSON schema{sourcemeta::core::parse_json(R"JSON({
+    "$schema": "http://json-schema.org/draft-04/schema#",
+    "properties": {
+      "foo": {
+        "type": "object",
+        "required": [ "bar" ],
+        "properties": {
+          "bar": {
+            "enum": [ "baz" ]
+          }
+        }
+      }
+    }
+  })JSON")};
+
+  const sourcemeta::core::JSON instance{sourcemeta::core::parse_json(R"JSON({
+    "foo": "bar"
+  })JSON")};
+
+  EVALUATE_WITH_TRACE_EXHAUSTIVE_FAILURE(schema, instance, 2);
+
+  EVALUATE_TRACE_PRE(0, LogicalAnd, "/properties", "#/properties", "");
+  EVALUATE_TRACE_PRE(1, AssertionDefinesStrict, "/properties/foo/required",
+                     "#/properties/foo/required", "/foo");
+
+  EVALUATE_TRACE_POST_FAILURE(0, AssertionDefinesStrict,
+                              "/properties/foo/required",
+                              "#/properties/foo/required", "/foo");
+  EVALUATE_TRACE_POST_FAILURE(1, LogicalAnd, "/properties", "#/properties", "");
+
+  EVALUATE_TRACE_POST_DESCRIBE(instance, 0,
+                               "The value was expected to be an object that "
+                               "defines the property \"bar\"");
+  EVALUATE_TRACE_POST_DESCRIBE(instance, 1,
+                               "The object value was expected to validate "
+                               "against the single defined property subschema");
+}
+
 TEST(Evaluator_draft4, uniqueItems_1) {
   const sourcemeta::core::JSON schema{sourcemeta::core::parse_json(R"JSON({
     "$schema": "http://json-schema.org/draft-04/schema#",