remove more deviations

Signed-off-by: Anas Nashif <anas.nashif@intel.com>

Author: nashif

cmake/sca/eclair/ECL/deviations.ecl

@@ -363,63 +363,6 @@ unexpected result when the structure is given as argument to a sizeof() operator
 -config=MC3A2.R18.7,reports+={deliberate, "any()"}
 -doc_end
 
-#
-# Series 20.
-#
-
--doc_begin="Code violating Rule 20.7 is safe when macro parameters are used: (1)
-as function arguments; (2) as macro arguments; (3) as array indices; (4) as lhs
-in assignments; (5) as initializers, possibly designated, in initializer lists;
-(6) as the constant expression in a switch clause label."
--config=MC3A2.R20.7,expansion_context=
-{safe, "context(__call_expr_arg_contexts)"},
-{safe, "left_right(^[(,\\[]$,^[),\\]]$)"},
-{safe, "context(skip(parent(__expr_non_syntactic_contexts), is(subscript)&&parent(node(array_subscript_expr))))"},
-{safe, "context(skip(parent(__expr_non_syntactic_contexts), is(lhs)&&parent(stmt(operator(assign)))))"},
-{safe, "context(skip(parent(__expr_non_syntactic_contexts), is(init)&&parent(node(init_list_expr||designated_init_expr))))"},
-{safe, "context(skip(parent(__expr_non_syntactic_contexts), is(lower||upper)&&parent(node(case_stmt))))"}
--doc_end
-
--doc_begin="Violations involving the __config_enabled macros cannot be fixed without
-breaking the macro's logic; furthermore, the macro is only ever used in the context
-of the IS_ENABLED or STATIC_IF/STATIC_IF_NOT macros, so it always receives a literal
-0 or 1 as input, posing no risk to safety."
--config=MC3A2.R20.7,reports+={safe, "any_area(any_loc(any_exp(macro(^___config_enabled$))))"}
--doc_end
-
--doc_begin="To avoid compromising readability, the macros alternative_(v)?call[0-9] are allowed
-not to parenthesize their arguments."
--config=MC3A2.R20.7,reports+={safe, "any_area(any_loc(any_exp(macro(^alternative_(v)?call[0-9]$))))"}
--doc_end
-
--doc_begin="The argument 'x' of the count_args_ macro can't be parenthesized as
-the rule would require, without breaking the functionality of the macro. The uses
-of this macro do not lead to developer confusion, and can thus be deviated."
--config=MC3A2.R20.7,reports+={safe, "any_area(any_loc(any_exp(macro(^count_args_$))))"}
--doc_end
-
--doc_begin="The argument \"fn\" in macros {COMPILE,RUNTIME}_CHECK is not parenthesized
-on purpose, to be able to test function-like macros. Given the specialized and limited
-use of this macro, it is deemed ok to deviate them."
--config=MC3A2.R20.7,reports+={deliberate, "any_area(any_loc(any_exp(macro(^(COMPILE_CHECK|RUNTIME_CHECK)$))))"}
--doc_end
-
--doc_begin="Problems related to operator precedence can not occur if the expansion of the macro argument is surrounded by tokens '{', '}' and ';'."
--config=MC3A2.R20.7,expansion_context+={safe, "left_right(^[\\{;]$,^[;\\}]$)"}
--doc_end
-
--doc_begin="Uses of variadic macros that have one of their arguments defined as
-a macro and used within the body for both ordinary parameter expansion and as an
-operand to the # or ## operators have a behavior that is well-understood and
-deliberate."
--config=MC3A2.R20.12,macros+={deliberate, "variadic()"}
--doc_end
-
--doc_begin="Uses of a macro parameter for ordinary expansion and as an operand
-to the # or ## operators within the following macros are deliberate, to provide
-useful diagnostic messages to the user."
--config=MC3A2.R20.12,macros+={deliberate, "name(__ASSERT||__ASSERT_NO_MSG||BUILD_ASSERT)"}
--doc_end
 
 #
 # Series 21.