mirror of
https://github.com/xen-project/xen.git
synced 2026-10-29 18:50:05 +01:00
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 <nicola.vetrini@bugseng.com>
Acked-by: Andrew Cooper <andrew.cooper3@citrix.com>
(cherry picked from commit a43b0a770b)
This commit is contained in:
1 parent
f3362182e0
commit
cfea30c008
2 files changed
-11
No files matched your search
@@ -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())", {}}
|
||||
@@ -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
|
||||
|
||||