Add a 'check_semantic' configuration attribute to the GNATcheck testing driver

Author: HugoGGuerrier

testsuite/drivers/gnatcheck_driver.py

@@ -88,6 +88,8 @@ class GnatcheckDriver(BaseDriver):
           chain in diagnostics concerning generic constructs.
         - ``extra_args`` (list[str]): Extra arguments to pass to GNATcheck.
 
+        - ``check_semantic`` (bool): Whether to add the ``--check-semantic``
+          flag when running GNATcheck.
         - ``rules`` (list[str]): A list of rules with their arguments, in the
           gnatcheck format.  Note that the list can be empty, and people can
           instead decide to pass rules via the project file.
@@ -506,6 +508,10 @@ def run_one_test(test_data: dict[str, any]) -> None:
             for k, v in test_data.get("scenario_variables", {}).items():
                 args.append(f"-X{k}={v}")
 
+            # If required, add the "--check-semantic" flag
+            if test_data.get("check_semantic"):
+                args.append("--check-semantic")
+
             # Add the rule directories
             for rule_dir in test_data.get("rules_dirs", []):
                 args.append(f"--rules-dir={rule_dir}")