The service is now part of the updated ECLAIR runner, therefore
redefining will result in an error.
No functional change.
Signed-off-by: Nicola Vetrini <nicola.vetr...@bugseng.com>
---
To be applied after updating the ECLAIR runners
---
automation/eclair_analysis/ECLAIR/B.UNEVALEFF.ecl | 10 ----------
automation/eclair_analysis/ECLAIR/analysis.ecl | 1 -
2 files changed, 11 deletions(-)
delete mode 100644 automation/eclair_analysis/ECLAIR/B.UNEVALEFF.ecl
diff --git a/automation/eclair_analysis/ECLAIR/B.UNEVALEFF.ecl
b/automation/eclair_analysis/ECLAIR/B.UNEVALEFF.ecl
deleted file mode 100644
index fa249b8e3625..000000000000
--- a/automation/eclair_analysis/ECLAIR/B.UNEVALEFF.ecl
+++ /dev/null
@@ -1,10 +0,0 @@
--clone_service=MC3A2.R13.6,B.UNEVALEFF
-
--config=B.UNEVALEFF,summary="The operand of the `alignof' and `typeof'
operators shall not contain any expression which has potential side effects"
--config=B.UNEVALEFF,stmt_child_matcher=
-{"stmt(node(utrait_expr)&&operator(alignof))", expr, 0, "stmt(any())", {}},
-{"stmt(node(utrait_type)&&operator(alignof))", type, 0, "stmt(any())", {}},
-{"stmt(node(utrait_expr)&&operator(preferred_alignof))", expr, 0,
"stmt(any())", {}},
-{"stmt(node(utrait_type)&&operator(preferred_alignof))", type, 0,
"stmt(any())", {}},
-{"type(node(typeof_expr))", expr, 0, "stmt(any())", {}},
-{"type(node(typeof_type))", type, 0, "stmt(any())", {}}
diff --git a/automation/eclair_analysis/ECLAIR/analysis.ecl
b/automation/eclair_analysis/ECLAIR/analysis.ecl
index 29409a9af0eb..399099938f45 100644
--- a/automation/eclair_analysis/ECLAIR/analysis.ecl
+++ b/automation/eclair_analysis/ECLAIR/analysis.ecl
@@ -50,7 +50,6 @@ their Standard Library equivalents."
-eval_file=adopted.ecl
-eval_file=out_of_scope.ecl
--eval_file=B.UNEVALEFF.ecl
-eval_file=deviations.ecl
-eval_file=call_properties.ecl
-eval_file=tagging.ecl
--
2.43.0
