From: Nicola Vetrini Date: Thu, 10 Apr 2025 19:32:14 +0000 (+0200) Subject: automation/eclair: Remove bespoke service B.UNEVALEFF X-Git-Url: http://xenbits.xensource.com/gitweb?a=commitdiff_plain;h=c413eff3c5cb11f489d66612b6c7acf93754ae88;p=xen.git automation/eclair: Remove bespoke service B.UNEVALEFF The Eclair runners in GitlabCI have been update. This service is now included, and redefining results in an error. No functional change. Signed-off-by: Nicola Vetrini Acked-by: Andrew Cooper (cherry picked from commit a43b0a770bdcf3933634c860049e4bd65854e472) --- diff --git a/automation/eclair_analysis/ECLAIR/B.UNEVALEFF.ecl b/automation/eclair_analysis/ECLAIR/B.UNEVALEFF.ecl deleted file mode 100644 index fa249b8e36..0000000000 --- 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 824283a989..8326156b38 100644 --- a/automation/eclair_analysis/ECLAIR/analysis.ecl +++ b/automation/eclair_analysis/ECLAIR/analysis.ecl @@ -52,7 +52,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