€¦ · web viewconfiguration. global settings. cache_dir. as configured, eclair will: set...

Analysis Report for Project

qpc_4.5.02a_MC2_full

2019-09-16 13:12:40.748

SummaryOverall Information ....................................................................................................................................................... 6Configuration ................................................................................................................................................................ 7

Global Settings ................................................................................................................................................... 7Service B.CBS: Hide reports using ECLAIR style suppression comments ..................................................... 16Service B.EXPLAIN: Explain used configuration ............................................................................................. 16Service B.PARSER: The code shall be parsable without errors by the ECLAIR parser. If the code is parsed with errors the AST is incomplete and the results of ECLAIR analyses are likely to be incorrect ........................... 16Service B.REPORT.ECB: Output reports in ECB format ................................................................................. 16Service B.REPORT.ERR: Output B.PARSER error reports in plain text to standard error .............................. 17Service MC2.1.1: Reports code that does not conform to the C90 standard .................................................. 17Service MC2.1.2: Reports code that depends on any undefined or unspecified behavior as given by the C90 standard Annex G ............................................................................................................................................ 18Service MC2.1.3: If more than one compiler and/or language is used to compile and link the source files, then there must be a common defined interface standard for object code to which these languages/compilers/assemblers conform ....................................................................................................... 18Service MC2.1.4: Reports any compiler/linkers used by the project that do not support 31 character significance and case sensitivity for external identifiers ...................................................................................................... 18Service MC2.1.5: If floating-point types are used, then the floating-point standard used by the implementation must be documented ........................................................................................................................................ 19Service MC2.2.1: Assembly language instructions must be encapsulated in assembler functions, in C functions that contain no other C code or in macros ....................................................................................................... 19Service MC2.2.2: Reports any comments not using the `/* ... */' style ............................................................ 19Service MC2.2.3: Reports any use of the character sequence `/*' inside a comment ..................................... 19Service MC2.2.4: Reports sections of code that are commented out .............................................................. 19Service MC2.3.1: Any use of code that has implementation-defined behavior defined by Annex G.3 in the C90 standard, that is not specifically addressed by other MISRA rules, must be documented .............................. 20Service MC2.3.2: The source and execution character sets and the corresponding encoding must be documented ...................................................................................................................................................... 20Service MC2.3.3: If integer division is used, its expected direction of rounding in the chosen compiler must be documented ...................................................................................................................................................... 20Service MC2.3.4: Checks that each `#pragma' directive is documented ........................................................ 21Service MC2.3.5: If there is a reference to a `class', `struct' or ùnion' that contains a bit-field then the implementation-defined behaviour and packing of bit-fields must be documented ......................................... 21Service MC2.3.6: Any libraries such as the standard libraries, third-party libraries or libraries designed in-house and used by the project must be written to be MISRA-compliant and subject to appropriate validation ......... 21Service MC2.4.1: Reports any escape sequences that are not defined in the C90 standard ......................... 21Service MC2.4.2: Reports any trigraphs .......................................................................................................... 22Service MC2.5.1: Identifiers (including macro names) must differ in their first 31 characters both before and after any macro expansion ....................................................................................................................................... 22Service MC2.5.2: No identifier may use the same name as (and hence hide) an identifier in an outer scope 22Service MC2.5.3: A typedef name must not be used for any other entity ........................................................ 22Service MC2.5.4: A tag name must not be used for any other entity ............................................................... 23Service MC2.5.5: Any identifier of a variable or function with static storage duration must not be reused by any other any other entity anywhere ....................................................................................................................... 23Service MC2.5.6: Reports if an identifier in one namespace has the same name as another identifier in another namespace unless both of them are for `struct' or ùnion' members ............................................................... 23Service MC2.5.7: No entity may use the same identifier name as any other entity except when all the entities with the same name have the same declaration in a header file and that file is included in multiple source files .......................................................................................................................................................................... 24Service MC2.6.1: A variable with plain `char' type must not be used for numeric values ................................ 24Service MC2.6.2: Variables with ùnsigned' or `signed' `char' type must not be used for non-numeric values 25Service MC2.6.3: Reports any direct use of signed and unsigned variants of `char', ìnt', `short', `long', `long long', `float', `double' or `long double' and any typedef name for any of these variants that does not indicate the size and signedness ......................................................................................................................................... 25Service MC2.6.4: Bitfields must be explicitly defined as `signed' ìnt' or ùnsigned' ìnt' ................................. 25Service MC2.6.5: Bitfields (even if unnamed) whose type is `signed' must have a length greater than 1 bit . 25Service MC2.7.1: There must be no occurrence of an octal constant or an octal escape sequence .............. 26Service MC2.8.1: A function must have a prototype declaration visible to its definiton and before any reference to it ........................................................................................................................................................................ 26Service MC2.8.2: In the declarations for variables, functions and typedefs the types must be explicitly stated 26

Service MC2.8.3: The types of the corresponding parameters or return value in the prototype declarations and/or definition of a function must be identical (types that are identical use the same `typedef' names, the same desugared type and have the same qualifiers) ................................................................................................ 26Service MC2.8.4: Reports if multiple declarations or definition of the same variable or function have incompatible types ................................................................................................................................................................. 27Service MC2.8.5: Reports any variable or function definition in a header file ................................................. 27Service MC2.8.6: Reports functions declared at block scope ......................................................................... 27Service MC2.8.7: Reports any referenced variable that is global or has file scope and for which all references are in the same function ......................................................................................................................................... 27Service MC2.8.8: Any variable or function with external linkage must be declared at most once in a header file .......................................................................................................................................................................... 28Service MC2.8.9: Reports a variable or function with external linkage that is undefined or has more than one definition ........................................................................................................................................................... 28Service MC2.8.10: All declarations and definitions of variables or functions at file scope must have internal linkage unless external linkage is required ...................................................................................................... 28Service MC2.8.11: Any variable or function declaration or definition with internal linkage must include the storage class specifier `static' ....................................................................................................................................... 29Service MC2.8.12: Any array declaration with external linkage must be initialized or the size must be explicitly stated ................................................................................................................................................................ 29Service MC2.9.1: All automatic variables must have a value written to them before being read .................... 29Service MC2.9.2: All non-zero initialization of arrays or structures must use braces that match their structure 29Service MC2.9.3: Each enumeration initializer must initialise none, just the first or all the enumeration constants .......................................................................................................................................................................... 30Service MC2.10.1: Reports if the value of an expression with integer type is implicitly converted to a different underlying type and one of the following holds: 1. the conversion is not to a wider integer type of the same signedness; 2. the expression is complex; 3. the expression is not constant and is a function argument; 4. the expression is not constant and is a return expression ..................................................................................... 30Service MC2.10.2: Reports the value of an expression with floating-point type that is implicitly converted to a different type and one of the following holds: 1. the conversion is not to a wider floating-point type; 2. the expression is complex; 3. the expression is a function argument; 4. the expression is a return expression . . 30Service MC2.10.3: The value of a complex expression of integer type must not be cast to a type that: 1. is wider than the underlying type of the expression, or 2. has a different signedness to that of the underlying type of the expression ........................................................................................................................................................ 31Service MC2.10.4: The value of a complex expression of floating-point type must not be cast to a wider floating-point type .......................................................................................................................................................... 31Service MC2.10.5: If an operand of `<<' or `~' has underlying type ùnsigned' `char' or `short', then the result must be immediately cast to the underlying type of the operand ..................................................................... 31Service MC2.10.6: Any integer constant whose magnitude is such that it is intrinsically unsigned must have a Ù' or ù' suffix ........................................................................................................................................................ 31Service MC2.11.1: A function pointer must only be converted: 1. to or from an integer type; or 2. from a null pointer constant that was explicitly cast to `void*' ............................................................................................ 32Service MC2.11.2: A pointer to a non-function may only be converted to or from: 1. an integral type, or 2. another pointer to object type, or 3. a pointer to void .................................................................................................... 32Service MC2.11.3: A pointer type must not be cast to an integer type and an integer type must not be cast to a pointer type ....................................................................................................................................................... 32Service MC2.11.4: A pointer to non-function, non-void type must not be cast to a pointer to a different non-function, non-void type (the canonical form and ignoring any qualifications) .................................................. 32Service MC2.11.5: A pointer to a type with a `const' or `volatile' qualifier must not be cast to a pointer to type without the qualifier .......................................................................................................................................... 33Service MC2.12.1: Parentheses must be used in expressions to indicate the expected operator precedence 33Service MC2.12.2: The value of an expression must not depend on the unspecified order of evaluation defined in the C90 standard .............................................................................................................................................. 33Service MC2.12.3: If a `sizeof' operator is applied to an expression, then that expression must be a (possibly volatile) object .................................................................................................................................................. 33Service MC2.12.4: Reports if the right-hand operand of a logical `&&' or `||' operator contains side effects . . 34Service MC2.12.5: An operand of a logical `&&' or `||' operator must be either: 1. a primary expression (i.e., a single identifier, constant or parenthesized expression); or 2. a binary logical expression with the same operator .......................................................................................................................................................................... 34Service MC2.12.6: Numeric and Boolean expressions should be placed in appropriate contexts ................. 34Service MC2.12.6L: Numeric and Boolean expressions should be placed in appropriate contexts ............... 35Service MC2.12.7: Reports any the bitwise operators: `~', `<<', `<<=', `>>', `>>=', `&', `&=', `^', `^=', `|' and `|=' that are applied to operands whose underlying type is signed ............................................................................... 35Service MC2.12.8: The value of the right-hand operand of a shift operator must lie between zero and one less than the width in bits of the underlying type of the left-hand operand ............................................................. 35

Service MC2.12.9: Reports a unary minus operator that is applied to an expression whose underlying type is unsigned ........................................................................................................................................................... 35Service MC2.12.10: Reports any use of the comma operator ......................................................................... 36Service MC2.12.11: Any constant unsigned integer expression that leads to wrap-around may only occur within the context of an explicit cast ........................................................................................................................... 36Service MC2.12.12: There must be no access to an object of floating-point type via a ùnion' or via a pointer to a memory area where an object of floating-point type may be stored ................................................................ 36Service MC2.12.13: The increment or decrement operator must not be used when there is another side-effect in the same statement or if the result is used within that expression .................................................................. 36Service MC2.13.1: In the object sources, reports an assignment operator that is used as an operand of a logical operator or as the condition part of a selection or iteration statement ............................................................. 37Service MC2.13.2: Any expression that does not have an effectively Boolean type must not used in a Boolean context .............................................................................................................................................................. 37Service MC2.13.3: Reports any floating-point expressions that are tested for equality or inequality .............. 37Service MC2.13.4: Any variable, call expression, array subscript expression, member expression, complex expression or dereference expression with floating point type must not be used in the controlling part of a `for' statement .......................................................................................................................................................... 37Service MC2.13.5: Reports `for' statement loops that cannot be proved to have a finite number of iterations 38Service MC2.13.5L: Reports `for' statement loops that cannot be proved to have a finite number of iterations 38Service MC2.13.6: A `for' statement loop counter must not be modified in the loop body .............................. 38Service MC2.13.7: A Boolean expression must not always have the same value .......................................... 38Service MC2.14.1: Reports any unreachable code ......................................................................................... 39Service MC2.14.2: Reports any expression whose value is ignored and has no side-effects ........................ 39Service MC2.14.3: Reports a null statement that is not on a line by itself ....................................................... 39Service MC2.14.4: Reports any `goto' statement (indirect or direct) ............................................................... 39Service MC2.14.5: Reports any `continue' statement ...................................................................................... 40Service MC2.14.6: Reports if there is more than one `break' statement that may terminate a `do', `for', or `while' statement .......................................................................................................................................................... 40Service MC2.14.7: Reports any `return' statement that is not the last statement in a function ....................... 40Service MC2.14.8: Reports any `switch', `do', `for', or `while' statement that does not have its body enclosed in braces ............................................................................................................................................................... 41Service MC2.14.9: In an ìf' statement: 1. the condition part must be immediately followed by a compound statement; 2. any èlse' keyword must be followed by another ìf' statement or by a compound statement ... 41Service MC2.14.10: Any ìf' statement with èlse if' clauses must have the final èlse if' followed by an èlse' clause or a comment ........................................................................................................................................ 41Service MC2.15.0: A switch statement must be as defined in the normative text in Section 6.15 of MISRA C:2004 that is not covered by the MISRA Rules 15.1, 15,2, 15.3, 15.4 and 15.5 ........................................................ 41Service MC2.15.1: The scope of any `case' or `default' label must be the compound statement that forms the body of a `switch' .............................................................................................................................................. 42Service MC2.15.2: A `case' or `default' clause must either end with a `break' statement or the clause must be a compound statement whose last statement is a `break' statement ................................................................. 42Service MC2.15.3: Any `switch' statement must end with the `default' clause ................................................ 42Service MC2.15.4: The value of any `switch' expression must not have essentially Boolean type ................. 42Service MC2.15.5: Reports any `switch' statement that does not have a `case' label .................................... 43Service MC2.16.1: Functions must not be defined with ellipsis and there must be no use of standard library functions or macros with a variable number of arguments .............................................................................. 43Service MC2.16.2: No function definition may call itself directly or indirectly via a chain of function calls ...... 43Service MC2.16.3: Checks that each parameter declaration in a function prototype declaration has an identifier .......................................................................................................................................................................... 43Service MC2.16.4: Parameter declarations that are in matching positions in two declarations or definitions for the same function must have the same identifiers ................................................................................................. 44Service MC2.16.5: All function declarations must have non-empty parameter lists ........................................ 44Service MC2.16.6: Any call to a function must have an explicit protoype declaration, and the number of arguments passed to the function must match the number of parameters in the prototype ............................ 44Service MC2.16.7: Any pointer parameter in a function prototype that is not used to modify the addressed object must be declared as pointer to `const' ............................................................................................................. 44Service MC2.16.8: Any non-void function definition must not have: 1. a return statement with an empty expression; 2. any exit path that does not terminate with a return statement ................................................. 45Service MC2.16.9: A function identifier must be preceded by `&' or followed by, a possibly empty, parenthesized list of call arguments ........................................................................................................................................ 45Service MC2.16.10: If a function returns a value that contains some error information, then the value of a call to that function must not be cast to `void' and any error information must be checked ....................................... 45Service MC2.17.1: If an integer is added to or subtracted from a pointer, then that pointer must point to an array or an array element .......................................................................................................................................... 46

Service MC2.17.2: If one pointer is subtracted from another pointer, then both pointers must point to elements in the same array ................................................................................................................................................. 46Service MC2.17.3: If any of the operators `>', `>=', `<', `<=' are used to compare the values of pointers then both operands must point to elements in the same array ........................................................................................ 46Service MC2.17.4: There must be no pointer arithmetic except for array indexing where the indexed object is explicitly declared to have an array type .......................................................................................................... 46Service MC2.17.5: Reports if the declared type of an object has more than 2 levels of pointer indirection .... 47Service MC2.17.6: An object with automatic storage must not have its address: 1. assigned to another automatic object of larger scope; or 2. assigned to a static object; or 3. returned by a function ...................................... 47Service MC2.18.1: Reports any structure or union declaration with incomplete type that is referenced in a translation unit .................................................................................................................................................. 47Service MC2.18.2: Reports if an object may be assigned to an overlapping object ........................................ 47Service MC2.18.3: There must be documentation that states if and how an area of memory may be reused for unrelated data .................................................................................................................................................. 48Service MC2.18.4: There must be no ùnion' declaration, no declaration whose type is a ùnion', or any use of a ùnion' type ....................................................................................................................................................... 48Service MC2.19.1: Reports if an `#include' directive is preceded by any code apart from other preprocessor directives or comments .................................................................................................................................... 48Service MC2.19.2: The characters `'', `\', `"', or `/*' must not be used between `<' and `>' delimiters and the characters `'', `\' or `/*' must not be used between `"' delimiters in a header name preprocessing token ....... 49Service MC2.19.3: Reports any `#include' directive that is not followed by a filename delimited by `<'`>' or double quotes ............................................................................................................................................................... 49Service MC2.19.4: A macro body must not have unbalanced brackets and may only expand to one of the following: a braced initialiser, a constant, a string literal, a parenthesized expression, a type qualifier, a storage class specifier, or a do-while-zero loop idiom .................................................................................................. 49Service MC2.19.5: The `#define' or `#undef' directive must never occur inside a block ................................. 49Service MC2.19.6: Reports any use of the `#undef' directive .......................................................................... 50Service MC2.19.7: An invocation of a function-like macro should not be replaceable by a function call ........ 50Service MC2.19.8: Any call to a function-like macro must have the same number of arguments as the number of parameters in the macro's definition and all its arguments must be non-empty .............................................. 50Service MC2.19.9: No argument to a call to a function-like macro may be a single `#' or contain a `#' followed by a directive name (other than as part of a comment, character literal or string literal) ...................................... 50Service MC2.19.10: Any occurrence of a macro parameter in the macro's body must be enclosed in parentheses unless it is: 1. an operand for the `#' or `##' operators; 2. (possibly indirectly) the identifier for a field reference 51Service MC2.19.11: No undefined macro may be used unless it is the argument to an `#ifdef' or `#ifndef' directive or the `defined()' operator ................................................................................................................................ 51Service MC2.19.12: Reports any macro body that contains more than one occurrence of the `#' or `##' operators .......................................................................................................................................................................... 51Service MC2.19.13: Reports any use of the `#' and `##' preprocessor operators ........................................... 52Service MC2.19.14: The `defined' operator must be used in the form `defined(Macro_Id)' or `defined Macro_Id' .......................................................................................................................................................................... 52Service MC2.19.15: Any file that is the subject of an `#include' directive must have a mechanism to avoid the file being included more than once ........................................................................................................................ 52Service MC2.19.16: Reports errors in the preprocessing directives even when excluded by conditional compilation ....................................................................................................................................................... 52Service MC2.19.17: No preprocessor conditional constructs may span multiple files .................................... 53Service MC2.20.1: No `#define' or `#undef' directive may be used on a reserved identifier, macro or function in the standard library or keyword ........................................................................................................................ 53Service MC2.20.2: No declaration may use a reserved identifier, macro or function in the standard library . . 53Service MC2.20.3: There must be appropriate checks of values passed to standard libraries that have restricted input domains ................................................................................................................................................... 53Service MC2.20.4: No standard function related to heap manipulation and dynamic memory allocation and deallocation may be used ................................................................................................................................ 54Service MC2.20.5: Reports any use of the standard library error indicators ................................................... 54Service MC2.20.6: Reports any use of the standard library macro òffsetof' .................................................. 54Service MC2.20.7: Reports any use of the standard library macro `setjmp' and function `longjmp' ............... 54Service MC2.20.8: Reports the inclusion of the standard library header `signal.h' and any use of its macros or functions ........................................................................................................................................................... 54Service MC2.20.9: Reports the inclusion of the standard library header `stdio.h' and any use of its macros or functions ........................................................................................................................................................... 55Service MC2.20.10: Reports any use of the standard library functions àtof', àtoi' and àtol' provided by `stdlib.h' .......................................................................................................................................................................... 55Service MC2.20.11: Reports any use of the standard library functions àbort', èxit', `getenv' and `system' provided by `stdlib.h' ........................................................................................................................................ 55

Service MC2.20.12: Reports the inclusion of the standard library headers `time.h' and `wcsftime.h' and any use of its functions, members, structs or types provided by `time.h' or the function `wcsftime' provided by `wchar.h' .......................................................................................................................................................................... 56Service MC2.21.1: Reports if possible runtime unexpected behavior is not documented ............................... 56

Enabled Services ....................................................................................................................................................... 58Analysis Frames ........................................................................................................................................................ 67Analysis Files ........................................................................................................................................................... 113Report counts by service and first file ...................................................................................................................... 116

Overall InformationProject name qpc_4.5.02a_MC2_fullTop directory /tmp/qpc_4.5.02a/

Number of enabled servicesKind Count

parser 1report 3rule 142tool 1

Number of analysis framesKind Count

CLEAN 1OBJECT 3UNIT 45PROGRAM 1PROJECT 1COMMAND 56END 2

Number of analysis filesKind Count

source 74object 48ecl 2

Number of reports(from 49 of 147 enabled services)

Kind Countcaution 54information 115violation 837

ConfigurationGlobal Settings

1.1. cache_dir1.1.1. As configured, ECLAIR will:1.1.1.1. Set `/tmp/eclair_workspace/cache' to be the directory for toolchain information.

1.2. comment_selector1.2.1. As configured, ECLAIR will:1.2.1.1. Define `__doxygen_comments' as a matcher for a comment that matches regex `^(?ms)/(\*(\*|!)|/(/|!)).*$'.

1.3. compile1.3.1. As configured, ECLAIR will:1.3.1.1. Use the original source as input to the intercepted compiler.

1.4. context_selector1.4.1. As configured, ECLAIR will:1.4.1.1. Define `__stmt_expr_cond_contexts' as a matcher for any condition of statement or expression.1.4.1.2. Define `__expr_contexts' as a matcher for any children of expression.1.4.1.3. Define `__expr_non_syntactic_contexts' as a matcher for a child of a statement that satisfies !$A && $B:1.4.1.3.1. $A matches a syntactic AST node.1.4.1.3.2. $B matches an expression.1.4.1.4. Define `__expr_non_syntactic_or_paren_contexts' as a matcher for a node chain that satisfies $A || `__expr_non_syntactic_contexts':1.4.1.4.1. $A matches a child of a parenthesized expression.1.4.1.5. Define `__landlor_rhs_capture_contexts' as a matcher for a node chain saved for later use that is a right operand of a `&&' logical AND operator or a `||' logical OR operator.1.4.1.6. Define `__sizeof_capture_contexts' as a matcher for a node chain saved for later use that is a child of a `sizeof' operator.1.4.1.7. Define `__static_assert_decl_cond_contexts' as a matcher for a condition of a static_assert.1.4.1.8. Define `__any_boolean_contexts' as a matcher for a node chain matching `__expr_contexts' (nested 0 or more times) chained to a node chain saved for later use that is a node chain that satisfies $@-1 || `__stmt_expr_cond_contexts' || `__static_assert_decl_cond_contexts':1.4.1.8.1. $@-1 matches a child of a logical operator, a relational operator or an equality or inequality operator.1.4.1.9. Define `__funuses_contexts' as a matcher for a node chain that satisfies $A || $B (nested 0 or more times) chained to a node chain that satisfies !$B || $C:1.4.1.9.1. $A matches a node chain matching `__expr_non_syntactic_contexts' that is not a sub-expression of an implicit cast.1.4.1.9.2. $B matches a sub-expression of a parenthesized expression.1.4.1.9.3. $B matches a sub-expression of `function_to_pointer_decay' cast.1.4.1.9.4. $C matches a sub-expression of `function_to_pointer_decay' cast chained to a node chain that satisfies $D || (!$E && $F).1.4.1.9.5. $D matches any first argument, functor or other argument of expression.1.4.1.9.6. $E matches an argument of a call that satisfies $G && $H.1.4.1.9.7. $G matches a call.1.4.1.9.8. $H matches a call whose callee type is a type whose canonical type is a non-prototype function type.1.4.1.9.9. $F matches any argument of expression.

1.5. decl_selector

1.5.1. As configured, ECLAIR will:1.5.1.1. Define `__any_decls' as a matcher for any declaration.1.5.1.2. Define `__any_function_decls' as a matcher for a function declaration, a function definition, a method declaration, a method definition, a constructor declaration, a constructor definition, a conversion declaration, a conversion definition, a destructor declaration or a destructor definition.1.5.1.3. Define `__any_function_defn_decls' as a matcher for a function definition, a method definition, a constructor definition, a conversion definition or a destructor definition.1.5.1.4. Define `__any_named_function_decls' as a matcher for a function declaration, a function definition, a method declaration or a method definition.1.5.1.5. Define `__any_var_decls' as a matcher for a variable, a parameter, a catch exception or a static field.1.5.1.6. Define `__any_tag_decls' as a matcher for an enum, a record, a record, a class template partial specialization or a class template instantiation or specialization.1.5.1.7. Define `__any_record_decls' as a matcher for a record, a record, a class template partial specialization or a class template instantiation or specialization.1.5.1.8. Define `__any_declarator_decls' as a matcher for a declaration that satisfies `__any_function_decls' || `__any_var_decls' || $A:1.5.1.8.1. $A matches a field or a template non-type parameter.1.5.1.9. Define `__any_no_linkage_decls' as a matcher for a declaration with linkage `no_linkage'.1.5.1.10. Define `__redeclared_typedef_decls' as a matcher for a declaration that satisfies $A && $B:1.5.1.10.1. $A matches a typedef.1.5.1.10.2. $B matches a redeclaration.1.5.1.11. Define `__no_declarators_tag_decls' as a matcher for a declaration that satisfies `__any_tag_decls' && $A && $B:1.5.1.11.1. $A matches a declaration having as lexical context a record.1.5.1.11.2. $B matches a declaration with origin `standalone'.1.5.1.12. Define `__has_return_function_defn_decls' as a matcher for a conversion definition, a function definition or a method definition.1.5.1.13. Define `__nonvoid_return_function_defn_decls' as a matcher for a declaration that satisfies `__has_return_function_defn_decls' && !$A:1.5.1.13.1. $A matches a declaration having a type whose canonical type is a type matching `__void_return_function_types'.1.5.1.14. Define `__inline_internal_decls' as a matcher for a declaration that satisfies $A && $B:1.5.1.14.1. $A matches an inlined declaration.1.5.1.14.2. $B matches a declaration with linkage `internal'.1.5.1.15. Define `__external_repeatable_decls' as a matcher for an externally repeatable declaration.1.5.1.16. Define `__entity_decls' as a matcher for a declaration of an entity.1.5.1.17. Define `__any_header_var_defn_decls' as a matcher for a declaration that satisfies `__any_var_decls' && !$A && $B:1.5.1.17.1. $A matches a forward declaration.1.5.1.17.2. $B matches a declaration written in a location whose top expansion is a location in a file with tag `header'.1.5.1.18. Define `__internal_const_var_decl_decls' as a matcher for a declaration that satisfies $A && $B && $C:1.5.1.18.1. $A matches a variable.1.5.1.18.2. $B matches a declaration with linkage `internal'.1.5.1.18.3. $C matches a declaration having a type whose canonical type is a type matching `__const_top_level_types'.1.5.1.19. Define `__union_decls' as a matcher for a declaration that satisfies `__any_record_decls' && $A:1.5.1.19.1. $A matches a record declaration having as kind .1.5.1.20. Define `__empty_record_decls' as a matcher for a declaration that satisfies $A && $B:1.5.1.20.1. $A matches a record.

1.5.1.20.2. $B matches an empty definition.1.5.1.21. Define `__array_static_decls' as a matcher for a declaration that satisfies `__any_declarator_decls' && $A:1.5.1.21.1. $A matches a declaration having a type whose desugared type is a type matching `__size_modifier_static_array_types'.1.5.1.22. Define `__array_incomplete_decls' as a matcher for a declaration that satisfies $A && $B:1.5.1.22.1. $A matches a field.1.5.1.22.2. $B matches a declaration having a type whose desugared type is a type matching `__incomplete_array_types'.1.5.1.23. Define `__any_header_function_defn_decls' as a matcher for a declaration that satisfies `__any_function_defn_decls' && $A:1.5.1.23.1. $A matches a declaration written in a location whose top expansion is a location in a file with tag `header'.

1.6. default_call_properties1.6.1. As configured, ECLAIR will:1.6.1.1. Consider, unless specified otherwise, argument pointees with index 1 or more as never read before write for any call.1.6.1.2. Consider, unless specified otherwise, argument pointees with index 1 or more as always written before return for any call.1.6.1.3. Consider, unless specified otherwise, no address arguments as taken for any call.

1.7. diagnostics_output1.7.1. As configured, ECLAIR will:1.7.1.1. Append diagnostics output to file `/tmp/qpc_4.5.02a/ECLAIR/DIAGNOSTICS.txt'.

1.8. entity_declarations1.8.1. As configured, ECLAIR will:1.8.1.1. Prefer not to show a declaration written in a location whose top expansion is a location in a file with tag èxternal'.

1.9. entity_selector1.9.1. As configured, ECLAIR will:1.9.1.1. Define `__introduces_id_entity' as a matcher for an entity that satisfies !$A && $B:1.9.1.1.1. $A matches a entity having as instance kind `partial_specialization' or `specialization'.1.9.1.1.2. $B matches an entity whose kind is `param', ènum', ènum_constant', `function', `label', `field', `method', `var', `static_field', `record', `typedef', `namespace', `namespace_alias', `template_non_type_param', `template_template_param' or `template_type_param'.1.9.1.2. Define `__introduces_named_entity' as a matcher for an entity that satisfies `__introduces_id_entity' && !$A:1.9.1.2.1. $A matches an anonymous entity.1.9.1.3. Define `__any_function_entity' as a matcher for an entity whose kind is `function', `constructor', `conversion', `destructor' or `method'.1.9.1.4. Define `__public_api_entity' as a matcher for an entity that satisfies $A && $B:1.9.1.4.1. $A matches an entity with linkage èxternal'.1.9.1.4.2. $B matches an entity for which at least one declaration is a declaration written in a location whose top expansion is a location in a public API header file.1.9.1.5. Define `__any_unspecialized_entity' as a matcher for a entity having as instance kind `none'.1.9.1.6. Define `__overload_operator_entity' as a matcher for an entity that satisfies $A && $B:1.9.1.6.1. $A matches an entity whose kind is `function' or `method'.1.9.1.6.2. $B matches an entity whose name matches regex `^(.*::)?operator(\^=?|~|==?|\!=?|>=?|<=?|>>|<<|\+=?|\-=?|\*=?|/=?|%=?|\&\&|\&=?|\|\|?|\|=?|\+\+|\-\-|,|->\*?| new\[\]| delete\[\]| new| delete)\(.*$'.1.9.1.7. Define `__ext_var_entity' as a matcher for an entity that satisfies $A && $B:1.9.1.7.1. $A matches an entity whose kind is `var'.

1.9.1.7.2. $B matches an entity with linkage èxternal'.1.9.1.8. Define `__int_var_entity' as a matcher for an entity that satisfies $A && $B:1.9.1.8.1. $A matches an entity whose kind is `var'.1.9.1.8.2. $B matches an entity with linkage ìnternal'.1.9.1.9. Define `__ext_function_entity' as a matcher for an entity that satisfies $A && $B:1.9.1.9.1. $A matches an entity whose kind is `function' or `function_template'.1.9.1.9.2. $B matches an entity with linkage èxternal'.1.9.1.10. Define `__int_function_entity' as a matcher for an entity that satisfies $A && $B:1.9.1.10.1. $A matches an entity whose kind is `function' or `function_template'.1.9.1.10.2. $B matches an entity with linkage ìnternal'.1.9.1.11. Define `__static_var_entity' as a matcher for an entity that satisfies $A && $B:1.9.1.11.1. $A matches an entity whose kind is `var'.1.9.1.11.2. $B matches an entity with static storage.1.9.1.12. Define `__any_var_entity' as a matcher for an entity whose kind is `var', `static_field' or `catch_var'.1.9.1.13. Define `__var_like_entity' as a matcher for an entity whose kind is `var' or `param'.1.9.1.14. Define `__external_entity' as a matcher for an entity with linkage èxternal'.1.9.1.15. Define `__no_linkage_entity' as a matcher for an entity with linkage `no_linkage'.1.9.1.16. Define `__extra_referenced_entity' as a matcher for an entity that has extra references.

1.10. extra_references1.10.1. As configured, ECLAIR will:1.10.1.1. Assume that an entity that satisfies $A && $B is externally referenced:1.10.1.1.1. $A matches an entity whose unqualified name is `main'.1.10.1.1.2. $B matches an entity with linkage èxternal'.

1.11. file_tag1.11.1. As configured, ECLAIR will:1.11.1.1. Add tag èxternal' for a file that satisfies !$A && ($B || $C):1.11.1.1.1. $A matches a file whose kind is one of project.1.11.1.1.2. $B matches a file whose kind is one of system, extern_c_system, pseudo.1.11.1.1.3. $C matches a file whose canonical path matches regex `^([A-Z]:)?/.*$'.1.11.1.2. Add tag `main' for a file whose kind is one of main_file.1.11.1.3. Add tag `header' for a file whose kind is one of user, system, extern_c_system.

1.12. frame_override1.12.1. As configured, ECLAIR will:1.12.1.1. Never override analyzed results.

1.13. multibyte_character_prefixes1.13.1. As configured, ECLAIR will:

1.13.1.1. Allow a multibyte character prefix code to be between 127 and 255.

1.14. program_presentation_style1.14.1. As configured, ECLAIR will:1.14.1.1. Include only the name of the command in messages.

1.15. project_name1.15.1. As configured, ECLAIR will:1.15.1.1. Set the project name to `qpc_4.5.02a_MC2_full'.

1.16. project_root1.16.1. As configured, ECLAIR will:1.16.1.1. Set the project root directory to `/tmp/qpc_4.5.02a/'.

1.17. public_files1.17.1. As configured, ECLAIR will:1.17.1.1. Consider as belonging to public API a file whose kind is one of system, extern_c_system.

1.18. reference_std1.18.1. As configured, ECLAIR will:1.18.1.1. Set the reference standard for `STD' to be the unit standard.

1.19. replacer1.19.1. As configured, ECLAIR will:1.19.1.1. Replacer `__case_insensitive_repl' specifies that a string is replaced by the input string converted to upper-case.1.19.1.2. Replacer `__truncate_repl' specifies that a string is replaced by the substring of the input string beginning at 0 with length argument #1.1.19.1.3. Replacer `__remove_ext_repl' specifies that a string matching ^(.*)\.[a-zA-Z0-9]*$ is replaced by the string given by regex group 1.1.19.1.4. Replacer `__remove_ext_repl' specifies that a string is replaced by the input string.1.19.1.5. Replacer `__replace_H_ext_repl' specifies that a string matching ^(.*)\.[a-zA-Z0-9]*$ is replaced by $A_H:1.19.1.5.1. $A is the string given by regex group 1.1.19.1.6. Replacer `__replace_H_ext_repl' specifies that a string is replaced by the input string.1.19.1.7. Replacer `__add_trailing_underscore_repl' specifies that a string is replaced by $A_:1.19.1.7.1. $A is the input string.1.19.1.8. Replacer `__add_trailing_space_repl' specifies that a string is replaced by $A :1.19.1.8.1. $A is the input string.1.19.1.9. Replacer `__add_init_underscore_repl' specifies that a string is replaced by _$A:1.19.1.9.1. $A is the input string.1.19.1.10. Replacer `__add_init_and_trailing_underscore_repl' specifies that a string is replaced by _$A_:1.19.1.10.1. $A is the input string.1.19.1.11. Replacer `__add_double_trailing_underscore_repl' specifies that a string is replaced by $A__:1.19.1.11.1. $A is the input string.1.19.1.12. Replacer `__add_opt_init_and_trailing_underscore2_repl' specifies that a string is replaced by ^_?_?$A_?_?$:

1.19.1.12.1. $A is the input string after being reformatted as a regex.1.19.1.13. Replacer `__base_name_repl' specifies that a string matching ^(.*/)*([^/]*)$ is replaced by the string given by regex group 2.1.19.1.14. Replacer `__prefix_numinit_repl' specifies that a string matching ^[0-9].*$ is replaced by $A$B:1.19.1.14.1. $A is argument #1.1.19.1.14.2. $B is the input string.1.19.1.15. Replacer `__prefix_numinit_repl' specifies that a string is replaced by the input string.1.19.1.16. Replacer `__chars_to_word_repl' specifies that a string is replaced by the input string where the characters `!"#%&'()*+,-./:;<=>?[\]^_{|}~ ' in the string are replaced by the corresponding characters in `_______________________________'.1.19.1.17. Replacer `__chars_to_id_repl' specifies that a string is transformed by the sequence `__chars_to_word_repl' and `__prefix_numinit_repl'.1.19.1.18. Replacer `__upcase_id_repl' specifies that a string is transformed by the sequence `__chars_to_id_repl' and $A:1.19.1.18.1. $A is the input string converted to upper-case.1.19.1.19. Replacer `__base_name_upcase_id_repl' specifies that a string is transformed by the sequence `__base_name_repl', `__chars_to_id_repl' and $A:1.19.1.19.1. $A is the input string converted to upper-case.1.19.1.20. Replacer `__upcase_base_name_repl' specifies that a string is transformed by the sequence `__base_name_repl', `__chars_to_word_repl' and $A:1.19.1.20.1. $A is the input string converted to upper-case.1.19.1.21. Replacer `__upcase_all_name_repl' specifies that a string is transformed by the sequence $A, $B and `__prefix_numinit_repl':1.19.1.21.1. $A is the input string where the characters `/.' in the string are replaced by the corresponding characters in `__'.1.19.1.21.2. $B is the input string converted to upper-case.1.19.1.22. Replacer `__prepost_underscore_upcase_base_name_repl' specifies that a string is transformed by the sequence `__base_name_upcase_id_repl' and `__add_init_and_trailing_underscore_repl'.1.19.1.23. Replacer `__anydecl_document_repl' specifies that a string matching ^(?:\n|.)+$ is replaced by the input string.1.19.1.24. Replacer `__anydecl_comment_repl' specifies that a string matching ^//(.*)$ is replaced by $A :1.19.1.24.1. $A is the string given by regex group 1.1.19.1.25. Replacer `__anydecl_comment_repl' specifies that a string matching ^/[*]((?:\n|.)*)([*]/)$ is replaced by $A :1.19.1.25.1. $A is the string given by regex group 1.1.19.1.26. Replacer `__function_document_repl' specifies that a string matching ^(?:\n|.)+$ is replaced by the input string.1.19.1.27. Replacer `__parameter_document_repl' specifies that a string matching ^(?:\n|.)*$ is replaced by the input string.1.19.1.28. Replacer `__function_comment_repl' specifies that a string matching ^//(.*)$ is replaced by $A :1.19.1.28.1. $A is the string given by regex group 1.1.19.1.29. Replacer `__function_comment_repl' specifies that a string matching ^/[*]((?:\n|.)*)([*]/)$ is replaced by $A :1.19.1.29.1. $A is the string given by regex group 1.1.19.1.30. Replacer `__memory_reuse_comment_repl' specifies that a string matching ^//(.*)$ is replaced by $A :1.19.1.30.1. $A is the string given by regex group 1.1.19.1.31. Replacer `__memory_reuse_comment_repl' specifies that a string matching ^/[*]((?:\n|.)*)([*]/)$ is replaced by $A :1.19.1.31.1. $A is the string given by regex group 1.1.19.1.32. Replacer `__asm_comment_repl' specifies that a string matching ^//(.*)$ is replaced by $A :1.19.1.32.1. $A is the string given by regex group 1.1.19.1.33. Replacer `__asm_comment_repl' specifies that a string matching ^/[*]((?:\n|.)*)([*]/)$ is replaced by $A :

1.19.1.33.1. $A is the string given by regex group 1.1.19.1.34. Replacer `__fundefn_comment_repl' specifies that a string matching ^//(.+)$ is replaced by the string given by regex group 1.1.19.1.35. Replacer `__fundefn_comment_repl' specifies that a string matching ^/[*]((?:\n|.)+)([*]/)$ is replaced by the string given by regex group 1.

1.20. report_selector1.20.1. As configured, ECLAIR will:1.20.1.1. Define àll_exp_external' as a matcher for a report where every area is an area that satisfies !$A || $B:1.20.1.1.1. $A matches an area whose kind is culprit or evidence.1.20.1.1.2. $B matches an area where every location is a location where every element in its expansion chain is a location in a file with tag èxternal'.

1.21. reports1.21.1. The examples are not meant to comply with MISRA-C:2004.

As configured, ECLAIR will:1.21.1.1. Hide a report where every area is an area where every location is a location in a file whose canonical path matches regex `êxamples/.*$'.1.21.2. As configured, ECLAIR will:1.21.2.1. Hide a report matching àll_exp_external'.

1.22. stds1.22.1. As configured, ECLAIR will:1.22.1.1. Define `c' as a matcher for a standard that satisfies $A || $B || $C || $D || $E:1.22.1.1.1. $A matches the C90 standard, ISO/IEC 9899:1990.1.22.1.1.2. $B matches the C95 standard, ISO/IEC 9899/AMD1:1995.1.22.1.1.3. $C matches the C99 standard, ISO/IEC 9899:1999.1.22.1.1.4. $D matches the C11 standard, ISO/IEC 9899:2011.1.22.1.1.5. $E matches the C17 standard, ISO/IEC 9899:2018.1.22.1.2. Define `c++' as a matcher for a standard that satisfies $A || $B || $C || $D || $E:1.22.1.2.1. $A matches the C++98 standard, ISO/IEC 14882:1998.1.22.1.2.2. $B matches the C++03 standard, ISO/IEC 14882:2003.1.22.1.2.3. $C matches the C++11 standard, ISO/IEC 14882:2011.1.22.1.2.4. $D matches the C++14 standard, ISO/IEC 14882:2014.1.22.1.2.5. $E matches the C++17 standard, ISO/IEC 14882:2017.

1.23. stmt_selector1.23.1. As configured, ECLAIR will:1.23.1.1. Define `__non_syntactic_or_paren_wrapper_stmts' as a matcher for a binding to temporary expression, a integer constant expression, an implicit default argument, an implicit default init expr, a cleanup scope expression, an implicit cast, a materialized temporary expression, an opaque value, a template non-type parameter substitution or a parenthesized expression.1.23.1.2. Define `__wrapped_nullptr_stmts' as a matcher for a node, wrapped 0 or more times by a statement matching `__non_syntactic_or_paren_wrapper_stmts', that is an expression with a nullptr builtin type or a null_to_ptr explicit cast expression.1.23.1.3. Define `__explicit_cast_stmts' as a matcher for a C-style cast operator, a named cast or a functional cast.1.23.1.4. Define `__volatile_object_stmts' as a matcher for a statement that satisfies $A && $B:1.23.1.4.1. $A matches a function or variable reference or a designation.1.23.1.4.2. $B matches an expression having a type whose canonical type is a type with qualifier volatile at some pointee level.

1.23.1.5. Define `__for_before_decl_stmts' as a matcher for a statement that satisfies $A && $B:1.23.1.5.1. $A matches a `for' statement.1.23.1.5.2. $B matches an expression or statement whose `before' part matches a declaration statement.1.23.1.6. Define `__empty_child_init_stmts' as a matcher for an expression or statement whose initializer is empty .1.23.1.7. Define `__case_stmt_upper_stmts' as a matcher for a statement that satisfies $A && $B:1.23.1.7.1. $A matches a `case' statement.1.23.1.7.2. $B matches an expression or statement whose upper limit matches an expression.1.23.1.8. Define `__std_heap_manipulating_decl_stmts' as a matcher for an expression that references a declaration whose name matches regex `^(malloc|calloc|realloc|free|(.*::)?operator (new|delete)(\[])?)\(.*$'.1.23.1.9. Define `__std_heap_manipulating_macro_stmts' as a matcher for a statement expanded from a macro whose name matches regex `^(malloc|calloc|realloc|free)$'.1.23.1.10. Define `__malloc_attribute_stmts' as a matcher for an expression that references a declaration with attribute `malloc'.

1.24. tool_name_style1.24.1. As configured, ECLAIR will:1.24.1.1. Use the tool's full file name in messages.

1.25. type_selector1.25.1. As configured, ECLAIR will:1.25.1.1. Define `__builtin_integral_types' as a matcher for `bool', `_Bool', `char16_t', `char32_t', `char', ìnt', `__int128_t', `long', `long long', `signed char', `short', ùnsigned char', ùnsigned', ùnsigned long', ùnsigned long long', ùnsigned short', `__uint128_t' or `wchar_t'.1.25.1.2. Define `__floating_types' as a matcher for `float', `double' or `long double'.1.25.1.3. Define `__void_types' as a matcher for `void'.1.25.1.4. Define `__embedded_sugar_types' as a matcher for an attributed type, an elaborated type, a pack expansion type, a paren type, a substitution template type parameter type or a typeof type.1.25.1.5. Define `__pointer_types' as a matcher for a pointer type.1.25.1.6. Define `__function_types' as a matcher for a prototype function type or a non-prototype function type.1.25.1.7. Define `__non_void_object_pointee_types' as a matcher for a type whose canonical type is a pointer or reference type whose pointee is a type that satisfies !($A || `__function_types'):1.25.1.7.1. $A matches `void'.1.25.1.8. Define `__non_function_pointee_types' as a matcher for a type whose canonical type is a pointer or reference type whose pointee is a type that satisfies !`__function_types'.1.25.1.9. Define `__function_pointee_types' as a matcher for a type whose canonical type is a pointer or reference type whose pointee is a type matching `__function_types'.1.25.1.10. Define `__floating_max_pointee_types' as a matcher for a type whose canonical type is a pointer or reference type whose pointee is a pointer type whose maximum level pointee is a type matching `__floating_types'.1.25.1.11. Define `__void_pointee_types' as a matcher for a type whose canonical type is a pointer type whose pointee is a type matching `__void_types'.1.25.1.12. Define `__void_return_function_types' as a matcher for a function type returning a type matching `__void_types'.1.25.1.13. Define `__union_types' as a matcher for a record type having as tag kind ùnion'.1.25.1.14. Define `__index_const_array_types' as a matcher for an array type with qualifier const.1.25.1.15. Define `__index_volatile_array_types' as a matcher for an array type with qualifier volatile.1.25.1.16. Define `__variable_length_array_types' as a matcher for an array type that is variable.1.25.1.17. Define `__0_length_array_types' as a matcher for an array type with length 0 .1.25.1.18. Define `__size_modifier_static_array_types' as a matcher for an array type with size modifier static.1.25.1.19. Define `__incomplete_array_types' as a matcher for an array type that is incomplete.1.25.1.20. Define `__const_top_level_types' as a matcher for a type with qualifier const.

1.26. typedef_naming1.26.1. As configured, ECLAIR will:1.26.1.1. Set `misra' to be the type naming schema that associates the builtin type ùnsigned char', ùnsigned short', ùnsigned', ùnsigned long' or ùnsigned long long' to a typedef that matches the format `__misra_any_uint_fmt', the builtin type `signed char', ìnt', `short', `long' or `long long' to a typedef that matches the format `__misra_any_sint_fmt' or the builtin type `double', `float', `half' or `long double' to a typedef that matches the format `__misra_float_fmt'.

1.27. unit_presentation_style1.27.1. As configured, ECLAIR will:1.27.1.1. Include only the name of the command in messages.

1.28. verbose1.28.1. As configured, ECLAIR will:1.28.1.1. Be quiet about done activities.

Service B.CBS: Hide reports using ECLAIR style suppression comments

1.29. summary1.29.1. As configured, ECLAIR will:1.29.1.1. Set the service summary to `Hide reports using ECLAIR style suppression comments'.

1.30. tag1.30.1. As configured, ECLAIR will:1.30.1.1. Enable the service.

Service B.EXPLAIN: Explain used configuration

1.31. ecl1.31.1. As configured, ECLAIR will:1.31.1.1. Show ECL commands.

1.32. summary1.32.1. As configured, ECLAIR will:1.32.1.1. Set the service summary to Èxplain used configuration'.


Service B.PARSER: The code shall be parsable without errors by the ECLAIR parser. If the code is parsed with errors the AST is incomplete and the results of ECLAIR analyses are likely to be incorrect

1.34. summary1.34.1. As configured, ECLAIR will:1.34.1.1. Set the service summary to `The code shall be parsable without errors by the ECLAIR parser. If the code is parsed with errors the AST is incomplete and the results of ECLAIR analyses are likely to be incorrect'.


Service B.REPORT.ECB: Output reports in ECB format

1.36. includes1.36.1. As configured, ECLAIR will:1.36.1.1. Show no file inclusions in report areas.

1.37. macros1.37.1. As configured, ECLAIR will:1.37.1.1. Show up to 10 levels of macro expansions in report areas.

1.38. output1.38.1. As configured, ECLAIR will:1.38.1.1. Write the reports output to file `/tmp/qpc_4.5.02a/ECLAIR/FRAME.@[email protected]'.

1.39. preprocessed1.39.1. As configured, ECLAIR will:1.39.1.1. Show the preprocessed source for report areas with macro expansions.

1.40. summary1.40.1. As configured, ECLAIR will:1.40.1.1. Set the service summary to `Output reports in ECB format'.


Service B.REPORT.ERR: Output B.PARSER error reports in plain text to standard error

1.42. includes1.42.1. As configured, ECLAIR will:1.42.1.1. Show no file inclusions in report areas.

1.43. macros1.43.1. As configured, ECLAIR will:1.43.1.1. Show up to 10 levels of macro expansions in report areas.

1.44. output1.44.1. As configured, ECLAIR will:1.44.1.1. Write the reports output to standard error.

1.45. preprocessed1.45.1. As configured, ECLAIR will:1.45.1.1. Hide the preprocessed source for report areas with macro expansions.

1.46. snippet1.46.1. As configured, ECLAIR will:1.46.1.1. Show underlined source snippet in report areas.

1.47. summary1.47.1. As configured, ECLAIR will:1.47.1.1. Set the service summary to `Output B.PARSER error reports in plain text to standard error'.

1.48. tag

1.48.1. As configured, ECLAIR will:1.48.1.1. Enable the service.

Service MC2.1.1: Reports code that does not conform to the C90 standard

1.49. summary1.49.1. As configured, ECLAIR will:1.49.1.1. Set the service summary to `Reports code that does not conform to the C90 standard'.

1.50. tag1.50.1. As configured, ECLAIR will:1.50.1.1. Tag the service with `MC2'.1.50.1.2. Enable the service.

Service MC2.1.2: Reports code that depends on any undefined or unspecified behavior as given by the C90 standard Annex G

1.51. summary1.51.1. As configured, ECLAIR will:1.51.1.1. Set the service summary to `Reports code that depends on any undefined or unspecified behavior as given by the C90 standard Annex G'.


Service MC2.1.3: If more than one compiler and/or language is used to compile and link the source files, then there must be a common defined interface standard for object code to which these languages/compilers/assemblers conform

1.53. summary1.53.1. As configured, ECLAIR will:1.53.1.1. Set the service summary to `If more than one compiler and/or language is used to compile and link the source files, then there must be a common defined interface standard for object code to which these languages/compilers/assemblers conform'.


Service MC2.1.4: Reports any compiler/linkers used by the project that do not support 31 character significance and case sensitivity for external identifiers

1.55. summary1.55.1. As configured, ECLAIR will:1.55.1.1. Set the service summary to `Reports any compiler/linkers used by the project that do not support 31 character significance and case sensitivity for external identifiers'.


Service MC2.1.5: If floating-point types are used, then the floating-point standard used by the implementation must be documented

1.57. summary1.57.1. As configured, ECLAIR will:1.57.1.1. Set the service summary to `If floating-point types are used, then the floating-point standard used by the implementation must be documented'.


Service MC2.2.1: Assembly language instructions must be encapsulated in assembler functions, in C functions that contain no other C code or in macros

1.59. summary1.59.1. As configured, ECLAIR will:1.59.1.1. Set the service summary to `Assembly language instructions must be encapsulated in assembler functions, in C functions that contain no other C code or in macros'.


Service MC2.2.2: Reports any comments not using the `/* ... */' style

1.61. summary1.61.1. As configured, ECLAIR will:1.61.1.1. Set the service summary to `Reports any comments not using the `/* ... */' style'.


Service MC2.2.3: Reports any use of the character sequence `/*' inside a comment

1.63. summary1.63.1. As configured, ECLAIR will:1.63.1.1. Set the service summary to `Reports any use of the character sequence `/*' inside a comment'.


Service MC2.2.4: Reports sections of code that are commented out

1.65. code_lines1.65.1. As configured, ECLAIR will:1.65.1.1. Report all commented-out code.

1.66. comments

1.66.1. As configured, ECLAIR will:1.66.1.1. Hide a comment matching `__doxygen_comments'.

1.67. summary1.67.1. As configured, ECLAIR will:1.67.1.1. Set the service summary to `Reports sections of code that are commented out'.


Service MC2.3.1: Any use of code that has implementation-defined behavior defined by Annex G.3 in the C90 standard, that is not specifically addressed by other MISRA rules, must be documented

1.69. summary1.69.1. As configured, ECLAIR will:1.69.1.1. Set the service summary to `Any use of code that has implementation-defined behavior defined by Annex G.3 in the C90 standard, that is not specifically addressed by other MISRA rules, must be documented'.


Service MC2.3.2: The source and execution character sets and the corresponding encoding must be documented

1.71. summary1.71.1. As configured, ECLAIR will:1.71.1.1. Set the service summary to `The source and execution character sets and the corresponding encoding must be documented'.


Service MC2.3.3: If integer division is used, its expected direction of rounding in the chosen compiler must be documented

1.73. summary1.73.1. As configured, ECLAIR will:1.73.1.1. Set the service summary to `If integer division is used, its expected direction of rounding in the chosen compiler must be documented'.


Service MC2.3.4: Checks that each `#pragma' directive is documented

1.75. summary

1.75.1. As configured, ECLAIR will:1.75.1.1. Set the service summary to `Checks that each `#pragma' directive is documented'.


Service MC2.3.5: If there is a reference to a `class', `struct' or ùnion' that contains a bit-field then the implementation-defined behaviour and packing of bit-fields must be documented

1.77. summary1.77.1. As configured, ECLAIR will:1.77.1.1. Set the service summary to Ìf there is a reference to a `class', `struct' or ùnion' that contains a bit-field then the implementation-defined behaviour and packing of bit-fields must be documented'.


Service MC2.3.6: Any libraries such as the standard libraries, third-party libraries or libraries designed in-house and used by the project must be written to be MISRA-compliant and subject to appropriate validation

1.79. summary1.79.1. As configured, ECLAIR will:1.79.1.1. Set the service summary to Àny libraries such as the standard libraries, third-party libraries or libraries designed in-house and used by the project must be written to be MISRA-compliant and subject to appropriate validation'.


Service MC2.4.1: Reports any escape sequences that are not defined in the C90 standard

1.81. summary1.81.1. As configured, ECLAIR will:1.81.1.1. Set the service summary to `Reports any escape sequences that are not defined in the C90 standard'.


Service MC2.4.2: Reports any trigraphs

1.83. summary1.83.1. As configured, ECLAIR will:1.83.1.1. Set the service summary to `Reports any trigraphs'.


Service MC2.5.1: Identifiers (including macro names) must differ in their first 31 characters both before and after any macro expansion

1.85. summary1.85.1. As configured, ECLAIR will:1.85.1.1. Set the service summary to Ìdentifiers (including macro names) must differ in their first 31 characters both before and after any macro expansion'.


Service MC2.5.2: No identifier may use the same name as (and hence hide) an identifier in an outer scope

1.87. summary1.87.1. As configured, ECLAIR will:1.87.1.1. Set the service summary to `No identifier may use the same name as (and hence hide) an identifier in an outer scope'.


Service MC2.5.3: A typedef name must not be used for any other entity

1.89. reuse_by_location1.89.1. As configured, ECLAIR will:1.89.1.1. Report entities with the same name only if they do not share a declaration location.

1.90. summary1.90.1. As configured, ECLAIR will:1.90.1.1. Set the service summary to À typedef name must not be used for any other entity'.


Service MC2.5.4: A tag name must not be used for any other entity


1.93. summary1.93.1. As configured, ECLAIR will:1.93.1.1. Set the service summary to À tag name must not be used for any other entity'.


Service MC2.5.5: Any identifier of a variable or function with static storage duration must not be reused by any other any other entity anywhere


1.96. summary1.96.1. As configured, ECLAIR will:1.96.1.1. Set the service summary to Àny identifier of a variable or function with static storage duration must not be reused by any other any other entity anywhere'.


Service MC2.5.6: Reports if an identifier in one namespace has the same name as another identifier in another namespace unless both of them are for `struct' or ùnion' members


1.99. summarize_max1.99.1. As configured, ECLAIR will:1.99.1.1. Report all clashing entities.

1.100. summary1.100.1. As configured, ECLAIR will:1.100.1.1. Set the service summary to `Reports if an identifier in one namespace has the same name as another identifier in another namespace unless both of them are for `struct' or ùnion' members'.


Service MC2.5.7: No entity may use the same identifier name as any other entity except when all the entities with the same name have the same declaration in a header file and that file is included in multiple source files


1.103. summarize_max1.103.1. As configured, ECLAIR will:1.103.1.1. Report all clashing entities.

1.104. summary1.104.1. As configured, ECLAIR will:1.104.1.1. Set the service summary to `No entity may use the same identifier name as any other entity except when all the entities with the same name have the same declaration in a header file and that file is included in multiple source files'.


Service MC2.6.1: A variable with plain `char' type must not be used for numeric values

1.106. summary1.106.1. As configured, ECLAIR will:1.106.1.1. Set the service summary to À variable with plain `char' type must not be used for numeric values'.


Service MC2.6.2: Variables with ùnsigned' or `signed' `char' type must not be used for non-numeric values

1.108. summary1.108.1. As configured, ECLAIR will:1.108.1.1. Set the service summary to `Variables with ùnsigned' or `signed' `char' type must not be used for non-numeric values'.


Service MC2.6.3: Reports any direct use of signed and unsigned variants of `char', ìnt', `short', `long', `long long', `float', `double' or `long double' and any typedef name for any of these variants that does not indicate the size and signedness

1.110. naming1.110.1. As configured, ECLAIR will:1.110.1.1. Use the type naming schema `misra'.

1.111. summary1.111.1. As configured, ECLAIR will:1.111.1.1. Set the service summary to `Reports any direct use of signed and unsigned variants of `char', ìnt', `short', `long', `long long', `float', `double' or `long double' and any typedef name for any of these variants that does not indicate the size and signedness'.


Service MC2.6.4: Bitfields must be explicitly defined as `signed' ìnt' or ùnsigned' ìnt'

1.113. summary1.113.1. As configured, ECLAIR will:1.113.1.1. Set the service summary to `Bitfields must be explicitly defined as `signed' ìnt' or ùnsigned' ìnt''.


Service MC2.6.5: Bitfields (even if unnamed) whose type is `signed' must have a length greater than 1 bit

1.115. summary1.115.1. As configured, ECLAIR will:1.115.1.1. Set the service summary to `Bitfields (even if unnamed) whose type is `signed' must have a length greater than 1 bit'.


Service MC2.7.1: There must be no occurrence of an octal constant or an octal escape sequence

1.117. summary1.117.1. As configured, ECLAIR will:1.117.1.1. Set the service summary to `There must be no occurrence of an octal constant or an octal escape sequence'.


Service MC2.8.1: A function must have a prototype declaration visible to its definiton and before any reference to it

1.119. summary1.119.1. As configured, ECLAIR will:1.119.1.1. Set the service summary to À function must have a prototype declaration visible to its definiton and before any reference to it'.


Service MC2.8.2: In the declarations for variables, functions and typedefs the types must be explicitly stated

1.121. summary1.121.1. As configured, ECLAIR will:1.121.1.1. Set the service summary to Ìn the declarations for variables, functions and typedefs the types must be explicitly stated'.


Service MC2.8.3: The types of the corresponding parameters or return value in the prototype declarations and/or definition of a function must be identical (types that are identical use the same `typedef' names, the same desugared type and have the same qualifiers)

1.123. summary1.123.1. As configured, ECLAIR will:1.123.1.1. Set the service summary to `The types of the corresponding parameters or return value in the prototype declarations and/or definition of a function must be identical (types that are identical use the same `typedef' names, the same desugared type and have the same qualifiers)'.


Service MC2.8.4: Reports if multiple declarations or definition of the same variable or function have incompatible types

1.125. summary1.125.1. As configured, ECLAIR will:1.125.1.1. Set the service summary to `Reports if multiple declarations or definition of the same variable or function have incompatible types'.


Service MC2.8.5: Reports any variable or function definition in a header file

1.127. summary1.127.1. As configured, ECLAIR will:1.127.1.1. Set the service summary to `Reports any variable or function definition in a header file'.


Service MC2.8.6: Reports functions declared at block scope

1.129. summary1.129.1. As configured, ECLAIR will:1.129.1.1. Set the service summary to `Reports functions declared at block scope'.


Service MC2.8.7: Reports any referenced variable that is global or has file scope and for which all references are in the same function

1.131. summary1.131.1. As configured, ECLAIR will:1.131.1.1. Set the service summary to `Reports any referenced variable that is global or has file scope and for which all references are in the same function'.


Service MC2.8.8: Any variable or function with external linkage must be declared at most once in a header file

1.133. decl_option1.133.1. As configured, ECLAIR will:1.133.1.1. Report if an external variable or function is declared in more than one header file or it is declared in the main (i.e., not an included) file.

1.134. summary1.134.1. As configured, ECLAIR will:1.134.1.1. Set the service summary to `Any variable or function with external linkage must be declared at most once in a header file'.


Service MC2.8.9: Reports a variable or function with external linkage that is undefined or has more than one definition

1.136. summary1.136.1. As configured, ECLAIR will:1.136.1.1. Set the service summary to `Reports a variable or function with external linkage that is undefined or has more than one definition'.


Service MC2.8.10: All declarations and definitions of variables or functions at file scope must have internal linkage unless external linkage is required

1.138. summary1.138.1. As configured, ECLAIR will:1.138.1.1. Set the service summary to `All declarations and definitions of variables or functions at file scope must have internal linkage unless external linkage is required'.


Service MC2.8.11: Any variable or function declaration or definition with internal linkage must include the storage class specifier `static'

1.140. summary1.140.1. As configured, ECLAIR will:1.140.1.1. Set the service summary to Àny variable or function declaration or definition with internal linkage must include the storage class specifier `static''.


Service MC2.8.12: Any array declaration with external linkage must be initialized or the size must be explicitly stated

1.142. summary1.142.1. As configured, ECLAIR will:1.142.1.1. Set the service summary to Àny array declaration with external linkage must be initialized or the size must be explicitly stated'.


Service MC2.9.1: All automatic variables must have a value written to them before being read

1.144. summary1.144.1. As configured, ECLAIR will:1.144.1.1. Set the service summary to Àll automatic variables must have a value written to them before being read'.


Service MC2.9.2: All non-zero initialization of arrays or structures must use braces that match their structure

1.146. summary1.146.1. As configured, ECLAIR will:1.146.1.1. Set the service summary to Àll non-zero initialization of arrays or structures must use braces that match their structure'.


Service MC2.9.3: Each enumeration initializer must initialise none, just the first or all the enumeration constants

1.148. summary

1.148.1. As configured, ECLAIR will:1.148.1.1. Set the service summary to `Each enumeration initializer must initialise none, just the first or all the enumeration constants'.


Service MC2.10.1: Reports if the value of an expression with integer type is implicitly converted to a different underlying type and one of the following holds: 1. the conversion is not to a wider integer type of the same signedness; 2. the expression is complex; 3. the expression is not constant and is a function argument; 4. the expression is not constant and is a return expression

1.150. summary1.150.1. As configured, ECLAIR will:1.150.1.1. Set the service summary to `Reports if the value of an expression with integer type is implicitly converted to a different underlying type and one of the following holds: 1. the conversion is not to a wider integer type of the same signedness; 2. the expression is complex; 3. the expression is not constant and is a function argument; 4. the expression is not constant and is a return expression'.


Service MC2.10.2: Reports the value of an expression with floating-point type that is implicitly converted to a different type and one of the following holds: 1. the conversion is not to a wider floating-point type; 2. the expression is complex; 3. the expression is a function argument; 4. the expression is a return expression

1.152. summary1.152.1. As configured, ECLAIR will:1.152.1.1. Set the service summary to `Reports the value of an expression with floating-point type that is implicitly converted to a different type and one of the following holds: 1. the conversion is not to a wider floating-point type; 2. the expression is complex; 3. the expression is a function argument; 4. the expression is a return expression'.


Service MC2.10.3: The value of a complex expression of integer type must not be cast to a type that: 1. is wider than the underlying type of the expression, or 2. has a different signedness to that of the underlying type of the expression

1.154. summary1.154.1. As configured, ECLAIR will:1.154.1.1. Set the service summary to `The value of a complex expression of integer type must not be cast to a type that: 1. is wider than the underlying type of the expression, or 2. has a different signedness to that of the underlying type of the expression'.

1.155. tag1.155.1. As configured, ECLAIR will:

1.155.1.1. Tag the service with `MC2'.1.155.1.2. Enable the service.

Service MC2.10.4: The value of a complex expression of floating-point type must not be cast to a wider floating-point type

1.156. summary1.156.1. As configured, ECLAIR will:1.156.1.1. Set the service summary to `The value of a complex expression of floating-point type must not be cast to a wider floating-point type'.


Service MC2.10.5: If an operand of `<<' or `~' has underlying type ùnsigned' `char' or `short', then the result must be immediately cast to the underlying type of the operand

1.158. summary1.158.1. As configured, ECLAIR will:1.158.1.1. Set the service summary to Ìf an operand of `<<' or `~' has underlying type ùnsigned' `char' or `short', then the result must be immediately cast to the underlying type of the operand'.


Service MC2.10.6: Any integer constant whose magnitude is such that it is intrinsically unsigned must have a Ù' or ù' suffix

1.160. summary1.160.1. As configured, ECLAIR will:1.160.1.1. Set the service summary to Àny integer constant whose magnitude is such that it is intrinsically unsigned must have a Ù' or ù' suffix'.


Service MC2.11.1: A function pointer must only be converted: 1. to or from an integer type; or 2. from a null pointer constant that was explicitly cast to `void*'

1.162. summary1.162.1. As configured, ECLAIR will:1.162.1.1. Set the service summary to À function pointer must only be converted: 1. to or from an integer type; or 2. from a null pointer constant that was explicitly cast to `void*''.


Service MC2.11.2: A pointer to a non-function may only be converted to or from: 1. an integral type, or 2. another pointer to object type, or 3. a pointer to void

1.164. summary1.164.1. As configured, ECLAIR will:1.164.1.1. Set the service summary to À pointer to a non-function may only be converted to or from: 1. an integral type, or 2. another pointer to object type, or 3. a pointer to void'.


Service MC2.11.3: A pointer type must not be cast to an integer type and an integer type must not be cast to a pointer type

1.166. summary1.166.1. As configured, ECLAIR will:1.166.1.1. Set the service summary to À pointer type must not be cast to an integer type and an integer type must not be cast to a pointer type'.


Service MC2.11.4: A pointer to non-function, non-void type must not be cast to a pointer to a different non-function, non-void type (the canonical form and ignoring any qualifications)

1.168. summary1.168.1. As configured, ECLAIR will:1.168.1.1. Set the service summary to À pointer to non-function, non-void type must not be cast to a pointer to a different non-function, non-void type (the canonical form and ignoring any qualifications)'.


Service MC2.11.5: A pointer to a type with a `const' or `volatile' qualifier must not be cast to a pointer to type without the qualifier

1.170. summary1.170.1. As configured, ECLAIR will:1.170.1.1. Set the service summary to À pointer to a type with a `const' or `volatile' qualifier must not be cast to a pointer to type without the qualifier'.


Service MC2.12.1: Parentheses must be used in expressions to indicate the expected operator precedence

1.172. summary1.172.1. As configured, ECLAIR will:1.172.1.1. Set the service summary to `Parentheses must be used in expressions to indicate the expected operator precedence'.


Service MC2.12.2: The value of an expression must not depend on the unspecified order of evaluation defined in the C90 standard

1.174. summary1.174.1. As configured, ECLAIR will:1.174.1.1. Set the service summary to `The value of an expression must not depend on the unspecified order of evaluation defined in the C90 standard'.


Service MC2.12.3: If a `sizeof' operator is applied to an expression, then that expression must be a (possibly volatile) object

1.176. summary1.176.1. As configured, ECLAIR will:1.176.1.1. Set the service summary to `If a `sizeof' operator is applied to an expression, then that expression must be a (possibly volatile) object'.


Service MC2.12.4: Reports if the right-hand operand of a logical `&&' or `||' operator contains side effects

1.178. summary1.178.1. As configured, ECLAIR will:1.178.1.1. Set the service summary to `Reports if the right-hand operand of a logical `&&' or `||' operator contains side effects'.


Service MC2.12.5: An operand of a logical `&&' or `||' operator must be either: 1. a primary expression (i.e., a single identifier, constant or parenthesized expression); or 2. a binary logical expression with the same operator

1.180. summary1.180.1. As configured, ECLAIR will:

1.180.1.1. Set the service summary to `An operand of a logical `&&' or `||' operator must be either: 1. a primary expression (i.e., a single identifier, constant or parenthesized expression); or 2. a binary logical expression with the same operator'.


Service MC2.12.6: Numeric and Boolean expressions should be placed in appropriate contexts

1.182. summary1.182.1. As configured, ECLAIR will:1.182.1.1. Set the service summary to `Numeric and Boolean expressions should be placed in appropriate contexts'.


Service MC2.12.6L: Numeric and Boolean expressions should be placed in appropriate contexts

1.184. summary1.184.1. As configured, ECLAIR will:1.184.1.1. Set the service summary to `Numeric and Boolean expressions should be placed in appropriate contexts'.

1.185. tag1.185.1. As configured, ECLAIR will:1.185.1.1. Tag the service with `MC2'.

Service MC2.12.7: Reports any the bitwise operators: `~', `<<', `<<=', `>>', `>>=', `&', `&=', `^', `^=', `|' and `|=' that are applied to operands whose underlying type is signed

1.186. summary1.186.1. As configured, ECLAIR will:1.186.1.1. Set the service summary to `Reports any the bitwise operators: `~', `<<', `<<=', `>>', `>>=', `&', `&=', `^', `^=', `|' and `|=' that are applied to operands whose underlying type is signed'.


Service MC2.12.8: The value of the right-hand operand of a shift operator must lie between zero and one less than the width in bits of the underlying type of the left-hand operand

1.188. summary1.188.1. As configured, ECLAIR will:1.188.1.1. Set the service summary to `The value of the right-hand operand of a shift operator must lie between zero and one less than the width in bits of the underlying type of the left-hand operand'.


Service MC2.12.9: Reports a unary minus operator that is applied to an expression whose underlying type is unsigned

1.190. summary1.190.1. As configured, ECLAIR will:1.190.1.1. Set the service summary to `Reports a unary minus operator that is applied to an expression whose underlying type is unsigned'.


Service MC2.12.10: Reports any use of the comma operator

1.192. summary1.192.1. As configured, ECLAIR will:1.192.1.1. Set the service summary to `Reports any use of the comma operator'.


Service MC2.12.11: Any constant unsigned integer expression that leads to wrap-around may only occur within the context of an explicit cast

1.194. summary1.194.1. As configured, ECLAIR will:1.194.1.1. Set the service summary to Àny constant unsigned integer expression that leads to wrap-around may only occur within the context of an explicit cast'.


Service MC2.12.12: There must be no access to an object of floating-point type via a ùnion' or via a pointer to a memory area where an object of floating-point type may be stored

1.196. summary1.196.1. As configured, ECLAIR will:1.196.1.1. Set the service summary to `There must be no access to an object of floating-point type via a ùnion' or via a pointer to a memory area where an object of floating-point type may be stored'.


Service MC2.12.13: The increment or decrement operator must not be used when there is another side-effect in the same statement or if the result is used within that expression

1.198. summary1.198.1. As configured, ECLAIR will:1.198.1.1. Set the service summary to `The increment or decrement operator must not be used when there is another side-effect in the same statement or if the result is used within that expression'.


Service MC2.13.1: In the object sources, reports an assignment operator that is used as an operand of a logical operator or as the condition part of a selection or iteration statement

1.200. summary1.200.1. As configured, ECLAIR will:1.200.1.1. Set the service summary to `In the object sources, reports an assignment operator that is used as an operand of a logical operator or as the condition part of a selection or iteration statement'.


Service MC2.13.2: Any expression that does not have an effectively Boolean type must not used in a Boolean context

1.202. summary1.202.1. As configured, ECLAIR will:1.202.1.1. Set the service summary to `Any expression that does not have an effectively Boolean type must not used in a Boolean context'.


Service MC2.13.3: Reports any floating-point expressions that are tested for equality or inequality

1.204. summary1.204.1. As configured, ECLAIR will:1.204.1.1. Set the service summary to `Reports any floating-point expressions that are tested for equality or inequality'.


Service MC2.13.4: Any variable, call expression, array subscript expression, member expression, complex expression or dereference expression with floating point type must not be used in the controlling part of a `for' statement

1.206. summary1.206.1. As configured, ECLAIR will:1.206.1.1. Set the service summary to `Any variable, call expression, array subscript expression, member expression, complex expression or dereference expression with floating point type must not be used in the controlling part of a `for' statement'.


Service MC2.13.5: Reports `for' statement loops that cannot be proved to have a finite number of iterations

1.208. summary1.208.1. As configured, ECLAIR will:1.208.1.1. Set the service summary to `Reports `for' statement loops that cannot be proved to have a finite number of iterations'.


Service MC2.13.5L: Reports `for' statement loops that cannot be proved to have a finite number of iterations

1.210. summary1.210.1. As configured, ECLAIR will:1.210.1.1. Set the service summary to `Reports `for' statement loops that cannot be proved to have a finite number of iterations'.


Service MC2.13.6: A `for' statement loop counter must not be modified in the loop body

1.212. summary1.212.1. As configured, ECLAIR will:1.212.1.1. Set the service summary to `A `for' statement loop counter must not be modified in the loop body'.


Service MC2.13.7: A Boolean expression must not always have the same value

1.214. summary

1.214.1. As configured, ECLAIR will:1.214.1.1. Set the service summary to `A Boolean expression must not always have the same value'.


Service MC2.14.1: Reports any unreachable code

1.216. summary1.216.1. As configured, ECLAIR will:1.216.1.1. Set the service summary to `Reports any unreachable code'.


Service MC2.14.2: Reports any expression whose value is ignored and has no side-effects

1.218. summary1.218.1. As configured, ECLAIR will:1.218.1.1. Set the service summary to `Reports any expression whose value is ignored and has no side-effects'.


Service MC2.14.3: Reports a null statement that is not on a line by itself

1.220. summary1.220.1. As configured, ECLAIR will:1.220.1.1. Set the service summary to `Reports a null statement that is not on a line by itself'.


Service MC2.14.4: Reports any `goto' statement (indirect or direct)

1.222. summary1.222.1. As configured, ECLAIR will:1.222.1.1. Set the service summary to `Reports any `goto' statement (indirect or direct)'.


Service MC2.14.5: Reports any `continue' statement

1.224. summary1.224.1. As configured, ECLAIR will:1.224.1.1. Set the service summary to `Reports any `continue' statement'.


Service MC2.14.6: Reports if there is more than one `break' statement that may terminate a `do', `for', or `while' statement

1.226. summary1.226.1. As configured, ECLAIR will:1.226.1.1. Set the service summary to `Reports if there is more than one `break' statement that may terminate a `do', `for', or `while' statement'.


Service MC2.14.7: Reports any `return' statement that is not the last statement in a function

1.228. end_position1.228.1. As configured, ECLAIR will:1.228.1.1. Require that a function body has an exit at the end if it is a compound statement or at the end if it is a try statement.

1.229. exit_kind1.229.1. As configured, ECLAIR will:1.229.1.1. Ignore the function if there is a return statement at a designated end position.

1.230. summary1.230.1. As configured, ECLAIR will:1.230.1.1. Set the service summary to `Reports any `return' statement that is not the last statement in a function'.


Service MC2.14.8: Reports any `switch', `do', `for', or `while' statement that does not have its body enclosed in braces

1.232. summary1.232.1. As configured, ECLAIR will:1.232.1.1. Set the service summary to `Reports any `switch', `do', `for', or `while' statement that does not have its body enclosed in braces'.


1.233.1.2. Enable the service.

Service MC2.14.9: In an ìf' statement: 1. the condition part must be immediately followed by a compound statement; 2. any èlse' keyword must be followed by another ìf' statement or by a compound statement

1.234. summary1.234.1. As configured, ECLAIR will:1.234.1.1. Set the service summary to Ìn an ìf' statement: 1. the condition part must be immediately followed by a compound statement; 2. any èlse' keyword must be followed by another ìf' statement or by a compound statement'.


Service MC2.14.10: Any ìf' statement with èlse if' clauses must have the final èlse if' followed by an èlse' clause or a comment

1.236. summary1.236.1. As configured, ECLAIR will:1.236.1.1. Set the service summary to Àny ìf' statement with èlse if' clauses must have the final èlse if' followed by an èlse' clause or a comment'.


Service MC2.15.0: A switch statement must be as defined in the normative text in Section 6.15 of MISRA C:2004 that is not covered by the MISRA Rules 15.1, 15,2, 15.3, 15.4 and 15.5

1.238. summary1.238.1. As configured, ECLAIR will:1.238.1.1. Set the service summary to À switch statement must be as defined in the normative text in Section 6.15 of MISRA C:2004 that is not covered by the MISRA Rules 15.1, 15,2, 15.3, 15.4 and 15.5'.


Service MC2.15.1: The scope of any `case' or `default' label must be the compound statement that forms the body of a `switch'

1.240. summary1.240.1. As configured, ECLAIR will:1.240.1.1. Set the service summary to `The scope of any `case' or `default' label must be the compound statement that forms the body of a `switch''.


Service MC2.15.2: A `case' or `default' clause must either end with a `break' statement or the clause must be a compound statement whose last statement is a `break' statement

1.242. summary1.242.1. As configured, ECLAIR will:1.242.1.1. Set the service summary to `A `case' or `default' clause must either end with a `break' statement or the clause must be a compound statement whose last statement is a `break' statement'.


Service MC2.15.3: Any `switch' statement must end with the `default' clause

1.244. summary1.244.1. As configured, ECLAIR will:1.244.1.1. Set the service summary to `Any `switch' statement must end with the `default' clause'.


Service MC2.15.4: The value of any `switch' expression must not have essentially Boolean type

1.246. summary1.246.1. As configured, ECLAIR will:1.246.1.1. Set the service summary to `The value of any `switch' expression must not have essentially Boolean type'.


Service MC2.15.5: Reports any `switch' statement that does not have a `case' label

1.248. summary1.248.1. As configured, ECLAIR will:1.248.1.1. Set the service summary to `Reports any `switch' statement that does not have a `case' label'.


Service MC2.16.1: Functions must not be defined with ellipsis and there must be no use of standard library functions or macros with a variable number of arguments


1.250.1.1. Set the service summary to `Functions must not be defined with ellipsis and there must be no use of standard library functions or macros with a variable number of arguments'.


Service MC2.16.2: No function definition may call itself directly or indirectly via a chain of function calls

1.252. summary1.252.1. As configured, ECLAIR will:1.252.1.1. Set the service summary to `No function definition may call itself directly or indirectly via a chain of function calls'.


Service MC2.16.3: Checks that each parameter declaration in a function prototype declaration has an identifier

1.254. summary1.254.1. As configured, ECLAIR will:1.254.1.1. Set the service summary to `Checks that each parameter declaration in a function prototype declaration has an identifier'.


Service MC2.16.4: Parameter declarations that are in matching positions in two declarations or definitions for the same function must have the same identifiers

1.256. summary1.256.1. As configured, ECLAIR will:1.256.1.1. Set the service summary to `Parameter declarations that are in matching positions in two declarations or definitions for the same function must have the same identifiers'.


Service MC2.16.5: All function declarations must have non-empty parameter lists

1.258. summary1.258.1. As configured, ECLAIR will:1.258.1.1. Set the service summary to `All function declarations must have non-empty parameter lists'.


1.259.1.2. Enable the service.

Service MC2.16.6: Any call to a function must have an explicit protoype declaration, and the number of arguments passed to the function must match the number of parameters in the prototype

1.260. summary1.260.1. As configured, ECLAIR will:1.260.1.1. Set the service summary to Àny call to a function must have an explicit protoype declaration, and the number of arguments passed to the function must match the number of parameters in the prototype'.


Service MC2.16.7: Any pointer parameter in a function prototype that is not used to modify the addressed object must be declared as pointer to `const'

1.262. show_declarations1.262.1. As configured, ECLAIR will:1.262.1.1. Show all the declarations.

1.263. summary1.263.1. As configured, ECLAIR will:1.263.1.1. Set the service summary to Àny pointer parameter in a function prototype that is not used to modify the addressed object must be declared as pointer to `const''.


Service MC2.16.8: Any non-void function definition must not have: 1. a return statement with an empty expression; 2. any exit path that does not terminate with a return statement

1.265. summary1.265.1. As configured, ECLAIR will:1.265.1.1. Set the service summary to Àny non-void function definition must not have: 1. a return statement with an empty expression; 2. any exit path that does not terminate with a return statement'.


Service MC2.16.9: A function identifier must be preceded by `&' or followed by, a possibly empty, parenthesized list of call arguments

1.267. summary1.267.1. As configured, ECLAIR will:1.267.1.1. Set the service summary to À function identifier must be preceded by `&' or followed by, a possibly empty, parenthesized list of call arguments'.

1.268. tag

1.268.1. As configured, ECLAIR will:1.268.1.1. Tag the service with `MC2'.1.268.1.2. Enable the service.

Service MC2.16.10: If a function returns a value that contains some error information, then the value of a call to that function must not be cast to `void' and any error information must be checked

1.269. summary1.269.1. As configured, ECLAIR will:1.269.1.1. Set the service summary to Ìf a function returns a value that contains some error information, then the value of a call to that function must not be cast to `void' and any error information must be checked'.


1.271. use_samples1.271.1. As configured, ECLAIR will:1.271.1.1. Show all occurrences of ignored return values.1.271.1.2. Show one sample of return values that are cast to void.1.271.1.3. Show one sample of return values that are used.

Service MC2.17.1: If an integer is added to or subtracted from a pointer, then that pointer must point to an array or an array element

1.272. summary1.272.1. As configured, ECLAIR will:1.272.1.1. Set the service summary to Ìf an integer is added to or subtracted from a pointer, then that pointer must point to an array or an array element'.


Service MC2.17.2: If one pointer is subtracted from another pointer, then both pointers must point to elements in the same array

1.274. summary1.274.1. As configured, ECLAIR will:1.274.1.1. Set the service summary to Ìf one pointer is subtracted from another pointer, then both pointers must point to elements in the same array'.


Service MC2.17.3: If any of the operators `>', `>=', `<', `<=' are used to compare the values of pointers then both operands must point to elements in the same array


1.276.1.1. Set the service summary to `If any of the operators `>', `>=', `<', `<=' are used to compare the values of pointers then both operands must point to elements in the same array'.


Service MC2.17.4: There must be no pointer arithmetic except for array indexing where the indexed object is explicitly declared to have an array type

1.278. summary1.278.1. As configured, ECLAIR will:1.278.1.1. Set the service summary to `There must be no pointer arithmetic except for array indexing where the indexed object is explicitly declared to have an array type'.


Service MC2.17.5: Reports if the declared type of an object has more than 2 levels of pointer indirection

1.280. summary1.280.1. As configured, ECLAIR will:1.280.1.1. Set the service summary to `Reports if the declared type of an object has more than 2 levels of pointer indirection'.


Service MC2.17.6: An object with automatic storage must not have its address: 1. assigned to another automatic object of larger scope; or 2. assigned to a static object; or 3. returned by a function

1.282. summary1.282.1. As configured, ECLAIR will:1.282.1.1. Set the service summary to `An object with automatic storage must not have its address: 1. assigned to another automatic object of larger scope; or 2. assigned to a static object; or 3. returned by a function'.


Service MC2.18.1: Reports any structure or union declaration with incomplete type that is referenced in a translation unit

1.284. summary1.284.1. As configured, ECLAIR will:1.284.1.1. Set the service summary to `Reports any structure or union declaration with incomplete type that is referenced in a translation unit'.


Service MC2.18.2: Reports if an object may be assigned to an overlapping object

1.286. summary1.286.1. As configured, ECLAIR will:1.286.1.1. Set the service summary to `Reports if an object may be assigned to an overlapping object'.


Service MC2.18.3: There must be documentation that states if and how an area of memory may be reused for unrelated data

1.288. document1.288.1. As configured, ECLAIR will:1.288.1.1. Report if the documentation for `__id_service_fmt' matching the format `__document_service_fmt' in any file (included in the project's source files) is duplicated or missing.

1.289. summary1.289.1. As configured, ECLAIR will:1.289.1.1. Set the service summary to `There must be documentation that states if and how an area of memory may be reused for unrelated data'.


Service MC2.18.4: There must be no ùnion' declaration, no declaration whose type is a ùnion', or any use of a ùnion' type

1.291. summary1.291.1. As configured, ECLAIR will:1.291.1.1. Set the service summary to `There must be no ùnion' declaration, no declaration whose type is a ùnion', or any use of a ùnion' type'.


Service MC2.19.1: Reports if an `#include' directive is preceded by any code apart from other preprocessor directives or comments

1.293. summary1.293.1. As configured, ECLAIR will:1.293.1.1. Set the service summary to `Reports if an `#include' directive is preceded by any code apart from other preprocessor directives or comments'.

1.294. tag


Service MC2.19.2: The characters `'', `\', `"', or `/*' must not be used between `<' and `>' delimiters and the characters `'', `\' or `/*' must not be used between `"' delimiters in a header name preprocessing token

1.295. summary1.295.1. As configured, ECLAIR will:1.295.1.1. Set the service summary to `The characters `'', `\', `"', or `/*' must not be used between `<' and `>' delimiters and the characters `'', `\' or `/*' must not be used between `"' delimiters in a header name preprocessing token'.


Service MC2.19.3: Reports any `#include' directive that is not followed by a filename delimited by `<'`>' or double quotes

1.297. summary1.297.1. As configured, ECLAIR will:1.297.1.1. Set the service summary to `Reports any `#include' directive that is not followed by a filename delimited by `<'`>' or double quotes'.


Service MC2.19.4: A macro body must not have unbalanced brackets and may only expand to one of the following: a braced initialiser, a constant, a string literal, a parenthesized expression, a type qualifier, a storage class specifier, or a do-while-zero loop idiom

1.299. summary1.299.1. As configured, ECLAIR will:1.299.1.1. Set the service summary to `A macro body must not have unbalanced brackets and may only expand to one of the following: a braced initialiser, a constant, a string literal, a parenthesized expression, a type qualifier, a storage class specifier, or a do-while-zero loop idiom'.


Service MC2.19.5: The `#define' or `#undef' directive must never occur inside a block

1.301. summary1.301.1. As configured, ECLAIR will:1.301.1.1. Set the service summary to `The `#define' or `#undef' directive must never occur inside a block'.



Service MC2.19.6: Reports any use of the `#undef' directive

1.303. summary1.303.1. As configured, ECLAIR will:1.303.1.1. Set the service summary to `Reports any use of the `#undef' directive'.


Service MC2.19.7: An invocation of a function-like macro should not be replaceable by a function call

1.305. summary1.305.1. As configured, ECLAIR will:1.305.1.1. Set the service summary to `An invocation of a function-like macro should not be replaceable by a function call'.


Service MC2.19.8: Any call to a function-like macro must have the same number of arguments as the number of parameters in the macro's definition and all its arguments must be non-empty

1.307. summary1.307.1. As configured, ECLAIR will:1.307.1.1. Set the service summary to `Any call to a function-like macro must have the same number of arguments as the number of parameters in the macro's definition and all its arguments must be non-empty'.


Service MC2.19.9: No argument to a call to a function-like macro may be a single `#' or contain a `#' followed by a directive name (other than as part of a comment, character literal or string literal)

1.309. summary1.309.1. As configured, ECLAIR will:1.309.1.1. Set the service summary to `No argument to a call to a function-like macro may be a single `#' or contain a `#' followed by a directive name (other than as part of a comment, character literal or string literal)'.


Service MC2.19.10: Any occurrence of a macro parameter in the macro's body must be enclosed in parentheses unless it is: 1. an operand for the `#' or `##' operators; 2. (possibly indirectly) the identifier for a field reference

1.311. summary1.311.1. As configured, ECLAIR will:1.311.1.1. Set the service summary to `Any occurrence of a macro parameter in the macro's body must be enclosed in parentheses unless it is: 1. an operand for the `#' or `##' operators; 2. (possibly indirectly) the identifier for a field reference'.


Service MC2.19.11: No undefined macro may be used unless it is the argument to an `#ifdef' or `#ifndef' directive or the `defined()' operator

1.313. summary1.313.1. As configured, ECLAIR will:1.313.1.1. Set the service summary to `No undefined macro may be used unless it is the argument to an `#ifdef' or `#ifndef' directive or the `defined()' operator'.


Service MC2.19.12: Reports any macro body that contains more than one occurrence of the `#' or `##' operators

1.315. summary1.315.1. As configured, ECLAIR will:1.315.1.1. Set the service summary to `Reports any macro body that contains more than one occurrence of the `#' or `##' operators'.


Service MC2.19.13: Reports any use of the `#' and `##' preprocessor operators

1.317. summary1.317.1. As configured, ECLAIR will:1.317.1.1. Set the service summary to `Reports any use of the `#' and `##' preprocessor operators'.


Service MC2.19.14: The `defined' operator must be used in the form `defined(Macro_Id)' or `defined Macro_Id'

1.319. summary

1.319.1. As configured, ECLAIR will:1.319.1.1. Set the service summary to `The `defined' operator must be used in the form `defined(Macro_Id)' or `defined Macro_Id''.


Service MC2.19.15: Any file that is the subject of an `#include' directive must have a mechanism to avoid the file being included more than once

1.321. summary1.321.1. As configured, ECLAIR will:1.321.1.1. Set the service summary to `Any file that is the subject of an `#include' directive must have a mechanism to avoid the file being included more than once'.


Service MC2.19.16: Reports errors in the preprocessing directives even when excluded by conditional compilation

1.323. summary1.323.1. As configured, ECLAIR will:1.323.1.1. Set the service summary to `Reports errors in the preprocessing directives even when excluded by conditional compilation'.


Service MC2.19.17: No preprocessor conditional constructs may span multiple files

1.325. summary1.325.1. As configured, ECLAIR will:1.325.1.1. Set the service summary to `No preprocessor conditional constructs may span multiple files'.


Service MC2.20.1: No `#define' or `#undef' directive may be used on a reserved identifier, macro or function in the standard library or keyword

1.327. summary1.327.1. As configured, ECLAIR will:1.327.1.1. Set the service summary to `No `#define' or `#undef' directive may be used on a reserved identifier, macro or function in the standard library or keyword'.



Service MC2.20.2: No declaration may use a reserved identifier, macro or function in the standard library

1.329. summary1.329.1. As configured, ECLAIR will:1.329.1.1. Set the service summary to `No declaration may use a reserved identifier, macro or function in the standard library'.


Service MC2.20.3: There must be appropriate checks of values passed to standard libraries that have restricted input domains

1.331. summary1.331.1. As configured, ECLAIR will:1.331.1.1. Set the service summary to `There must be appropriate checks of values passed to standard libraries that have restricted input domains'.


Service MC2.20.4: No standard function related to heap manipulation and dynamic memory allocation and deallocation may be used

1.333. summary1.333.1. As configured, ECLAIR will:1.333.1.1. Set the service summary to `No standard function related to heap manipulation and dynamic memory allocation and deallocation may be used'.


Service MC2.20.5: Reports any use of the standard library error indicators

1.335. summary1.335.1. As configured, ECLAIR will:1.335.1.1. Set the service summary to `Reports any use of the standard library error indicators'.


Service MC2.20.6: Reports any use of the standard library macro `offsetof'

1.337. summary

1.337.1. As configured, ECLAIR will:1.337.1.1. Set the service summary to `Reports any use of the standard library macro òffsetof''.


Service MC2.20.7: Reports any use of the standard library macro `setjmp' and function `longjmp'

1.339. summary1.339.1. As configured, ECLAIR will:1.339.1.1. Set the service summary to `Reports any use of the standard library macro `setjmp' and function `longjmp''.


Service MC2.20.8: Reports the inclusion of the standard library header `signal.h' and any use of its macros or functions

1.341. summary1.341.1. As configured, ECLAIR will:1.341.1.1. Set the service summary to `Reports the inclusion of the standard library header `signal.h' and any use of its macros or functions'.


Service MC2.20.9: Reports the inclusion of the standard library header `stdio.h' and any use of its macros or functions

1.343. summary1.343.1. As configured, ECLAIR will:1.343.1.1. Set the service summary to `Reports the inclusion of the standard library header `stdio.h' and any use of its macros or functions'.


Service MC2.20.10: Reports any use of the standard library functions àtof', àtoi' and àtol' provided by `stdlib.h'

1.345. summary1.345.1. As configured, ECLAIR will:1.345.1.1. Set the service summary to `Reports any use of the standard library functions àtof', àtoi' and àtol' provided by `stdlib.h''.

1.346. tag


Service MC2.20.11: Reports any use of the standard library functions àbort', èxit', `getenv' and `system' provided by `stdlib.h'

1.347. summary1.347.1. As configured, ECLAIR will:1.347.1.1. Set the service summary to `Reports any use of the standard library functions àbort', èxit', `getenv' and `system' provided by `stdlib.h''.


Service MC2.20.12: Reports the inclusion of the standard library headers `time.h' and `wcsftime.h' and any use of its functions, members, structs or types provided by `time.h' or the function `wcsftime' provided by `wchar.h'

1.349. summary1.349.1. As configured, ECLAIR will:1.349.1.1. Set the service summary to `Reports the inclusion of the standard library headers `time.h' and `wcsftime.h' and any use of its functions, members, structs or types provided by `time.h' or the function `wcsftime' provided by `wchar.h''.


Service MC2.21.1: Reports if possible runtime unexpected behavior is not documented

1.351. document1.351.1. As configured, ECLAIR will:1.351.1.1. Report if the documentation for `__overflow_fmt' matching the format `__document_fmt' in any file (included in the project's source files) is duplicated or missing.1.351.1.2. Report if the documentation for `__wrapping_fmt' matching the format `__document_fmt' in any file (included in the project's source files) is duplicated or missing.1.351.1.3. Report if the documentation for `__shift_fmt' matching the format `__document_fmt' in any file (included in the project's source files) is duplicated or missing.1.351.1.4. Report if the documentation for `__division_fmt' matching the format `__document_fmt' in any file (included in the project's source files) is duplicated or missing.1.351.1.5. Report if the documentation for `__side_effects_fmt' matching the format `__document_fmt' in any file (included in the project's source files) is duplicated or missing.1.351.1.6. Report if the documentation for `__uninit_auto_fmt' matching the format `__document_fmt' in any file (included in the project's source files) is duplicated or missing.1.351.1.7. Report if the documentation for `__uninit_alloc_fmt' matching the format `__document_fmt' in any file (included in the project's source files) is duplicated or missing.1.351.1.8. Report if the documentation for `__write_to_const_fmt' matching the format `__document_fmt' in any file (included in the project's source files) is duplicated or missing.1.351.1.9. Report if the documentation for `__non_volatile_access_fmt' matching the format `__document_fmt' in any file (included in the project's source files) is duplicated or missing.1.351.1.10. Report if the documentation for `__dead_alloc_fmt' matching the format `__document_fmt' in any file (included in the project's source files) is duplicated or missing.1.351.1.11. Report if the documentation for `__dead_auto_fmt' matching the format `__document_fmt' in any file (included in the project's source files) is duplicated or missing.

1.351.1.12. Report if the documentation for `__dead_thread_fmt' matching the format `__document_fmt' in any file (included in the project's source files) is duplicated or missing.1.351.1.13. Report if the documentation for `__null_ptr_fmt' matching the format `__document_fmt' in any file (included in the project's source files) is duplicated or missing.1.351.1.14. Report if the documentation for `__invalid_ptr_access_fmt' matching the format `__document_fmt' in any file (included in the project's source files) is duplicated or missing.1.351.1.15. Report if the documentation for `__bounds_ptr_fmt' matching the format `__document_fmt' in any file (included in the project's source files) is duplicated or missing.1.351.1.16. Report if the documentation for `__unaligned_ptr_fmt' matching the format `__document_fmt' in any file (included in the project's source files) is duplicated or missing.1.351.1.17. Report if the documentation for `__mistyped_object_fmt' matching the format `__document_fmt' in any file (included in the project's source files) is duplicated or missing.1.351.1.18. Report if the documentation for `__mistyped_function_fmt' matching the format `__document_fmt' in any file (included in the project's source files) is duplicated or missing.1.351.1.19. Report if the documentation for `__invalid_ptr_arith_fmt' matching the format `__document_fmt' in any file (included in the project's source files) is duplicated or missing.1.351.1.20. Report if the documentation for `__invalid_ptr_compare_fmt' matching the format `__document_fmt' in any file (included in the project's source files) is duplicated or missing.1.351.1.21. Report if the documentation for `__overlap_copy_fmt' matching the format `__document_fmt' in any file (included in the project's source files) is duplicated or missing.1.351.1.22. Report if the documentation for `__invalid_fun_args_fmt' matching the format `__document_fmt' in any file (included in the project's source files) is duplicated or missing.1.351.1.23. Report if the documentation for `__return_error_fmt' matching the format `__document_fmt' in any file (included in the project's source files) is duplicated or missing.1.351.1.24. Report if the documentation for `__tainted_input_fmt' matching the format `__document_fmt' in any file (included in the project's source files) is duplicated or missing.1.351.1.25. Report if the documentation for `__data_race_fmt' matching the format `__document_fmt' in any file (included in the project's source files) is duplicated or missing.1.351.1.26. Report if the documentation for `__invariant_viol_fmt' matching the format `__document_fmt' in any file (included in the project's source files) is duplicated or missing.1.351.1.27. Report if the documentation for `__comms_error_fmt' matching the format `__document_fmt' in any file (included in the project's source files) is duplicated or missing.

1.352. summary1.352.1. As configured, ECLAIR will:1.352.1.1. Set the service summary to `Reports if possible runtime unexpected behavior is not documented'.


Enabled Servicesparser B.PARSERThe code shall be parsable without errors by the ECLAIR parser. If the code is parsed with errors the AST is incomplete and the results of ECLAIR analyses are likely to be incorrect

report B.CBSHide reports using ECLAIR style suppression comments

report B.REPORT.ECBOutput reports in ECB format

report B.REPORT.ERROutput B.PARSER error reports in plain text to standard error

rule MC2.1.1Reports code that does not conform to the C90 standard

rule MC2.1.2Reports code that depends on any undefined or unspecified behavior as given by the C90 standard Annex G

rule MC2.1.3If more than one compiler and/or language is used to compile and link the source files, then there must be a common defined interface standard for object code to which these languages/compilers/assemblers conform

rule MC2.1.4Reports any compiler/linkers used by the project that do not support 31 character significance and case sensitivity for external identifiers

rule MC2.1.5If floating-point types are used, then the floating-point standard used by the implementation must be documented

rule MC2.2.1Assembly language instructions must be encapsulated in assembler functions, in C functions that contain no other C code or in macros

rule MC2.2.2Reports any comments not using the `/* ... */' style

rule MC2.2.3Reports any use of the character sequence `/*' inside a comment

rule MC2.2.4Reports sections of code that are commented out

rule MC2.3.1Any use of code that has implementation-defined behavior defined by Annex G.3 in the C90 standard, that is not specifically addressed by other MISRA rules, must be documented

rule MC2.3.2The source and execution character sets and the corresponding encoding must be documented

rule MC2.3.3If integer division is used, its expected direction of rounding in the chosen compiler must be documented

rule MC2.3.4Checks that each `#pragma' directive is documented

rule MC2.3.5If there is a reference to a `class', `struct' or `union' that contains a bit-field then the implementation-defined behaviour and packing of bit-fields must be documented

rule MC2.3.6Any libraries such as the standard libraries, third-party libraries or libraries designed in-house and used by the project must be written to be MISRA-compliant and subject to appropriate validation

rule MC2.4.1Reports any escape sequences that are not defined in the C90 standard

rule MC2.4.2Reports any trigraphs

rule MC2.5.1Identifiers (including macro names) must differ in their first 31 characters both before and after any macro expansion

rule MC2.5.2No identifier may use the same name as (and hence hide) an identifier in an outer scope

rule MC2.5.3A typedef name must not be used for any other entity

rule MC2.5.4A tag name must not be used for any other entity

rule MC2.5.5Any identifier of a variable or function with static storage duration must not be reused by any other any other entity anywhere

rule MC2.5.6Reports if an identifier in one namespace has the same name as another identifier in another namespace unless both of them are for `struct' or ùnion' members

rule MC2.5.7No entity may use the same identifier name as any other entity except when all the entities with the same name have the same declaration in a header file and that file is included in multiple source files

rule MC2.6.1A variable with plain `char' type must not be used for numeric values

rule MC2.6.2Variables with ùnsigned' or `signed' `char' type must not be used for non-numeric values

rule MC2.6.3Reports any direct use of signed and unsigned variants of `char', ìnt', `short', `long', `long long', `float', `double' or `long double' and any typedef name for any of these variants that does not indicate the size and signedness

rule MC2.6.4Bitfields must be explicitly defined as `signed' ìnt' or ùnsigned' ìnt'

rule MC2.6.5Bitfields (even if unnamed) whose type is `signed' must have a length greater than 1 bit

rule MC2.7.1There must be no occurrence of an octal constant or an octal escape sequence

rule MC2.8.1A function must have a prototype declaration visible to its definiton and before any reference to it

rule MC2.8.2In the declarations for variables, functions and typedefs the types must be explicitly stated

rule MC2.8.3The types of the corresponding parameters or return value in the prototype declarations and/or definition of a function must be identical (types that are identical use the same `typedef' names, the same desugared type and have the same qualifiers)

rule MC2.8.4Reports if multiple declarations or definition of the same variable or function have incompatible types

rule MC2.8.5Reports any variable or function definition in a header file

rule MC2.8.6Reports functions declared at block scope

rule MC2.8.7Reports any referenced variable that is global or has file scope and for which all references are in the same function

rule MC2.8.8Any variable or function with external linkage must be declared at most once in a header file

rule MC2.8.9Reports a variable or function with external linkage that is undefined or has more than one definition

rule MC2.8.10All declarations and definitions of variables or functions at file scope must have internal linkage unless external linkage is required

rule MC2.8.11Any variable or function declaration or definition with internal linkage must include the storage class specifier `static'

rule MC2.8.12Any array declaration with external linkage must be initialized or the size must be explicitly stated

rule MC2.9.1All automatic variables must have a value written to them before being read

rule MC2.9.2All non-zero initialization of arrays or structures must use braces that match their structure

rule MC2.9.3Each enumeration initializer must initialise none, just the first or all the enumeration constants

rule MC2.10.1Reports if the value of an expression with integer type is implicitly converted to a different underlying type and one of the following holds: 1. the conversion is not to a wider integer type of the same signedness; 2. the expression is complex; 3. the expression is not constant and is a function argument; 4. the expression is not constant and is a return expression

rule MC2.10.2Reports the value of an expression with floating-point type that is implicitly converted to a different type and one of the following holds: 1. the conversion is not to a wider floating-point type; 2. the expression is complex; 3. the expression is a function argument; 4. the expression is a return expression

rule MC2.10.3The value of a complex expression of integer type must not be cast to a type that: 1. is wider than the underlying type of the expression, or 2. has a different signedness to that of the underlying type of the expression

rule MC2.10.4The value of a complex expression of floating-point type must not be cast to a wider floating-point type

rule MC2.10.5If an operand of `<<' or `~' has underlying type ùnsigned' `char' or `short', then the result must be immediately cast to the underlying type of the operand

rule MC2.10.6Any integer constant whose magnitude is such that it is intrinsically unsigned must have a Ù' or ù' suffix

rule MC2.11.1A function pointer must only be converted: 1. to or from an integer type; or 2. from a null pointer constant that was explicitly cast to `void*'

rule MC2.11.2A pointer to a non-function may only be converted to or from: 1. an integral type, or 2. another pointer to object type, or 3. a pointer to void

rule MC2.11.3A pointer type must not be cast to an integer type and an integer type must not be cast to a pointer type

rule MC2.11.4A pointer to non-function, non-void type must not be cast to a pointer to a different non-function, non-void type (the canonical form and ignoring any qualifications)

rule MC2.11.5A pointer to a type with a `const' or `volatile' qualifier must not be cast to a pointer to type without the qualifier

rule MC2.12.1Parentheses must be used in expressions to indicate the expected operator precedence

rule MC2.12.2The value of an expression must not depend on the unspecified order of evaluation defined in the C90 standard

rule MC2.12.3If a `sizeof' operator is applied to an expression, then that expression must be a (possibly volatile) object

rule MC2.12.4Reports if the right-hand operand of a logical `&&' or `||' operator contains side effects

rule MC2.12.5An operand of a logical `&&' or `||' operator must be either: 1. a primary expression (i.e., a single identifier, constant or parenthesized expression); or 2. a binary logical expression with the same operator

rule MC2.12.6Numeric and Boolean expressions should be placed in appropriate contexts

rule MC2.12.7Reports any the bitwise operators: `~', `<<', `<<=', `>>', `>>=', `&', `&=', `^', `^=', `|' and `|=' that are applied to operands whose underlying type is signed

rule MC2.12.8The value of the right-hand operand of a shift operator must lie between zero and one less than the width in bits of the underlying type of the left-hand operand

rule MC2.12.9Reports a unary minus operator that is applied to an expression whose underlying type is unsigned

rule MC2.12.10Reports any use of the comma operator

rule MC2.12.11Any constant unsigned integer expression that leads to wrap-around may only occur within the context of an explicit cast

rule MC2.12.12There must be no access to an object of floating-point type via a `union' or via a pointer to a memory area where an object of floating-point type may be stored

rule MC2.12.13The increment or decrement operator must not be used when there is another side-effect in the same statement or if the result is used within that expression

rule MC2.13.1In the object sources, reports an assignment operator that is used as an operand of a logical operator or as the condition part of a selection or iteration statement

rule MC2.13.2Any expression that does not have an effectively Boolean type must not used in a Boolean context

rule MC2.13.3Reports any floating-point expressions that are tested for equality or inequality

rule MC2.13.4Any variable, call expression, array subscript expression, member expression, complex expression or dereference expression with floating point type must not be used in the controlling part of a `for' statement

rule MC2.13.5Reports `for' statement loops that cannot be proved to have a finite number of iterations

rule MC2.13.6A `for' statement loop counter must not be modified in the loop body

rule MC2.13.7A Boolean expression must not always have the same value

rule MC2.14.1Reports any unreachable code

rule MC2.14.2Reports any expression whose value is ignored and has no side-effects

rule MC2.14.3Reports a null statement that is not on a line by itself

rule MC2.14.4Reports any `goto' statement (indirect or direct)

rule MC2.14.5Reports any `continue' statement

rule MC2.14.6Reports if there is more than one `break' statement that may terminate a `do', `for', or `while' statement

rule MC2.14.7Reports any `return' statement that is not the last statement in a function

rule MC2.14.8Reports any `switch', `do', `for', or `while' statement that does not have its body enclosed in braces

rule MC2.14.9In an ìf' statement: 1. the condition part must be immediately followed by a compound statement; 2. any èlse' keyword must be followed by another ìf' statement or by a compound statement

rule MC2.14.10Any ìf' statement with èlse if' clauses must have the final èlse if' followed by an èlse' clause or a comment

rule MC2.15.0A switch statement must be as defined in the normative text in Section 6.15 of MISRA C:2004 that is not covered by the MISRA Rules 15.1, 15,2, 15.3, 15.4 and 15.5

rule MC2.15.1The scope of any `case' or `default' label must be the compound statement that forms the body of a `switch'

rule MC2.15.2A `case' or `default' clause must either end with a `break' statement or the clause must be a compound statement whose last statement is a `break' statement

rule MC2.15.3Any `switch' statement must end with the `default' clause

rule MC2.15.4The value of any `switch' expression must not have essentially Boolean type

rule MC2.15.5Reports any `switch' statement that does not have a `case' label

rule MC2.16.1Functions must not be defined with ellipsis and there must be no use of standard library functions or macros with a variable number of arguments

rule MC2.16.2No function definition may call itself directly or indirectly via a chain of function calls

rule MC2.16.3Checks that each parameter declaration in a function prototype declaration has an identifier

rule MC2.16.4Parameter declarations that are in matching positions in two declarations or definitions for the same function must have the same identifiers

rule MC2.16.5All function declarations must have non-empty parameter lists

rule MC2.16.6Any call to a function must have an explicit protoype declaration, and the number of arguments passed to the function must match the number of parameters in the prototype

rule MC2.16.7Any pointer parameter in a function prototype that is not used to modify the addressed object must be declared as pointer to `const'

rule MC2.16.8Any non-void function definition must not have: 1. a return statement with an empty expression; 2. any exit path that does not terminate with a return statement

rule MC2.16.9A function identifier must be preceded by `&' or followed by, a possibly empty, parenthesized list of call arguments

rule MC2.16.10If a function returns a value that contains some error information, then the value of a call to that function must not be cast to `void' and any error information must be checked

rule MC2.17.1If an integer is added to or subtracted from a pointer, then that pointer must point to an array or an array element

rule MC2.17.2If one pointer is subtracted from another pointer, then both pointers must point to elements in the same array

rule MC2.17.3If any of the operators `>', `>=', `<', `<=' are used to compare the values of pointers then both operands must point to elements in the same array

rule MC2.17.4There must be no pointer arithmetic except for array indexing where the indexed object is explicitly declared to have an array type

rule MC2.17.5Reports if the declared type of an object has more than 2 levels of pointer indirection

rule MC2.17.6An object with automatic storage must not have its address: 1. assigned to another automatic object of larger scope; or 2. assigned to a static object; or 3. returned by a function

rule MC2.18.1Reports any structure or union declaration with incomplete type that is referenced in a translation unit

rule MC2.18.2Reports if an object may be assigned to an overlapping object

rule MC2.18.3There must be documentation that states if and how an area of memory may be reused for unrelated data

rule MC2.18.4There must be no ùnion' declaration, no declaration whose type is a ùnion', or any use of a ùnion' type

rule MC2.19.1Reports if an `#include' directive is preceded by any code apart from other preprocessor directives or comments

rule MC2.19.2The characters `'', `\', `"', or `/*' must not be used between `<' and `>' delimiters and the characters `'', `\' or `/*' must not be used between `"' delimiters in a header name preprocessing token

rule MC2.19.3Reports any `#include' directive that is not followed by a filename delimited by `<'`>' or double quotes

rule MC2.19.4A macro body must not have unbalanced brackets and may only expand to one of the following: a braced initialiser, a constant, a string literal, a parenthesized expression, a type qualifier, a storage class specifier, or a do-while-zero loop idiom

rule MC2.19.5The `#define' or `#undef' directive must never occur inside a block

rule MC2.19.6Reports any use of the `#undef' directive

rule MC2.19.7An invocation of a function-like macro should not be replaceable by a function call

rule MC2.19.8Any call to a function-like macro must have the same number of arguments as the number of parameters in the macro's definition and all its arguments must be non-empty

rule MC2.19.9No argument to a call to a function-like macro may be a single `#' or contain a `#' followed by a directive name (other than as part of a comment, character literal or string literal)

rule MC2.19.10Any occurrence of a macro parameter in the macro's body must be enclosed in parentheses unless it is: 1. an operand for the `#' or `##' operators; 2. (possibly indirectly) the identifier for a field reference

rule MC2.19.11No undefined macro may be used unless it is the argument to an `#ifdef' or `#ifndef' directive or the `defined()' operator

rule MC2.19.12Reports any macro body that contains more than one occurrence of the `#' or `##' operators

rule MC2.19.13Reports any use of the `#' and `##' preprocessor operators

rule MC2.19.14The `defined' operator must be used in the form `defined(Macro_Id)' or `defined Macro_Id'

rule MC2.19.15Any file that is the subject of an `#include' directive must have a mechanism to avoid the file being included more than once

rule MC2.19.16Reports errors in the preprocessing directives even when excluded by conditional compilation

rule MC2.19.17No preprocessor conditional constructs may span multiple files

rule MC2.20.1No `#define' or `#undef' directive may be used on a reserved identifier, macro or function in the standard library or keyword

rule MC2.20.2No declaration may use a reserved identifier, macro or function in the standard library

rule MC2.20.3There must be appropriate checks of values passed to standard libraries that have restricted input domains

rule MC2.20.4No standard function related to heap manipulation and dynamic memory allocation and deallocation may be used

rule MC2.20.5Reports any use of the standard library error indicators

rule MC2.20.6Reports any use of the standard library macro òffsetof'

rule MC2.20.7Reports any use of the standard library macro `setjmp' and function `longjmp'

rule MC2.20.8Reports the inclusion of the standard library header `signal.h' and any use of its macros or functions

rule MC2.20.9Reports the inclusion of the standard library header `stdio.h' and any use of its macros or functions

rule MC2.20.10Reports any use of the standard library functions àtof', àtoi' and àtol' provided by `stdlib.h'

rule MC2.20.11Reports any use of the standard library functions àbort', èxit', `getenv' and `system' provided by `stdlib.h'

rule MC2.20.12Reports the inclusion of the standard library headers `time.h' and `wcsftime.h' and any use of its functions, members, structs or types provided by `time.h' or the function `wcsftime' provided by `wchar.h'

rule MC2.21.1Reports if possible runtime unexpected behavior is not documented

tool B.EXPLAINExplain used configuration

Analysis FramesFrame 1 (CLEAN): 2019-09-16 13:11:50.628cwd ports/arm-cortex/qk/gnucommand /tmp/qpc_4.5.02a/ECLAIR/make_cortex-m3_cs producer omaster-x86_64-linux/6d87c29b18ccaa982c7787a944bb6efb25348be2

Directory ECLAIRecl ECLAIR/MC2_alt_summaries.ecl (SHA1: 251612b3721e78798f2fb80d58b2cf143a04ff8a)ecl ECLAIR/MC2_full.ecl (SHA1: 57b5e257e5ddd097e17f6a53bd9bb839f99090dc)

Frame 2 (COMMAND): 2019-09-16 13:11:53.527cwd ports/arm-cortex/qk/gnucommand arm-none-eabi-gcc -g -c -mcpu=cortex-m3 -mthumb -Wall -O -I. -I../../../../include

-I../../../../qep/source ../../../../qep/source/qhsm_top.c -o./dbg/qhsm_top.oproducer omaster-x86_64-linux/6d87c29b18ccaa982c7787a944bb6efb25348be2


Frame 3 (UNIT): 2019-09-16 13:11:51.451target ports/arm-cortex/qk/gnu/dbg/qhsm_top.o

Directory /opt/devkitpro/devkitARM/arm-none-eabi/includesource /opt/devkitpro/devkitARM/arm-none-eabi/include/stdint.h (SHA1:

c2776997ac8ab80ef6b88da1378679aba9e9ac7e)Directory /opt/devkitpro/devkitARM/arm-none-eabi/include/machinesource /opt/devkitpro/devkitARM/arm-none-eabi/include/machine/_default_types.h (SHA1:

0dc5912fd89a9ed1279277eaae84248c585b4ae0)Directory /opt/devkitpro/devkitARM/arm-none-eabi/include/syssource /opt/devkitpro/devkitARM/arm-none-eabi/include/sys/features.h (SHA1:

85b5c899899973ede7d3e4ffefb0b4858324e7b3)

Directory /opt/devkitpro/devkitARM/lib/gcc/arm-none-eabi/4.9.2/includesource /opt/devkitpro/devkitARM/lib/gcc/arm-none-eabi/4.9.2/include/stdint.h (SHA1:

0a3e341f5e2de1c08c50919e49701eeeb4644c29)

Directory includesource include/qep.h (SHA1: 27fc455477dd2ccd3c7bf809b8a9d587b29d227c)source include/qevt.h (SHA1: 66c0a9e5c02d309e4ccfb3d65ae45ac4c8fa49c3)source include/qs_dummy.h (SHA1: 5234c3678ff2e8d8be88b723c1e8ce250fe07bd9)

Directory ports/arm-cortex/qk/gnusource ports/arm-cortex/qk/gnu/qep_port.h (SHA1:

5c74035543b8460448721865dec5c989450e5c0b)

Directory qep/sourcesource qep/source/qep_pkg.h (SHA1: 8278eae50cae46816015fffbd8d586b68dd25468)source qep/source/qhsm_top.c (SHA1: 28834851ef8b69ec30c092f2386c85c369181ce7)


-I../../../../qep/source ../../../../qep/source/qhsm_ini.c -o./dbg/qhsm_ini.oproducer omaster-x86_64-linux/6d87c29b18ccaa982c7787a944bb6efb25348be2


Frame 5 (UNIT): 2019-09-16 13:11:51.527target ports/arm-cortex/qk/gnu/dbg/qhsm_ini.o






0a3e341f5e2de1c08c50919e49701eeeb4644c29)

Directory includesource include/qassert.h (SHA1: af953f08f63817932c01375b4342c8bee2701884)source include/qep.h (SHA1: 27fc455477dd2ccd3c7bf809b8a9d587b29d227c)source include/qevt.h (SHA1: 66c0a9e5c02d309e4ccfb3d65ae45ac4c8fa49c3)source include/qs_dummy.h (SHA1: 5234c3678ff2e8d8be88b723c1e8ce250fe07bd9)


5c74035543b8460448721865dec5c989450e5c0b)

Directory qep/sourcesource qep/source/qep_pkg.h (SHA1: 8278eae50cae46816015fffbd8d586b68dd25468)source qep/source/qhsm_ini.c (SHA1: e9b1a5738d30bffaaf1d96958f26741350e4883e)


-I../../../../qep/source ../../../../qep/source/qfsm_ini.c -o./dbg/qfsm_ini.oproducer omaster-x86_64-linux/6d87c29b18ccaa982c7787a944bb6efb25348be2


Frame 7 (UNIT): 2019-09-16 13:11:51.569






0a3e341f5e2de1c08c50919e49701eeeb4644c29)



5c74035543b8460448721865dec5c989450e5c0b)

Directory qep/sourcesource qep/source/qep_pkg.h (SHA1: 8278eae50cae46816015fffbd8d586b68dd25468)source qep/source/qfsm_ini.c (SHA1: f0c16be155cd860569ab7e948dd51cc4f6651b46)


-I../../../../qep/source ../../../../qep/source/qep.c -o./dbg/qep.oproducer omaster-x86_64-linux/6d87c29b18ccaa982c7787a944bb6efb25348be2


Frame 9 (UNIT): 2019-09-16 13:11:51.536target ports/arm-cortex/qk/gnu/dbg/qep.o






0a3e341f5e2de1c08c50919e49701eeeb4644c29)

Directory includesource include/qep.h (SHA1: 27fc455477dd2ccd3c7bf809b8a9d587b29d227c)source include/qevt.h (SHA1: 66c0a9e5c02d309e4ccfb3d65ae45ac4c8fa49c3)source include/qs_dummy.h (SHA1: 5234c3678ff2e8d8be88b723c1e8ce250fe07bd9)


5c74035543b8460448721865dec5c989450e5c0b)

Directory qep/sourcesource qep/source/qep.c (SHA1: f6f926717e685e652afc97a844acf83592b7b8eb)source qep/source/qep_pkg.h (SHA1: 8278eae50cae46816015fffbd8d586b68dd25468)


-I../../../../qep/source ../../../../qep/source/qfsm_dis.c -o./dbg/qfsm_dis.oproducer omaster-x86_64-linux/6d87c29b18ccaa982c7787a944bb6efb25348be2


Frame 11 (UNIT): 2019-09-16 13:11:51.569target ports/arm-cortex/qk/gnu/dbg/qfsm_dis.o






0a3e341f5e2de1c08c50919e49701eeeb4644c29)



5c74035543b8460448721865dec5c989450e5c0b)

Directory qep/sourcesource qep/source/qep_pkg.h (SHA1: 8278eae50cae46816015fffbd8d586b68dd25468)source qep/source/qfsm_dis.c (SHA1: 725deafead6658ec79c1e94e3420b8c22da2f647)


-I../../../../qep/source ../../../../qep/source/qhsm_dis.c -o./dbg/qhsm_dis.oproducer omaster-x86_64-linux/6d87c29b18ccaa982c7787a944bb6efb25348be2


Frame 13 (UNIT): 2019-09-16 13:11:51.639target ports/arm-cortex/qk/gnu/dbg/qhsm_dis.o






0a3e341f5e2de1c08c50919e49701eeeb4644c29)



5c74035543b8460448721865dec5c989450e5c0b)

Directory qep/sourcesource qep/source/qep_pkg.h (SHA1: 8278eae50cae46816015fffbd8d586b68dd25468)source qep/source/qhsm_dis.c (SHA1: 4622f215cabfe3e2615691f1b07afd74ac6981bf)

Frame 14 (COMMAND): 2019-09-16 13:11:53.738command arm-none-eabi-gcc -g -c -mcpu=cortex-m3 -mthumb -Wall -O -I. -I../../../../include

-I../../../../qep/source ../../../../qep/source/qhsm_in.c -o./dbg/qhsm_in.oproducer omaster-x86_64-linux/6d87c29b18ccaa982c7787a944bb6efb25348be2


Frame 15 (UNIT): 2019-09-16 13:11:51.562target ports/arm-cortex/qk/gnu/dbg/qhsm_in.o






0a3e341f5e2de1c08c50919e49701eeeb4644c29)



5c74035543b8460448721865dec5c989450e5c0b)

Directory qep/sourcesource qep/source/qep_pkg.h (SHA1: 8278eae50cae46816015fffbd8d586b68dd25468)source qep/source/qhsm_in.c (SHA1: 40c98fce36484d52c7dafbde847a034ac05d06d1)

Frame 16 (COMMAND): 2019-09-16 13:11:54.561cwd ports/arm-cortex/qk/gnucommand arm-none-eabi-ar rs ./dbg/libqp_cortex-m3_cs.a ./dbg/qep.o ./dbg/qfsm_ini.o ./dbg/qfsm_dis.o

./dbg/qhsm_ini.o ./dbg/qhsm_dis.o ./dbg/qhsm_top.o ./dbg/qhsm_in.oproducer omaster-x86_64-linux/6d87c29b18ccaa982c7787a944bb6efb25348be2


Frame 17 (OBJECT): 2019-09-16 13:11:54.553target ports/arm-cortex/qk/gnu/dbg/libqp_cortex-m3_cs.a

Directory ports/arm-cortex/qk/gnu/dbgobject ports/arm-cortex/qk/gnu/dbg/qep.oobject ports/arm-cortex/qk/gnu/dbg/qfsm_dis.oobject ports/arm-cortex/qk/gnu/dbg/qfsm_ini.oobject ports/arm-cortex/qk/gnu/dbg/qhsm_dis.oobject ports/arm-cortex/qk/gnu/dbg/qhsm_in.oobject ports/arm-cortex/qk/gnu/dbg/qhsm_ini.oobject ports/arm-cortex/qk/gnu/dbg/qhsm_top.o


-I../../../../qf/source ../../../../qf/source/qa_defer.c -o./dbg/qa_defer.oproducer omaster-x86_64-linux/6d87c29b18ccaa982c7787a944bb6efb25348be2


Frame 20 (UNIT): 2019-09-16 13:11:55.607target ports/arm-cortex/qk/gnu/dbg/qa_defer.o






0a3e341f5e2de1c08c50919e49701eeeb4644c29)

Directory includesource include/qassert.h (SHA1: af953f08f63817932c01375b4342c8bee2701884)source include/qep.h (SHA1: 27fc455477dd2ccd3c7bf809b8a9d587b29d227c)source include/qequeue.h (SHA1: 7b1e772c9f2ef5243d5f9a9cd947d8a902c12c0f)source include/qevt.h (SHA1: 66c0a9e5c02d309e4ccfb3d65ae45ac4c8fa49c3)source include/qf.h (SHA1: af561cd6a53aa98395c2d9ac4d8fe0a72c11df42)source include/qk.h (SHA1: d6d73058e4f546e6b3834a2366eb4346c9fec2f5)source include/qmpool.h (SHA1: 910608d3d5e8252d0c6077b2d0b97dbb6a254fe3)source include/qpset.h (SHA1: dcf9f6de83e7e9115d839178c26e311f4ef21134)source include/qs_dummy.h (SHA1: 5234c3678ff2e8d8be88b723c1e8ce250fe07bd9)


5c74035543b8460448721865dec5c989450e5c0b)source ports/arm-cortex/qk/gnu/qf_port.h (SHA1:

5735a625b65f139b70c214c3b8abc08aa1430068)source ports/arm-cortex/qk/gnu/qk_port.h (SHA1:

5031727517eac343c8e86a20091e1f0f55cb9731)

Directory qf/sourcesource qf/source/qa_defer.c (SHA1: fc1b2b740592b43db8b5fa90b93930e3c56f6dc2)source qf/source/qf_pkg.h (SHA1: 64ba90674fdd24250ee140618f2a2be0b4335cf4)

Frame 19 (COMMAND): 2019-09-16 13:11:58.800command arm-none-eabi-gcc -g -c -mcpu=cortex-m3 -mthumb -Wall -O -I. -I../../../../include

-I../../../../qf/source ../../../../qf/source/qa_lifo.c -o./dbg/qa_lifo.oproducer omaster-x86_64-linux/6d87c29b18ccaa982c7787a944bb6efb25348be2


Frame 21 (UNIT): 2019-09-16 13:11:55.628target ports/arm-cortex/qk/gnu/dbg/qa_lifo.o






0a3e341f5e2de1c08c50919e49701eeeb4644c29)





5031727517eac343c8e86a20091e1f0f55cb9731)

Directory qf/sourcesource qf/source/qa_lifo.c (SHA1: 9490d9f0d57083a69608c3e0105de6798318e257)source qf/source/qf_pkg.h (SHA1: 64ba90674fdd24250ee140618f2a2be0b4335cf4)


-I../../../../qf/source ../../../../qf/source/qa_usub.c -o./dbg/qa_usub.oproducer omaster-x86_64-linux/6d87c29b18ccaa982c7787a944bb6efb25348be2


Frame 26 (UNIT): 2019-09-16 13:11:55.618target ports/arm-cortex/qk/gnu/dbg/qa_usub.o






0a3e341f5e2de1c08c50919e49701eeeb4644c29)





5031727517eac343c8e86a20091e1f0f55cb9731)

Directory qf/sourcesource qf/source/qa_usub.c (SHA1: b36f4cb38393bfcc47697ed287eaf38695287727)source qf/source/qf_pkg.h (SHA1: 64ba90674fdd24250ee140618f2a2be0b4335cf4)


-I../../../../qf/source ../../../../qf/source/qa_usuba.c -o./dbg/qa_usuba.oproducer omaster-x86_64-linux/6d87c29b18ccaa982c7787a944bb6efb25348be2


Frame 27 (UNIT): 2019-09-16 13:11:55.621






0a3e341f5e2de1c08c50919e49701eeeb4644c29)





5031727517eac343c8e86a20091e1f0f55cb9731)

Directory qf/sourcesource qf/source/qa_usuba.c (SHA1: 600b58d545146cc5dac9720271391247f5e50f6d)source qf/source/qf_pkg.h (SHA1: 64ba90674fdd24250ee140618f2a2be0b4335cf4)


-I../../../../qf/source ../../../../qf/source/qa_get_.c -o./dbg/qa_get_.oproducer omaster-x86_64-linux/6d87c29b18ccaa982c7787a944bb6efb25348be2


Frame 30 (UNIT): 2019-09-16 13:11:55.636target ports/arm-cortex/qk/gnu/dbg/qa_get_.o






0a3e341f5e2de1c08c50919e49701eeeb4644c29)





5031727517eac343c8e86a20091e1f0f55cb9731)

Directory qf/sourcesource qf/source/qa_get_.c (SHA1: 54b63fef1feb6451a70fcf8fced5842cb5d3e647)source qf/source/qf_pkg.h (SHA1: 64ba90674fdd24250ee140618f2a2be0b4335cf4)


-I../../../../qf/source ../../../../qf/source/qa_sub.c -o./dbg/qa_sub.oproducer omaster-x86_64-linux/6d87c29b18ccaa982c7787a944bb6efb25348be2


Frame 31 (UNIT): 2019-09-16 13:11:55.618target ports/arm-cortex/qk/gnu/dbg/qa_sub.o






0a3e341f5e2de1c08c50919e49701eeeb4644c29)





5031727517eac343c8e86a20091e1f0f55cb9731)

Directory qf/sourcesource qf/source/qa_sub.c (SHA1: af9670e77cd4254f9b2dc0e183666bc2dd24f207)source qf/source/qf_pkg.h (SHA1: 64ba90674fdd24250ee140618f2a2be0b4335cf4)


-I../../../../qf/source ../../../../qf/source/qa_fifo.c -o./dbg/qa_fifo.oproducer omaster-x86_64-linux/6d87c29b18ccaa982c7787a944bb6efb25348be2


Frame 32 (UNIT): 2019-09-16 13:11:55.627target ports/arm-cortex/qk/gnu/dbg/qa_fifo.o






0a3e341f5e2de1c08c50919e49701eeeb4644c29)





5031727517eac343c8e86a20091e1f0f55cb9731)

Directory qf/sourcesource qf/source/qa_fifo.c (SHA1: 78ec36652f795eae83cc7bb84daef733033eaf89)source qf/source/qf_pkg.h (SHA1: 64ba90674fdd24250ee140618f2a2be0b4335cf4)


-I../../../../qf/source ../../../../qf/source/qeq_fifo.c -o./dbg/qeq_fifo.oproducer omaster-x86_64-linux/6d87c29b18ccaa982c7787a944bb6efb25348be2


Frame 33 (UNIT): 2019-09-16 13:11:55.619target ports/arm-cortex/qk/gnu/dbg/qeq_fifo.o






0a3e341f5e2de1c08c50919e49701eeeb4644c29)





5031727517eac343c8e86a20091e1f0f55cb9731)

Directory qf/sourcesource qf/source/qeq_fifo.c (SHA1: 5eda5758d2b5c69f6d550e955b383e2554764c17)source qf/source/qf_pkg.h (SHA1: 64ba90674fdd24250ee140618f2a2be0b4335cf4)


-I../../../../qf/source ../../../../qf/source/qeq_init.c -o./dbg/qeq_init.oproducer omaster-x86_64-linux/6d87c29b18ccaa982c7787a944bb6efb25348be2


Frame 37 (UNIT): 2019-09-16 13:11:59.703target ports/arm-cortex/qk/gnu/dbg/qeq_init.o






0a3e341f5e2de1c08c50919e49701eeeb4644c29)

Directory includesource include/qep.h (SHA1: 27fc455477dd2ccd3c7bf809b8a9d587b29d227c)source include/qequeue.h (SHA1: 7b1e772c9f2ef5243d5f9a9cd947d8a902c12c0f)source include/qevt.h (SHA1: 66c0a9e5c02d309e4ccfb3d65ae45ac4c8fa49c3)source include/qf.h (SHA1: af561cd6a53aa98395c2d9ac4d8fe0a72c11df42)source include/qk.h (SHA1: d6d73058e4f546e6b3834a2366eb4346c9fec2f5)source include/qmpool.h (SHA1: 910608d3d5e8252d0c6077b2d0b97dbb6a254fe3)source include/qpset.h (SHA1: dcf9f6de83e7e9115d839178c26e311f4ef21134)source include/qs_dummy.h (SHA1: 5234c3678ff2e8d8be88b723c1e8ce250fe07bd9)




5031727517eac343c8e86a20091e1f0f55cb9731)

Directory qf/sourcesource qf/source/qeq_init.c (SHA1: b1968bf7849a6b9dd1c1845971fb8129962c7565)source qf/source/qf_pkg.h (SHA1: 64ba90674fdd24250ee140618f2a2be0b4335cf4)


-I../../../../qf/source ../../../../qf/source/qf_gc.c -o./dbg/qf_gc.oproducer omaster-x86_64-linux/6d87c29b18ccaa982c7787a944bb6efb25348be2


Frame 40 (UNIT): 2019-09-16 13:11:59.735target ports/arm-cortex/qk/gnu/dbg/qf_gc.o






0a3e341f5e2de1c08c50919e49701eeeb4644c29)





5031727517eac343c8e86a20091e1f0f55cb9731)

Directory qf/sourcesource qf/source/qf_gc.c (SHA1: c2538e7cffbab1836c16a348924d534384a4c6ee)source qf/source/qf_pkg.h (SHA1: 64ba90674fdd24250ee140618f2a2be0b4335cf4)


-I../../../../qf/source ../../../../qf/source/qf_new.c -o./dbg/qf_new.oproducer omaster-x86_64-linux/6d87c29b18ccaa982c7787a944bb6efb25348be2


Frame 41 (UNIT): 2019-09-16 13:11:59.724target ports/arm-cortex/qk/gnu/dbg/qf_new.o






0a3e341f5e2de1c08c50919e49701eeeb4644c29)





5031727517eac343c8e86a20091e1f0f55cb9731)

Directory qf/sourcesource qf/source/qf_new.c (SHA1: 24b47c1bd572a643d8b892f95cc3f5270851319a)source qf/source/qf_pkg.h (SHA1: 64ba90674fdd24250ee140618f2a2be0b4335cf4)


-I../../../../qf/source ../../../../qf/source/qeq_get.c -o./dbg/qeq_get.oproducer omaster-x86_64-linux/6d87c29b18ccaa982c7787a944bb6efb25348be2


Frame 43 (UNIT): 2019-09-16 13:11:59.737target ports/arm-cortex/qk/gnu/dbg/qeq_get.o






0a3e341f5e2de1c08c50919e49701eeeb4644c29)





5031727517eac343c8e86a20091e1f0f55cb9731)

Directory qf/sourcesource qf/source/qeq_get.c (SHA1: 396d3b95aa851093244b5e122542b23af47efbf5)source qf/source/qf_pkg.h (SHA1: 64ba90674fdd24250ee140618f2a2be0b4335cf4)


-I../../../../qf/source ../../../../qf/source/qf_log2.c -o./dbg/qf_log2.oproducer omaster-x86_64-linux/6d87c29b18ccaa982c7787a944bb6efb25348be2


Frame 44 (UNIT): 2019-09-16 13:11:59.705target ports/arm-cortex/qk/gnu/dbg/qf_log2.o






0a3e341f5e2de1c08c50919e49701eeeb4644c29)





5031727517eac343c8e86a20091e1f0f55cb9731)

Directory qf/sourcesource qf/source/qf_log2.c (SHA1: 0a5bcdfccd202d3ff7f7b19c5a440c7340a2065f)source qf/source/qf_pkg.h (SHA1: 64ba90674fdd24250ee140618f2a2be0b4335cf4)


-I../../../../qf/source ../../../../qf/source/qf_act.c -o./dbg/qf_act.oproducer omaster-x86_64-linux/6d87c29b18ccaa982c7787a944bb6efb25348be2


Frame 46 (UNIT): 2019-09-16 13:11:59.743target ports/arm-cortex/qk/gnu/dbg/qf_act.o






0a3e341f5e2de1c08c50919e49701eeeb4644c29)





5031727517eac343c8e86a20091e1f0f55cb9731)

Directory qf/sourcesource qf/source/qf_act.c (SHA1: 3d237216c3ec1c8ea43a3f13803470e2f3478631)source qf/source/qf_pkg.h (SHA1: 64ba90674fdd24250ee140618f2a2be0b4335cf4)


-I../../../../qf/source ../../../../qf/source/qeq_lifo.c -o./dbg/qeq_lifo.oproducer omaster-x86_64-linux/6d87c29b18ccaa982c7787a944bb6efb25348be2


Frame 47 (UNIT): 2019-09-16 13:11:59.732target ports/arm-cortex/qk/gnu/dbg/qeq_lifo.o






0a3e341f5e2de1c08c50919e49701eeeb4644c29)





5031727517eac343c8e86a20091e1f0f55cb9731)

Directory qf/sourcesource qf/source/qeq_lifo.c (SHA1: 83321b8b5babca1fcf8153004f0a7fa55b7b1e0b)source qf/source/qf_pkg.h (SHA1: 64ba90674fdd24250ee140618f2a2be0b4335cf4)


-I../../../../qf/source ../../../../qf/source/qf_pool.c -o./dbg/qf_pool.oproducer omaster-x86_64-linux/6d87c29b18ccaa982c7787a944bb6efb25348be2


Frame 49 (UNIT): 2019-09-16 13:11:59.778target ports/arm-cortex/qk/gnu/dbg/qf_pool.o






0a3e341f5e2de1c08c50919e49701eeeb4644c29)





5031727517eac343c8e86a20091e1f0f55cb9731)

Directory qf/sourcesource qf/source/qf_pkg.h (SHA1: 64ba90674fdd24250ee140618f2a2be0b4335cf4)source qf/source/qf_pool.c (SHA1: f74592caca9f7b833ea164e3cedee686203cfdec)


-I../../../../qf/source ../../../../qf/source/qf_psini.c -o./dbg/qf_psini.oproducer omaster-x86_64-linux/6d87c29b18ccaa982c7787a944bb6efb25348be2


Frame 51 (UNIT): 2019-09-16 13:12:03.466target ports/arm-cortex/qk/gnu/dbg/qf_psini.o






0a3e341f5e2de1c08c50919e49701eeeb4644c29)





5031727517eac343c8e86a20091e1f0f55cb9731)

Directory qf/sourcesource qf/source/qf_pkg.h (SHA1: 64ba90674fdd24250ee140618f2a2be0b4335cf4)source qf/source/qf_psini.c (SHA1: f23de547e03f866aea02ca891ba90fc9346bfaa8)


-I../../../../qf/source ../../../../qf/source/qf_pspub.c -o./dbg/qf_pspub.oproducer omaster-x86_64-linux/6d87c29b18ccaa982c7787a944bb6efb25348be2


Frame 53 (UNIT): 2019-09-16 13:12:03.636target ports/arm-cortex/qk/gnu/dbg/qf_pspub.o






0a3e341f5e2de1c08c50919e49701eeeb4644c29)





5031727517eac343c8e86a20091e1f0f55cb9731)

Directory qf/sourcesource qf/source/qf_pkg.h (SHA1: 64ba90674fdd24250ee140618f2a2be0b4335cf4)source qf/source/qf_pspub.c (SHA1: 0387f402984a6c999aef9def4b3ed74910ecede2)


-I../../../../qf/source ../../../../qf/source/qf_pwr2.c -o./dbg/qf_pwr2.oproducer omaster-x86_64-linux/6d87c29b18ccaa982c7787a944bb6efb25348be2


Frame 55 (UNIT): 2019-09-16 13:12:03.657target ports/arm-cortex/qk/gnu/dbg/qf_pwr2.o






0a3e341f5e2de1c08c50919e49701eeeb4644c29)





5031727517eac343c8e86a20091e1f0f55cb9731)

Directory qf/sourcesource qf/source/qf_pkg.h (SHA1: 64ba90674fdd24250ee140618f2a2be0b4335cf4)source qf/source/qf_pwr2.c (SHA1: dc53934992dfafbfa1171b248f0b32b853580499)


-I../../../../qf/source ../../../../qf/source/qf_tick.c -o./dbg/qf_tick.oproducer omaster-x86_64-linux/6d87c29b18ccaa982c7787a944bb6efb25348be2


Frame 57 (UNIT): 2019-09-16 13:12:03.722target ports/arm-cortex/qk/gnu/dbg/qf_tick.o






0a3e341f5e2de1c08c50919e49701eeeb4644c29)





5031727517eac343c8e86a20091e1f0f55cb9731)

Directory qf/sourcesource qf/source/qf_pkg.h (SHA1: 64ba90674fdd24250ee140618f2a2be0b4335cf4)source qf/source/qf_tick.c (SHA1: d8133b6c3a3f8e5e343c4dfb579fcdd40737d965)


-I../../../../qf/source ../../../../qf/source/qmp_get.c -o./dbg/qmp_get.oproducer omaster-x86_64-linux/6d87c29b18ccaa982c7787a944bb6efb25348be2


Frame 59 (UNIT): 2019-09-16 13:12:03.728target ports/arm-cortex/qk/gnu/dbg/qmp_get.o






0a3e341f5e2de1c08c50919e49701eeeb4644c29)





5031727517eac343c8e86a20091e1f0f55cb9731)

Directory qf/sourcesource qf/source/qf_pkg.h (SHA1: 64ba90674fdd24250ee140618f2a2be0b4335cf4)source qf/source/qmp_get.c (SHA1: 726e13fe266aa162aa6ca0a118b2942c574ace0e)


-I../../../../qf/source ../../../../qf/source/qmp_init.c -o./dbg/qmp_init.oproducer omaster-x86_64-linux/6d87c29b18ccaa982c7787a944bb6efb25348be2


Frame 61 (UNIT): 2019-09-16 13:12:03.729target ports/arm-cortex/qk/gnu/dbg/qmp_init.o






0a3e341f5e2de1c08c50919e49701eeeb4644c29)





5031727517eac343c8e86a20091e1f0f55cb9731)

Directory qf/sourcesource qf/source/qf_pkg.h (SHA1: 64ba90674fdd24250ee140618f2a2be0b4335cf4)source qf/source/qmp_init.c (SHA1: 80c3a8325313bbea4360286530de6baf7221f8cb)


-I../../../../qf/source ../../../../qf/source/qmp_put.c -o./dbg/qmp_put.oproducer omaster-x86_64-linux/6d87c29b18ccaa982c7787a944bb6efb25348be2


Frame 63 (UNIT): 2019-09-16 13:12:03.771target ports/arm-cortex/qk/gnu/dbg/qmp_put.o






0a3e341f5e2de1c08c50919e49701eeeb4644c29)





5031727517eac343c8e86a20091e1f0f55cb9731)

Directory qf/sourcesource qf/source/qf_pkg.h (SHA1: 64ba90674fdd24250ee140618f2a2be0b4335cf4)source qf/source/qmp_put.c (SHA1: a0fcfec6462890f7bc5cc3e0285956ba9198986a)


-I../../../../qf/source ../../../../qf/source/qte_ctor.c -o./dbg/qte_ctor.oproducer omaster-x86_64-linux/6d87c29b18ccaa982c7787a944bb6efb25348be2


Frame 65 (UNIT): 2019-09-16 13:12:04.165target ports/arm-cortex/qk/gnu/dbg/qte_ctor.o






0a3e341f5e2de1c08c50919e49701eeeb4644c29)





5031727517eac343c8e86a20091e1f0f55cb9731)

Directory qf/sourcesource qf/source/qf_pkg.h (SHA1: 64ba90674fdd24250ee140618f2a2be0b4335cf4)source qf/source/qte_ctor.c (SHA1: 3a7a004b56ae44afde982cc255fb2e9657bdfa42)


-I../../../../qf/source ../../../../qf/source/qte_arm.c -o./dbg/qte_arm.oproducer omaster-x86_64-linux/6d87c29b18ccaa982c7787a944bb6efb25348be2


Frame 67 (UNIT): 2019-09-16 13:12:07.182target ports/arm-cortex/qk/gnu/dbg/qte_arm.o






0a3e341f5e2de1c08c50919e49701eeeb4644c29)





5031727517eac343c8e86a20091e1f0f55cb9731)

Directory qf/sourcesource qf/source/qf_pkg.h (SHA1: 64ba90674fdd24250ee140618f2a2be0b4335cf4)source qf/source/qte_arm.c (SHA1: 69e995e6bd85ef42e2fb07d75fe5361a3021d19f)


-I../../../../qf/source ../../../../qf/source/qte_ctr.c -o./dbg/qte_ctr.oproducer omaster-x86_64-linux/6d87c29b18ccaa982c7787a944bb6efb25348be2


Frame 69 (UNIT): 2019-09-16 13:12:07.368target ports/arm-cortex/qk/gnu/dbg/qte_ctr.o






0a3e341f5e2de1c08c50919e49701eeeb4644c29)





5031727517eac343c8e86a20091e1f0f55cb9731)

Directory qf/sourcesource qf/source/qf_pkg.h (SHA1: 64ba90674fdd24250ee140618f2a2be0b4335cf4)source qf/source/qte_ctr.c (SHA1: 32cd273a4bcae2d85ed7414b2333fa5d91e4b2c3)


-I../../../../qf/source ../../../../qf/source/qte_rarm.c -o./dbg/qte_rarm.oproducer omaster-x86_64-linux/6d87c29b18ccaa982c7787a944bb6efb25348be2


Frame 71 (UNIT): 2019-09-16 13:12:07.442target ports/arm-cortex/qk/gnu/dbg/qte_rarm.o






0a3e341f5e2de1c08c50919e49701eeeb4644c29)





5031727517eac343c8e86a20091e1f0f55cb9731)

Directory qf/sourcesource qf/source/qf_pkg.h (SHA1: 64ba90674fdd24250ee140618f2a2be0b4335cf4)source qf/source/qte_rarm.c (SHA1: 5156525615ce92399fd279de9d242ea5ab692f15)


-I../../../../qf/source ../../../../qf/source/qte_darm.c -o./dbg/qte_darm.oproducer omaster-x86_64-linux/6d87c29b18ccaa982c7787a944bb6efb25348be2


Frame 73 (UNIT): 2019-09-16 13:12:07.406target ports/arm-cortex/qk/gnu/dbg/qte_darm.o






0a3e341f5e2de1c08c50919e49701eeeb4644c29)





5031727517eac343c8e86a20091e1f0f55cb9731)

Directory qf/sourcesource qf/source/qf_pkg.h (SHA1: 64ba90674fdd24250ee140618f2a2be0b4335cf4)source qf/source/qte_darm.c (SHA1: 1104656261d312b68a798f86c1ca523acdf39755)

Frame 74 (COMMAND): 2019-09-16 13:12:09.707cwd ports/arm-cortex/qk/gnucommand arm-none-eabi-ar rs ./dbg/libqp_cortex-m3_cs.a ./dbg/qa_defer.o ./dbg/qa_fifo.o ./dbg/qa_lifo.o

./dbg/qa_get_.o ./dbg/qa_sub.o ./dbg/qa_usub.o ./dbg/qa_usuba.o ./dbg/qeq_fifo.o

./dbg/qeq_get.o ./dbg/qeq_init.o ./dbg/qeq_lifo.o ./dbg/qf_act.o ./dbg/qf_gc.o ./dbg/qf_log2.o

./dbg/qf_new.o ./dbg/qf_pool.o ./dbg/qf_psini.o ./dbg/qf_pspub.o ./dbg/qf_pwr2.o ./dbg/qf_tick.o

./dbg/qmp_get.o ./dbg/qmp_init.o ./dbg/qmp_put.o ./dbg/qte_ctor.o ./dbg/qte_arm.o ./dbg/qte_darm.o

./dbg/qte_rarm.o ./dbg/qte_ctr.o ./dbg/qk_port.oproducer omaster-x86_64-linux/6d87c29b18ccaa982c7787a944bb6efb25348be2



Directory ports/arm-cortex/qk/gnu/dbgobject ports/arm-cortex/qk/gnu/dbg/qa_defer.oobject ports/arm-cortex/qk/gnu/dbg/qa_fifo.oobject ports/arm-cortex/qk/gnu/dbg/qa_get_.oobject ports/arm-cortex/qk/gnu/dbg/qa_lifo.oobject ports/arm-cortex/qk/gnu/dbg/qa_sub.oobject ports/arm-cortex/qk/gnu/dbg/qa_usub.oobject ports/arm-cortex/qk/gnu/dbg/qa_usuba.oobject ports/arm-cortex/qk/gnu/dbg/qeq_fifo.oobject ports/arm-cortex/qk/gnu/dbg/qeq_get.oobject ports/arm-cortex/qk/gnu/dbg/qeq_init.oobject ports/arm-cortex/qk/gnu/dbg/qeq_lifo.oobject ports/arm-cortex/qk/gnu/dbg/qf_act.oobject ports/arm-cortex/qk/gnu/dbg/qf_gc.oobject ports/arm-cortex/qk/gnu/dbg/qf_log2.oobject ports/arm-cortex/qk/gnu/dbg/qf_new.oobject ports/arm-cortex/qk/gnu/dbg/qf_pool.oobject ports/arm-cortex/qk/gnu/dbg/qf_psini.oobject ports/arm-cortex/qk/gnu/dbg/qf_pspub.oobject ports/arm-cortex/qk/gnu/dbg/qf_pwr2.oobject ports/arm-cortex/qk/gnu/dbg/qf_tick.oobject ports/arm-cortex/qk/gnu/dbg/qk_port.oobject ports/arm-cortex/qk/gnu/dbg/qmp_get.oobject ports/arm-cortex/qk/gnu/dbg/qmp_init.oobject ports/arm-cortex/qk/gnu/dbg/qmp_put.oobject ports/arm-cortex/qk/gnu/dbg/qte_arm.oobject ports/arm-cortex/qk/gnu/dbg/qte_ctor.oobject ports/arm-cortex/qk/gnu/dbg/qte_ctr.oobject ports/arm-cortex/qk/gnu/dbg/qte_darm.oobject ports/arm-cortex/qk/gnu/dbg/qte_rarm.o


-I../../../../qk/source ../../../../qk/source/qk.c -o./dbg/qk.oproducer omaster-x86_64-linux/6d87c29b18ccaa982c7787a944bb6efb25348be2


Frame 77 (UNIT): 2019-09-16 13:12:10.232target ports/arm-cortex/qk/gnu/dbg/qk.o






0a3e341f5e2de1c08c50919e49701eeeb4644c29)





5031727517eac343c8e86a20091e1f0f55cb9731)

Directory qk/sourcesource qk/source/qk.c (SHA1: 95df3f335de742716c77a17f0e770fd80dd4d5af)source qk/source/qk_pkg.h (SHA1: 1adfa71401be9869455be4b718ef5367a9e3fe2e)


-I../../../../qk/source ../../../../qk/source/qk_sched.c -o./dbg/qk_sched.oproducer omaster-x86_64-linux/6d87c29b18ccaa982c7787a944bb6efb25348be2


Frame 79 (UNIT): 2019-09-16 13:12:12.583target ports/arm-cortex/qk/gnu/dbg/qk_sched.o






0a3e341f5e2de1c08c50919e49701eeeb4644c29)





5031727517eac343c8e86a20091e1f0f55cb9731)

Directory qk/sourcesource qk/source/qk_pkg.h (SHA1: 1adfa71401be9869455be4b718ef5367a9e3fe2e)source qk/source/qk_sched.c (SHA1: 507ba62c6259c6b11c233adc69001c078a6d1d47)


-I../../../../qk/source ../../../../qk/source/qk_mutex.c -o./dbg/qk_mutex.oproducer omaster-x86_64-linux/6d87c29b18ccaa982c7787a944bb6efb25348be2


Frame 81 (UNIT): 2019-09-16 13:12:14.968target ports/arm-cortex/qk/gnu/dbg/qk_mutex.o






0a3e341f5e2de1c08c50919e49701eeeb4644c29)





5031727517eac343c8e86a20091e1f0f55cb9731)

Directory qk/sourcesource qk/source/qk_mutex.c (SHA1: bcbeceacd5a38752d74ef60cf7e39d2e269a7d7f)source qk/source/qk_pkg.h (SHA1: 1adfa71401be9869455be4b718ef5367a9e3fe2e)

Frame 82 (COMMAND): 2019-09-16 13:12:17.046cwd ports/arm-cortex/qk/gnucommand arm-none-eabi-ar rs ./dbg/libqp_cortex-m3_cs.a ./dbg/qk.o ./dbg/qk_sched.o ./dbg/qk_mutex.o

./dbg/qk_port.oproducer omaster-x86_64-linux/6d87c29b18ccaa982c7787a944bb6efb25348be2



Directory ports/arm-cortex/qk/gnu/dbgobject ports/arm-cortex/qk/gnu/dbg/qk.oobject ports/arm-cortex/qk/gnu/dbg/qk_mutex.oobject ports/arm-cortex/qk/gnu/dbg/qk_port.oobject ports/arm-cortex/qk/gnu/dbg/qk_sched.o

Frame 84 (END): 2019-09-16 13:12:17.409cwd ports/arm-cortex/qk/gnucommand /tmp/qpc_4.5.02a/ECLAIR/make_cortex-m3_cs producer omaster-x86_64-linux/6d87c29b18ccaa982c7787a944bb6efb25348be2


Frame 85 (COMMAND): 2019-09-16 13:12:17.917cwd examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811command arm-none-eabi-gcc -MM -MT dbg/system_lm3s.o -mcpu=cortex-m3 -mthumb -Wall -g -O

-I/tmp/qpc_4.5.02a/ECLAIR/../include -I/tmp/qpc_4.5.02a/ECLAIR/../ports/arm-cortex/qk/gnu -I. -Icmsis cmsis/system_lm3s.c

producer omaster-x86_64-linux/6d87c29b18ccaa982c7787a944bb6efb25348be2Directory ECLAIRecl ECLAIR/MC2_alt_summaries.ecl (SHA1: 251612b3721e78798f2fb80d58b2cf143a04ff8a)ecl ECLAIR/MC2_full.ecl (SHA1: 57b5e257e5ddd097e17f6a53bd9bb839f99090dc)

Frame 86 (COMMAND): 2019-09-16 13:12:17.974cwd examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811command arm-none-eabi-gcc -MM -MT dbg/startup_lm3s.o -mcpu=cortex-m3 -mthumb -Wall -g -O

-I/tmp/qpc_4.5.02a/ECLAIR/../include -I/tmp/qpc_4.5.02a/ECLAIR/../ports/arm-cortex/qk/gnu -I. -Icmsis cmsis/startup_lm3s.c


Frame 87 (COMMAND): 2019-09-16 13:12:18.025cwd examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811command arm-none-eabi-gcc -MM -MT dbg/main.o -mcpu=cortex-m3 -mthumb -Wall -g -O

-I/tmp/qpc_4.5.02a/ECLAIR/../include -I/tmp/qpc_4.5.02a/ECLAIR/../ports/arm-cortex/qk/gnu -I. -Icmsis main.c


Frame 88 (COMMAND): 2019-09-16 13:12:18.027cwd examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811command arm-none-eabi-gcc -MM -MT dbg/display96x16x1.o -mcpu=cortex-m3 -mthumb -Wall -g -O

-I/tmp/qpc_4.5.02a/ECLAIR/../include -I/tmp/qpc_4.5.02a/ECLAIR/../ports/arm-cortex/qk/gnu -I. -Icmsis display96x16x1.c


Frame 89 (COMMAND): 2019-09-16 13:12:18.028cwd examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811command arm-none-eabi-gcc -MM -MT dbg/bsp.o -mcpu=cortex-m3 -mthumb -Wall -g -O

-I/tmp/qpc_4.5.02a/ECLAIR/../include -I/tmp/qpc_4.5.02a/ECLAIR/../ports/arm-cortex/qk/gnu -I. -Icmsis bsp.c


Frame 90 (COMMAND): 2019-09-16 13:12:18.026cwd examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811command arm-none-eabi-gcc -MM -MT dbg/philo.o -mcpu=cortex-m3 -mthumb -Wall -g -O

-I/tmp/qpc_4.5.02a/ECLAIR/../include -I/tmp/qpc_4.5.02a/ECLAIR/../ports/arm-cortex/qk/gnu -I. -Icmsis philo.c

producer omaster-x86_64-linux/6d87c29b18ccaa982c7787a944bb6efb25348be2


Frame 91 (COMMAND): 2019-09-16 13:12:18.027command arm-none-eabi-gcc -MM -MT dbg/table.o -mcpu=cortex-m3 -mthumb -Wall -g -O

-I/tmp/qpc_4.5.02a/ECLAIR/../include -I/tmp/qpc_4.5.02a/ECLAIR/../ports/arm-cortex/qk/gnu -I. -Icmsis table.c


Frame 92 (COMMAND): 2019-09-16 13:12:24.630cwd examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811command arm-none-eabi-gcc -mcpu=cortex-m3 -mthumb -Wall -g -O -I/tmp/qpc_4.5.02a/ECLAIR/../include

-I/tmp/qpc_4.5.02a/ECLAIR/../ports/arm-cortex/qk/gnu -I. -Icmsis -c cmsis/system_lm3s.c -o dbg/system_lm3s.o


Frame 93 (UNIT): 2019-09-16 13:12:19.291target examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811/dbg/system_lm3s.o






0a3e341f5e2de1c08c50919e49701eeeb4644c29)

Directory examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811source examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811/lm3s_config.h (SHA1:

44542c7f518d67bfa16d97021295806286cec3cd)

Directory examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811/cmsissource examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811/cmsis/core_cm3.h (SHA1:

4d93a945af0845558973ea9aba1649dd6162cad8)source examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811/cmsis/core_cmFunc.h (SHA1:

dd3c35d953a3379bb7384f284f66896e455f8716)source examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811/cmsis/core_cmInstr.h (SHA1:

95469b590d901c0fee2aedeed7c1e49fcf933b88)source examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811/cmsis/lm3s_cmsis.h (SHA1:

277d4179db09057a2636c0032b0b0c8bc3d7b733)source examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811/cmsis/system_lm3s.c (SHA1:

f5f629efdc08d6fe284a90d1fb7bfb8a95701469)source examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811/cmsis/system_lm3s.h (SHA1:

e546ec3b7c146ec7cfbe81a072f87e95c6c79ff4)


-I/tmp/qpc_4.5.02a/ECLAIR/../ports/arm-cortex/qk/gnu -I. -Icmsis -c bsp.c -o dbg/bsp.o


Frame 95 (UNIT): 2019-09-16 13:12:19.380target examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811/dbg/bsp.o






0a3e341f5e2de1c08c50919e49701eeeb4644c29)

Directory examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811source examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811/bsp.c (SHA1:

a11ab303e06dc74c258b5acb47f71423947d8a27)source examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811/bsp.h (SHA1:

e1e1a0eefba3dc2d56b96a302574da065f697fa8)source examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811/display96x16x1.h (SHA1:

2ac4450f625f1117d92e2ca33ffabdbac8fcac31)source examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811/dpp.h (SHA1:

29a53c878d9215f0eb75ec1b53fe28ec8c0784d1)





277d4179db09057a2636c0032b0b0c8bc3d7b733)source examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811/cmsis/system_lm3s.h (SHA1:


Directory includesource include/qassert.h (SHA1: af953f08f63817932c01375b4342c8bee2701884)source include/qep.h (SHA1: 27fc455477dd2ccd3c7bf809b8a9d587b29d227c)source include/qequeue.h (SHA1: 7b1e772c9f2ef5243d5f9a9cd947d8a902c12c0f)source include/qevt.h (SHA1: 66c0a9e5c02d309e4ccfb3d65ae45ac4c8fa49c3)source include/qf.h (SHA1: af561cd6a53aa98395c2d9ac4d8fe0a72c11df42)source include/qk.h (SHA1: d6d73058e4f546e6b3834a2366eb4346c9fec2f5)source include/qmpool.h (SHA1: 910608d3d5e8252d0c6077b2d0b97dbb6a254fe3)source include/qp_port.h (SHA1: ec99c97e459d86779745f2f75939717be3f383d3)source include/qpset.h (SHA1: dcf9f6de83e7e9115d839178c26e311f4ef21134)source include/qs_dummy.h (SHA1: 5234c3678ff2e8d8be88b723c1e8ce250fe07bd9)




5031727517eac343c8e86a20091e1f0f55cb9731)


-I/tmp/qpc_4.5.02a/ECLAIR/../ports/arm-cortex/qk/gnu -I. -Icmsis -c cmsis/startup_lm3s.c -o dbg/startup_lm3s.o


Frame 97 (UNIT): 2019-09-16 13:12:18.665target examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811/dbg/startup_lm3s.o

Directory examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811/cmsissource examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811/cmsis/startup_lm3s.c (SHA1:

7c4f9f67d47b4215a083108b26f033d588d13c04)


-I/tmp/qpc_4.5.02a/ECLAIR/../ports/arm-cortex/qk/gnu -I. -Icmsis -c main.c -o dbg/main.oproducer omaster-x86_64-linux/6d87c29b18ccaa982c7787a944bb6efb25348be2


Frame 99 (UNIT): 2019-09-16 13:12:18.903target examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811/dbg/main.o






0a3e341f5e2de1c08c50919e49701eeeb4644c29)

Directory examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811source examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811/bsp.h (SHA1:

e1e1a0eefba3dc2d56b96a302574da065f697fa8)source examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811/dpp.h (SHA1:

29a53c878d9215f0eb75ec1b53fe28ec8c0784d1)source examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811/main.c (SHA1:

b41d56021686d548347b98a71da88a0378259978)





5031727517eac343c8e86a20091e1f0f55cb9731)


-I/tmp/qpc_4.5.02a/ECLAIR/../ports/arm-cortex/qk/gnu -I. -Icmsis -c philo.c -o dbg/philo.oproducer omaster-x86_64-linux/6d87c29b18ccaa982c7787a944bb6efb25348be2


Frame 102 (UNIT): 2019-09-16 13:12:18.960target examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811/dbg/philo.o






0a3e341f5e2de1c08c50919e49701eeeb4644c29)



29a53c878d9215f0eb75ec1b53fe28ec8c0784d1)source examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811/philo.c (SHA1:

d7e1a1ebefef487ca5bd03188d08806bea6c450b)





5031727517eac343c8e86a20091e1f0f55cb9731)


-I/tmp/qpc_4.5.02a/ECLAIR/../ports/arm-cortex/qk/gnu -I. -Icmsis -c display96x16x1.c -o dbg/display96x16x1.o


Frame 103 (UNIT): 2019-09-16 13:12:19.362target examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811/dbg/display96x16x1.o






0a3e341f5e2de1c08c50919e49701eeeb4644c29)

Directory examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811source examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811/display96x16x1.c (SHA1:

6abed1fddda9c21792cf4cee9aa6543d8f3a1ed7)source examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811/display96x16x1.h (SHA1:

2ac4450f625f1117d92e2ca33ffabdbac8fcac31)





277d4179db09057a2636c0032b0b0c8bc3d7b733)source examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811/cmsis/system_lm3s.h (SHA1:



-I/tmp/qpc_4.5.02a/ECLAIR/../ports/arm-cortex/qk/gnu -I. -Icmsis -c table.c -o dbg/table.oproducer omaster-x86_64-linux/6d87c29b18ccaa982c7787a944bb6efb25348be2


Frame 105 (UNIT): 2019-09-16 13:12:18.993target examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811/dbg/table.o






0a3e341f5e2de1c08c50919e49701eeeb4644c29)



29a53c878d9215f0eb75ec1b53fe28ec8c0784d1)source examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811/table.c (SHA1:

c92ae4a6da460b750dca99bbe27732ae4d4b5016)





5031727517eac343c8e86a20091e1f0f55cb9731)

Frame 106 (COMMAND): 2019-09-16 13:12:38.334cwd examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811command arm-none-eabi-gcc -Tlm3s811.ld -mcpu=cortex-m3 -mthumb -nostdlib -Xlinker -Map=dbg/dpp-

qk.map -L/tmp/qpc_4.5.02a/ECLAIR/../ports/arm-cortex/qk/gnu/dbg -o dbg/dpp-qk.elf dbg/bsp.o dbg/philo.o dbg/display96x16x1.o dbg/table.o dbg/main.o dbg/startup_lm3s.o dbg/system_lm3s.o -lqp_cortex-m3_cs


Frame 107 (PROGRAM): 2019-09-16 13:12:26.450target examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811/dbg/dpp-qk.elf


a11ab303e06dc74c258b5acb47f71423947d8a27)source examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811/dpp.h (SHA1:

29a53c878d9215f0eb75ec1b53fe28ec8c0784d1)source examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811/philo.c (SHA1:

d7e1a1ebefef487ca5bd03188d08806bea6c450b)source examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811/table.c (SHA1:

c92ae4a6da460b750dca99bbe27732ae4d4b5016)Directory examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811/cmsissource examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811/cmsis/core_cm3.h (SHA1:

4d93a945af0845558973ea9aba1649dd6162cad8)source examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811/cmsis/lm3s_cmsis.h (SHA1:

277d4179db09057a2636c0032b0b0c8bc3d7b733)source examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811/cmsis/system_lm3s.c (SHA1:

f5f629efdc08d6fe284a90d1fb7bfb8a95701469)Directory examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811/dbgobject examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811/dbg/bsp.oobject examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811/dbg/display96x16x1.oobject examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811/dbg/main.oobject examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811/dbg/philo.oobject examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811/dbg/startup_lm3s.oobject examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811/dbg/system_lm3s.oobject examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811/dbg/table.o





5031727517eac343c8e86a20091e1f0f55cb9731)

Directory ports/arm-cortex/qk/gnu/dbgobject ports/arm-cortex/qk/gnu/dbg/libqp_cortex-m3_cs.a

Directory qep/sourcesource qep/source/qep.c (SHA1: f6f926717e685e652afc97a844acf83592b7b8eb)source qep/source/qep_pkg.h (SHA1: 8278eae50cae46816015fffbd8d586b68dd25468)source qep/source/qfsm_dis.c (SHA1: 725deafead6658ec79c1e94e3420b8c22da2f647)source qep/source/qfsm_ini.c (SHA1: f0c16be155cd860569ab7e948dd51cc4f6651b46)source qep/source/qhsm_dis.c (SHA1: 4622f215cabfe3e2615691f1b07afd74ac6981bf)source qep/source/qhsm_in.c (SHA1: 40c98fce36484d52c7dafbde847a034ac05d06d1)source qep/source/qhsm_ini.c (SHA1: e9b1a5738d30bffaaf1d96958f26741350e4883e)source qep/source/qhsm_top.c (SHA1: 28834851ef8b69ec30c092f2386c85c369181ce7)

Directory qf/sourcesource qf/source/qa_defer.c (SHA1: fc1b2b740592b43db8b5fa90b93930e3c56f6dc2)

source qf/source/qa_fifo.c (SHA1: 78ec36652f795eae83cc7bb84daef733033eaf89)source qf/source/qa_get_.c (SHA1: 54b63fef1feb6451a70fcf8fced5842cb5d3e647)source qf/source/qa_lifo.c (SHA1: 9490d9f0d57083a69608c3e0105de6798318e257)source qf/source/qa_sub.c (SHA1: af9670e77cd4254f9b2dc0e183666bc2dd24f207)source qf/source/qa_usub.c (SHA1: b36f4cb38393bfcc47697ed287eaf38695287727)source qf/source/qa_usuba.c (SHA1: 600b58d545146cc5dac9720271391247f5e50f6d)source qf/source/qeq_fifo.c (SHA1: 5eda5758d2b5c69f6d550e955b383e2554764c17)source qf/source/qeq_get.c (SHA1: 396d3b95aa851093244b5e122542b23af47efbf5)source qf/source/qeq_init.c (SHA1: b1968bf7849a6b9dd1c1845971fb8129962c7565)source qf/source/qeq_lifo.c (SHA1: 83321b8b5babca1fcf8153004f0a7fa55b7b1e0b)source qf/source/qf_act.c (SHA1: 3d237216c3ec1c8ea43a3f13803470e2f3478631)source qf/source/qf_gc.c (SHA1: c2538e7cffbab1836c16a348924d534384a4c6ee)source qf/source/qf_new.c (SHA1: 24b47c1bd572a643d8b892f95cc3f5270851319a)source qf/source/qf_pkg.h (SHA1: 64ba90674fdd24250ee140618f2a2be0b4335cf4)source qf/source/qf_pool.c (SHA1: f74592caca9f7b833ea164e3cedee686203cfdec)source qf/source/qf_psini.c (SHA1: f23de547e03f866aea02ca891ba90fc9346bfaa8)source qf/source/qf_pspub.c (SHA1: 0387f402984a6c999aef9def4b3ed74910ecede2)source qf/source/qf_tick.c (SHA1: d8133b6c3a3f8e5e343c4dfb579fcdd40737d965)source qf/source/qmp_get.c (SHA1: 726e13fe266aa162aa6ca0a118b2942c574ace0e)source qf/source/qmp_init.c (SHA1: 80c3a8325313bbea4360286530de6baf7221f8cb)source qf/source/qmp_put.c (SHA1: a0fcfec6462890f7bc5cc3e0285956ba9198986a)source qf/source/qte_arm.c (SHA1: 69e995e6bd85ef42e2fb07d75fe5361a3021d19f)source qf/source/qte_ctor.c (SHA1: 3a7a004b56ae44afde982cc255fb2e9657bdfa42)source qf/source/qte_ctr.c (SHA1: 32cd273a4bcae2d85ed7414b2333fa5d91e4b2c3)source qf/source/qte_darm.c (SHA1: 1104656261d312b68a798f86c1ca523acdf39755)source qf/source/qte_rarm.c (SHA1: 5156525615ce92399fd279de9d242ea5ab692f15)

Directory qk/sourcesource qk/source/qk.c (SHA1: 95df3f335de742716c77a17f0e770fd80dd4d5af)source qk/source/qk_mutex.c (SHA1: bcbeceacd5a38752d74ef60cf7e39d2e269a7d7f)source qk/source/qk_sched.c (SHA1: 507ba62c6259c6b11c233adc69001c078a6d1d47)

Frame 108 (PROJECT): 2019-09-16 13:12:38.751cwd examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811command make -j8 CC=arm-none-eabi-gcc LINK=arm-none-eabi-gcc BIN=arm-none-eabi-objcopyproducer omaster-x86_64-linux/6d87c29b18ccaa982c7787a944bb6efb25348be2


c2776997ac8ab80ef6b88da1378679aba9e9ac7e)

Directory /opt/devkitpro/devkitARM/arm-none-eabi/include/machinesource /opt/devkitpro/devkitARM/arm-none-eabi/include/machine/_default_types.h (SHA1:

0dc5912fd89a9ed1279277eaae84248c585b4ae0)


0a3e341f5e2de1c08c50919e49701eeeb4644c29)



a11ab303e06dc74c258b5acb47f71423947d8a27)source examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811/display96x16x1.c (SHA1:

6abed1fddda9c21792cf4cee9aa6543d8f3a1ed7)



dd3c35d953a3379bb7384f284f66896e455f8716)source examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811/cmsis/lm3s_cmsis.h (SHA1:

277d4179db09057a2636c0032b0b0c8bc3d7b733)source examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811/cmsis/startup_lm3s.c (SHA1:

7c4f9f67d47b4215a083108b26f033d588d13c04)source examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811/cmsis/system_lm3s.c (SHA1:

f5f629efdc08d6fe284a90d1fb7bfb8a95701469)

Directory includesource include/qassert.h (SHA1: af953f08f63817932c01375b4342c8bee2701884)source include/qep.h (SHA1: 27fc455477dd2ccd3c7bf809b8a9d587b29d227c)source include/qequeue.h (SHA1: 7b1e772c9f2ef5243d5f9a9cd947d8a902c12c0f)source include/qf.h (SHA1: af561cd6a53aa98395c2d9ac4d8fe0a72c11df42)source include/qk.h (SHA1: d6d73058e4f546e6b3834a2366eb4346c9fec2f5)source include/qp_port.h (SHA1: ec99c97e459d86779745f2f75939717be3f383d3)source include/qpset.h (SHA1: dcf9f6de83e7e9115d839178c26e311f4ef21134)source include/qs_dummy.h (SHA1: 5234c3678ff2e8d8be88b723c1e8ce250fe07bd9)




5031727517eac343c8e86a20091e1f0f55cb9731)

Directory qep/sourcesource qep/source/qep.c (SHA1: f6f926717e685e652afc97a844acf83592b7b8eb)source qep/source/qep_pkg.h (SHA1: 8278eae50cae46816015fffbd8d586b68dd25468)source qep/source/qfsm_dis.c (SHA1: 725deafead6658ec79c1e94e3420b8c22da2f647)source qep/source/qhsm_ini.c (SHA1: e9b1a5738d30bffaaf1d96958f26741350e4883e)source qep/source/qhsm_top.c (SHA1: 28834851ef8b69ec30c092f2386c85c369181ce7)

Directory qf/sourcesource qf/source/qa_defer.c (SHA1: fc1b2b740592b43db8b5fa90b93930e3c56f6dc2)

source qf/source/qf_pkg.h (SHA1: 64ba90674fdd24250ee140618f2a2be0b4335cf4)

Frame 109 (END): 2019-09-16 13:12:40.748cwd examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811command make -j8 CC=arm-none-eabi-gcc LINK=arm-none-eabi-gcc BIN=arm-none-eabi-objcopyproducer omaster-x86_64-linux/6d87c29b18ccaa982c7787a944bb6efb25348be2


Analysis FilesDirectory /opt/devkitpro/devkitARM/arm-none-eabi/includesource /opt/devkitpro/devkitARM/arm-none-eabi/include/stdint.h (SHA1:



85b5c899899973ede7d3e4ffefb0b4858324e7b3)Directory /opt/devkitpro/devkitARM/lib/gcc/arm-none-eabi/4.9.2/includesource /opt/devkitpro/devkitARM/lib/gcc/arm-none-eabi/4.9.2/include/stdint.h (SHA1:

0a3e341f5e2de1c08c50919e49701eeeb4644c29)Directory ECLAIRecl ECLAIR/MC2_alt_summaries.ecl (SHA1: 251612b3721e78798f2fb80d58b2cf143a04ff8a)ecl ECLAIR/MC2_full.ecl (SHA1: 57b5e257e5ddd097e17f6a53bd9bb839f99090dc)Directory examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811source examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811/bsp.c (SHA1:

a11ab303e06dc74c258b5acb47f71423947d8a27)source examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811/bsp.h (SHA1:

e1e1a0eefba3dc2d56b96a302574da065f697fa8)source examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811/display96x16x1.c (SHA1:

6abed1fddda9c21792cf4cee9aa6543d8f3a1ed7)source examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811/display96x16x1.h (SHA1:

2ac4450f625f1117d92e2ca33ffabdbac8fcac31)source examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811/dpp.h (SHA1:

29a53c878d9215f0eb75ec1b53fe28ec8c0784d1)source examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811/lm3s_config.h (SHA1:

44542c7f518d67bfa16d97021295806286cec3cd)source examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811/main.c (SHA1:

b41d56021686d548347b98a71da88a0378259978)source examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811/philo.c (SHA1:

d7e1a1ebefef487ca5bd03188d08806bea6c450b)source examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811/table.c (SHA1:

c92ae4a6da460b750dca99bbe27732ae4d4b5016)Directory examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811/cmsissource examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811/cmsis/core_cm3.h (SHA1:




277d4179db09057a2636c0032b0b0c8bc3d7b733)source examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811/cmsis/startup_lm3s.c (SHA1:

7c4f9f67d47b4215a083108b26f033d588d13c04)source examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811/cmsis/system_lm3s.c (SHA1:

f5f629efdc08d6fe284a90d1fb7bfb8a95701469)source examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811/cmsis/system_lm3s.h (SHA1:

e546ec3b7c146ec7cfbe81a072f87e95c6c79ff4)Directory examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811/dbgobject examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811/dbg/bsp.oobject examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811/dbg/display96x16x1.oobject examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811/dbg/dpp-qk.elfobject examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811/dbg/main.oobject examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811/dbg/philo.oobject examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811/dbg/startup_lm3s.oobject examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811/dbg/system_lm3s.o

object examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811/dbg/table.oDirectory includesource include/qassert.h (SHA1: af953f08f63817932c01375b4342c8bee2701884)source include/qep.h (SHA1: 27fc455477dd2ccd3c7bf809b8a9d587b29d227c)source include/qequeue.h (SHA1: 7b1e772c9f2ef5243d5f9a9cd947d8a902c12c0f)source include/qevt.h (SHA1: 66c0a9e5c02d309e4ccfb3d65ae45ac4c8fa49c3)source include/qf.h (SHA1: af561cd6a53aa98395c2d9ac4d8fe0a72c11df42)source include/qk.h (SHA1: d6d73058e4f546e6b3834a2366eb4346c9fec2f5)source include/qmpool.h (SHA1: 910608d3d5e8252d0c6077b2d0b97dbb6a254fe3)source include/qp_port.h (SHA1: ec99c97e459d86779745f2f75939717be3f383d3)source include/qpset.h (SHA1: dcf9f6de83e7e9115d839178c26e311f4ef21134)source include/qs_dummy.h (SHA1: 5234c3678ff2e8d8be88b723c1e8ce250fe07bd9)Directory ports/arm-cortex/qk/gnusource ports/arm-cortex/qk/gnu/qep_port.h (SHA1: 5c74035543b8460448721865dec5c989450e5c0b)source ports/arm-cortex/qk/gnu/qf_port.h (SHA1: 5735a625b65f139b70c214c3b8abc08aa1430068)source ports/arm-cortex/qk/gnu/qk_port.h (SHA1: 5031727517eac343c8e86a20091e1f0f55cb9731)Directory ports/arm-cortex/qk/gnu/dbgobject ports/arm-cortex/qk/gnu/dbg/libqp_cortex-m3_cs.aobject ports/arm-cortex/qk/gnu/dbg/qa_defer.oobject ports/arm-cortex/qk/gnu/dbg/qa_fifo.oobject ports/arm-cortex/qk/gnu/dbg/qa_get_.oobject ports/arm-cortex/qk/gnu/dbg/qa_lifo.oobject ports/arm-cortex/qk/gnu/dbg/qa_sub.oobject ports/arm-cortex/qk/gnu/dbg/qa_usub.oobject ports/arm-cortex/qk/gnu/dbg/qa_usuba.oobject ports/arm-cortex/qk/gnu/dbg/qep.oobject ports/arm-cortex/qk/gnu/dbg/qeq_fifo.oobject ports/arm-cortex/qk/gnu/dbg/qeq_get.oobject ports/arm-cortex/qk/gnu/dbg/qeq_init.oobject ports/arm-cortex/qk/gnu/dbg/qeq_lifo.oobject ports/arm-cortex/qk/gnu/dbg/qf_act.oobject ports/arm-cortex/qk/gnu/dbg/qf_gc.oobject ports/arm-cortex/qk/gnu/dbg/qf_log2.oobject ports/arm-cortex/qk/gnu/dbg/qf_new.oobject ports/arm-cortex/qk/gnu/dbg/qf_pool.oobject ports/arm-cortex/qk/gnu/dbg/qf_psini.oobject ports/arm-cortex/qk/gnu/dbg/qf_pspub.oobject ports/arm-cortex/qk/gnu/dbg/qf_pwr2.oobject ports/arm-cortex/qk/gnu/dbg/qf_tick.oobject ports/arm-cortex/qk/gnu/dbg/qfsm_dis.oobject ports/arm-cortex/qk/gnu/dbg/qfsm_ini.oobject ports/arm-cortex/qk/gnu/dbg/qhsm_dis.oobject ports/arm-cortex/qk/gnu/dbg/qhsm_in.oobject ports/arm-cortex/qk/gnu/dbg/qhsm_ini.oobject ports/arm-cortex/qk/gnu/dbg/qhsm_top.oobject ports/arm-cortex/qk/gnu/dbg/qk.oobject ports/arm-cortex/qk/gnu/dbg/qk_mutex.oobject ports/arm-cortex/qk/gnu/dbg/qk_port.oobject ports/arm-cortex/qk/gnu/dbg/qk_sched.oobject ports/arm-cortex/qk/gnu/dbg/qmp_get.oobject ports/arm-cortex/qk/gnu/dbg/qmp_init.oobject ports/arm-cortex/qk/gnu/dbg/qmp_put.oobject ports/arm-cortex/qk/gnu/dbg/qte_arm.oobject ports/arm-cortex/qk/gnu/dbg/qte_ctor.oobject ports/arm-cortex/qk/gnu/dbg/qte_ctr.oobject ports/arm-cortex/qk/gnu/dbg/qte_darm.oobject ports/arm-cortex/qk/gnu/dbg/qte_rarm.oDirectory qep/sourcesource qep/source/qep.c (SHA1: f6f926717e685e652afc97a844acf83592b7b8eb)

source qep/source/qep_pkg.h (SHA1: 8278eae50cae46816015fffbd8d586b68dd25468)source qep/source/qfsm_dis.c (SHA1: 725deafead6658ec79c1e94e3420b8c22da2f647)source qep/source/qfsm_ini.c (SHA1: f0c16be155cd860569ab7e948dd51cc4f6651b46)source qep/source/qhsm_dis.c (SHA1: 4622f215cabfe3e2615691f1b07afd74ac6981bf)source qep/source/qhsm_in.c (SHA1: 40c98fce36484d52c7dafbde847a034ac05d06d1)source qep/source/qhsm_ini.c (SHA1: e9b1a5738d30bffaaf1d96958f26741350e4883e)source qep/source/qhsm_top.c (SHA1: 28834851ef8b69ec30c092f2386c85c369181ce7)Directory qf/sourcesource qf/source/qa_defer.c (SHA1: fc1b2b740592b43db8b5fa90b93930e3c56f6dc2)source qf/source/qa_fifo.c (SHA1: 78ec36652f795eae83cc7bb84daef733033eaf89)source qf/source/qa_get_.c (SHA1: 54b63fef1feb6451a70fcf8fced5842cb5d3e647)source qf/source/qa_lifo.c (SHA1: 9490d9f0d57083a69608c3e0105de6798318e257)source qf/source/qa_sub.c (SHA1: af9670e77cd4254f9b2dc0e183666bc2dd24f207)source qf/source/qa_usub.c (SHA1: b36f4cb38393bfcc47697ed287eaf38695287727)source qf/source/qa_usuba.c (SHA1: 600b58d545146cc5dac9720271391247f5e50f6d)source qf/source/qeq_fifo.c (SHA1: 5eda5758d2b5c69f6d550e955b383e2554764c17)source qf/source/qeq_get.c (SHA1: 396d3b95aa851093244b5e122542b23af47efbf5)source qf/source/qeq_init.c (SHA1: b1968bf7849a6b9dd1c1845971fb8129962c7565)source qf/source/qeq_lifo.c (SHA1: 83321b8b5babca1fcf8153004f0a7fa55b7b1e0b)source qf/source/qf_act.c (SHA1: 3d237216c3ec1c8ea43a3f13803470e2f3478631)source qf/source/qf_gc.c (SHA1: c2538e7cffbab1836c16a348924d534384a4c6ee)source qf/source/qf_log2.c (SHA1: 0a5bcdfccd202d3ff7f7b19c5a440c7340a2065f)source qf/source/qf_new.c (SHA1: 24b47c1bd572a643d8b892f95cc3f5270851319a)source qf/source/qf_pkg.h (SHA1: 64ba90674fdd24250ee140618f2a2be0b4335cf4)source qf/source/qf_pool.c (SHA1: f74592caca9f7b833ea164e3cedee686203cfdec)source qf/source/qf_psini.c (SHA1: f23de547e03f866aea02ca891ba90fc9346bfaa8)source qf/source/qf_pspub.c (SHA1: 0387f402984a6c999aef9def4b3ed74910ecede2)source qf/source/qf_pwr2.c (SHA1: dc53934992dfafbfa1171b248f0b32b853580499)source qf/source/qf_tick.c (SHA1: d8133b6c3a3f8e5e343c4dfb579fcdd40737d965)source qf/source/qmp_get.c (SHA1: 726e13fe266aa162aa6ca0a118b2942c574ace0e)source qf/source/qmp_init.c (SHA1: 80c3a8325313bbea4360286530de6baf7221f8cb)source qf/source/qmp_put.c (SHA1: a0fcfec6462890f7bc5cc3e0285956ba9198986a)source qf/source/qte_arm.c (SHA1: 69e995e6bd85ef42e2fb07d75fe5361a3021d19f)source qf/source/qte_ctor.c (SHA1: 3a7a004b56ae44afde982cc255fb2e9657bdfa42)source qf/source/qte_ctr.c (SHA1: 32cd273a4bcae2d85ed7414b2333fa5d91e4b2c3)source qf/source/qte_darm.c (SHA1: 1104656261d312b68a798f86c1ca523acdf39755)source qf/source/qte_rarm.c (SHA1: 5156525615ce92399fd279de9d242ea5ab692f15)Directory qk/sourcesource qk/source/qk.c (SHA1: 95df3f335de742716c77a17f0e770fd80dd4d5af)source qk/source/qk_mutex.c (SHA1: bcbeceacd5a38752d74ef60cf7e39d2e269a7d7f)source qk/source/qk_pkg.h (SHA1: 1adfa71401be9869455be4b718ef5367a9e3fe2e)source qk/source/qk_sched.c (SHA1: 507ba62c6259c6b11c233adc69001c078a6d1d47)

Report counts by service and first fileservice/first file violation caution information

B.EXPLAIN: Explain used configuration 1_SPECIAL/_project_qpc_4.5.02a_MC2_full_: <project:qpc_4.5.02a_MC2_full>

1

MC2.1.1: Reports code that does not conform to the C90 standard

46

ports/arm-cortex/qk/gnu/qf_port.h 4ports/arm-cortex/qk/gnu/qk_port.h 4qep/source/qep.c 1qep/source/qfsm_dis.c 1qep/source/qfsm_ini.c 1qep/source/qhsm_dis.c 1qep/source/qhsm_in.c 1qep/source/qhsm_ini.c 1qep/source/qhsm_top.c 1qf/source/qa_defer.c 1qf/source/qa_fifo.c 1qf/source/qa_get_.c 1qf/source/qa_lifo.c 1qf/source/qa_sub.c 1qf/source/qa_usub.c 1qf/source/qa_usuba.c 1qf/source/qeq_fifo.c 1qf/source/qeq_get.c 1qf/source/qeq_init.c 1qf/source/qeq_lifo.c 1qf/source/qf_act.c 1qf/source/qf_gc.c 1qf/source/qf_log2.c 1qf/source/qf_new.c 1qf/source/qf_pool.c 1qf/source/qf_psini.c 1qf/source/qf_pspub.c 1qf/source/qf_pwr2.c 1qf/source/qf_tick.c 1qf/source/qmp_get.c 1qf/source/qmp_init.c 1qf/source/qmp_put.c 1qf/source/qte_arm.c 1qf/source/qte_ctor.c 1qf/source/qte_ctr.c 1qf/source/qte_darm.c 1qf/source/qte_rarm.c 1qk/source/qk.c 1qk/source/qk_mutex.c 1qk/source/qk_sched.c 1

MC2.1.3: If more than one compiler and/or language is used to compile and link the source files, then there must be a common defined interface standard for object code to which these languages/compilers/assemblers conform

1

ports/arm-cortex/qk/gnu/dbg/libqp_cortex-m3_cs.a 1MC2.2.1: Assembly language instructions must be encapsulated in assembler functions, in C functions that contain no other C code or in macros

2

examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811/bsp.c 2MC2.2.4: Reports sections of code that are commented out 6 54

include/qassert.h 3

service/first file violation caution informationinclude/qequeue.h 1include/qevt.h 3include/qf.h 2 12include/qk.h 3include/qmpool.h 1 4include/qp_port.h 3include/qs_dummy.h 1qep/source/qep_pkg.h 1qep/source/qfsm_dis.c 1qep/source/qhsm_dis.c 2qf/source/qa_fifo.c 1qf/source/qeq_get.c 1qf/source/qf_new.c 2qf/source/qf_pkg.h 2qf/source/qf_pspub.c 2qf/source/qf_tick.c 1qk/source/qk.c 2qk/source/qk_mutex.c 1 1qk/source/qk_pkg.h 2qk/source/qk_sched.c 1 7

MC2.3.1: Any use of code that has implementation-defined behavior defined by Annex G.3 in the C90 standard, that is not specifically addressed by other MISRA rules, must be documented

6 2

_SPECIAL/_project_qpc_4.5.02a_MC2_full_: <project:qpc_4.5.02a_MC2_full>

6 2

MC2.3.2: The source and execution character sets and the corresponding encoding must be documented

4


4

MC2.3.4: Checks that each `#pragma' directive is documented 1_SPECIAL/_project_qpc_4.5.02a_MC2_full_: <project:qpc_4.5.02a_MC2_full>

1

MC2.3.6: Any libraries such as the standard libraries, third-party libraries or libraries designed in-house and used by the project must be written to be MISRA-compliant and subject to appropriate validation

1

ports/arm-cortex/qk/gnu/dbg/libqp_cortex-m3_cs.a 1MC2.5.1: Identifiers (including macro names) must differ in their first 31 characters both before and after any macro expansion

10

include/qf.h 1include/qk.h 1qep/source/qhsm_in.c 1qf/source/qa_defer.c 1qf/source/qeq_fifo.c 1qf/source/qf_pool.c 2qf/source/qmp_get.c 1qf/source/qte_arm.c 1qk/source/qk_mutex.c 1

MC2.5.5: Any identifier of a variable or function with static storage duration must not be reused by any other any other entity anywhere

2

examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811/bsp.c 1qep/source/qep.c 1

MC2.5.6: Reports if an identifier in one namespace has the same name as another identifier in another namespace unless both of them are for `struct' or `union' members

6

examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811/cmsis/core_cm3.h 1include/qep.h 1include/qevt.h 1

service/first file violation caution informationinclude/qf.h 2include/qmpool.h 1

MC2.5.7: No entity may use the same identifier name as any other entity except when all the entities with the same name have the same declaration in a header file and that file is included in multiple source files

59

examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811/bsp.c 1examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811/cmsis/core_cm3.h 1examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811/cmsis/system_lm3s.c

1

examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811/dpp.h 1examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811/philo.c 3examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811/table.c 1include/qassert.h 2include/qep.h 2include/qequeue.h 3include/qevt.h 2include/qf.h 9include/qk.h 2include/qmpool.h 1include/qs_dummy.h 11ports/arm-cortex/qk/gnu/qf_port.h 1qep/source/qep.c 1qep/source/qep_pkg.h 1qep/source/qfsm_dis.c 1qep/source/qhsm_dis.c 3qf/source/qa_defer.c 1qf/source/qa_get_.c 1qf/source/qeq_init.c 2qf/source/qf_act.c 1qf/source/qf_gc.c 1qf/source/qf_new.c 1qf/source/qf_pool.c 2qf/source/qmp_get.c 1qf/source/qte_arm.c 1qk/source/qk_mutex.c 1

MC2.6.3: Reports any direct use of signed and unsigned variants of `char', `int', `short', `long', `long long', `float', `double' or `long double' and any typedef name for any of these variants that does not indicate the size and signedness

2

include/qassert.h 1include/qevt.h 1

MC2.8.1: A function must have a prototype declaration visible to its definiton and before any reference to it

1

qk/source/qk.c 1MC2.8.3: The types of the corresponding parameters or return value in the prototype declarations and/or definition of a function must be identical (types that are identical use the same `typedef' names, the same desugared type and have the same qualifiers)

3

include/qf.h 2include/qk.h 1

MC2.8.7: Reports any referenced variable that is global or has file scope and for which all references are in the same function

25

examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811/bsp.c 1qep/source/qfsm_dis.c 1qep/source/qfsm_ini.c 1qep/source/qhsm_dis.c 1qep/source/qhsm_in.c 1qep/source/qhsm_ini.c 1

service/first file violation caution informationqf/source/qa_defer.c 1qf/source/qa_fifo.c 1qf/source/qa_lifo.c 1qf/source/qa_sub.c 1qf/source/qa_usub.c 1qf/source/qa_usuba.c 1qf/source/qeq_fifo.c 1qf/source/qeq_lifo.c 1qf/source/qf_gc.c 1qf/source/qf_new.c 1qf/source/qf_pool.c 1qf/source/qf_pspub.c 1qf/source/qf_tick.c 1qf/source/qmp_init.c 1qf/source/qmp_put.c 1qf/source/qte_arm.c 1qf/source/qte_ctor.c 1qf/source/qte_rarm.c 1qk/source/qk.c 1

MC2.8.9: Reports a variable or function with external linkage that is undefined or has more than one definition

4

include/qf.h 2include/qk.h 2

MC2.8.10: All declarations and definitions of variables or functions at file scope must have internal linkage unless external linkage is required

25

examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811/bsp.c 3include/qep.h 2include/qequeue.h 3include/qf.h 13include/qk.h 1include/qmpool.h 3

MC2.8.12: Any array declaration with external linkage must be initialized or the size must be explicitly stated

2

include/qf.h 1qep/source/qep_pkg.h 1

MC2.9.1: All automatic variables must have a value written to them before being read

5

qep/source/qhsm_dis.c 4qep/source/qhsm_ini.c 1

MC2.10.1: Reports if the value of an expression with integer type is implicitly converted to a different underlying type and one of the following holds: 1. the conversion is not to a wider integer type of the same signedness; 2. the expression is complex; 3. the expression is not constant and is a function argument; 4. the expression is not constant and is a return expression

54

examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811/bsp.c 1qep/source/qfsm_dis.c 4qep/source/qfsm_ini.c 2qep/source/qhsm_dis.c 12qep/source/qhsm_ini.c 3qf/source/qa_fifo.c 1qf/source/qa_get_.c 2qf/source/qa_lifo.c 1qf/source/qa_sub.c 1qf/source/qa_usub.c 1qf/source/qa_usuba.c 1qf/source/qeq_fifo.c 1qf/source/qeq_get.c 2

service/first file violation caution informationqf/source/qeq_init.c 1qf/source/qeq_lifo.c 1qf/source/qf_act.c 2qf/source/qf_gc.c 2qf/source/qf_new.c 1qf/source/qf_pspub.c 1qf/source/qf_tick.c 3qf/source/qmp_get.c 1qf/source/qmp_init.c 1qf/source/qmp_put.c 1qf/source/qte_arm.c 1qf/source/qte_ctr.c 1qf/source/qte_darm.c 2qf/source/qte_rarm.c 1qk/source/qk_mutex.c 2qk/source/qk_sched.c 1

MC2.11.1: A function pointer must only be converted: 1. to or from an integer type; or 2. from a null pointer constant that was explicitly cast to `void*'

18

examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811/philo.c 9examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811/table.c 8qep/source/qhsm_ini.c 1

MC2.11.3: A pointer type must not be cast to an integer type and an integer type must not be cast to a pointer type

2

examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811/bsp.c 2MC2.11.4: A pointer to non-function, non-void type must not be cast to a pointer to a different non-function, non-void type (the canonical form and ignoring any qualifications)

27

examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811/philo.c 13examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811/table.c 14

MC2.11.5: A pointer to a type with a `const' or `volatile' qualifier must not be cast to a pointer to type without the qualifier

8

qf/source/qa_defer.c 1qf/source/qa_fifo.c 1qf/source/qa_lifo.c 1qf/source/qeq_fifo.c 1qf/source/qeq_lifo.c 1qf/source/qf_gc.c 2qf/source/qf_pspub.c 1

MC2.12.2: The value of an expression must not depend on the unspecified order of evaluation defined in the C90 standard

1

examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811/bsp.c 1MC2.12.5: An operand of a logical `&&' or `||' operator must be either: 1. a primary expression (i.e., a single identifier, constant or parenthesized expression); or 2. a binary logical expression with the same operator

4

include/qk.h 2qk/source/qk.c 2

MC2.12.6: Numeric and Boolean expressions should be placed in appropriate contexts

1

examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811/bsp.c 1MC2.12.10: Reports any use of the comma operator 13

examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811/philo.c 7examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811/table.c 6

MC2.13.1: In the object sources, reports an assignment operator that is used as an operand of a logical operator or as the condition part of a selection or iteration statement

1

qf/source/qa_get_.c 1MC2.13.2: Any expression that does not have an effectively Boolean type must not used in a Boolean context

54

service/first file violation caution informationexamples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811/bsp.c 1qep/source/qfsm_dis.c 4qep/source/qfsm_ini.c 2qep/source/qhsm_dis.c 12qep/source/qhsm_ini.c 3qf/source/qa_fifo.c 1qf/source/qa_get_.c 2qf/source/qa_lifo.c 1qf/source/qa_sub.c 1qf/source/qa_usub.c 1qf/source/qa_usuba.c 1qf/source/qeq_fifo.c 1qf/source/qeq_get.c 2qf/source/qeq_init.c 1qf/source/qeq_lifo.c 1qf/source/qf_act.c 2qf/source/qf_gc.c 2qf/source/qf_new.c 1qf/source/qf_pspub.c 1qf/source/qf_tick.c 3qf/source/qmp_get.c 1qf/source/qmp_init.c 1qf/source/qmp_put.c 1qf/source/qte_arm.c 1qf/source/qte_ctr.c 1qf/source/qte_darm.c 2qf/source/qte_rarm.c 1qk/source/qk_mutex.c 2qk/source/qk_sched.c 1

MC2.13.5: Reports `for' statement loops that cannot be proved to have a finite number of iterations

2

qf/source/qa_usuba.c 1qf/source/qf_tick.c 1

MC2.13.7: A Boolean expression must not always have the same value

56

examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811/bsp.c 3qep/source/qfsm_dis.c 4qep/source/qfsm_ini.c 2qep/source/qhsm_dis.c 12qep/source/qhsm_ini.c 3qf/source/qa_fifo.c 1qf/source/qa_get_.c 2qf/source/qa_lifo.c 1qf/source/qa_sub.c 1qf/source/qa_usub.c 1qf/source/qa_usuba.c 1qf/source/qeq_fifo.c 1qf/source/qeq_get.c 2qf/source/qeq_init.c 1qf/source/qeq_lifo.c 1qf/source/qf_act.c 2qf/source/qf_gc.c 2qf/source/qf_new.c 1qf/source/qf_pspub.c 1qf/source/qf_tick.c 3qf/source/qmp_get.c 1qf/source/qmp_init.c 1qf/source/qmp_put.c 1qf/source/qte_arm.c 1

service/first file violation caution informationqf/source/qte_ctr.c 1qf/source/qte_darm.c 2qf/source/qte_rarm.c 1qk/source/qk_mutex.c 2qk/source/qk_sched.c 1

MC2.14.1: Reports any unreachable code 83examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811/bsp.c 3include/qep.h 4include/qequeue.h 3include/qf.h 16include/qk.h 3qep/source/qfsm_dis.c 4qep/source/qfsm_ini.c 2qep/source/qhsm_dis.c 12qep/source/qhsm_ini.c 3qf/source/qa_fifo.c 1qf/source/qa_get_.c 2qf/source/qa_lifo.c 1qf/source/qa_sub.c 1qf/source/qa_usub.c 1qf/source/qa_usuba.c 1qf/source/qeq_fifo.c 1qf/source/qeq_get.c 2qf/source/qeq_init.c 1qf/source/qeq_lifo.c 1qf/source/qf_act.c 2qf/source/qf_gc.c 2qf/source/qf_new.c 1qf/source/qf_pspub.c 1qf/source/qf_tick.c 3qf/source/qmp_get.c 1qf/source/qmp_init.c 1qf/source/qmp_put.c 1qf/source/qte_arm.c 1qf/source/qte_ctr.c 1qf/source/qte_darm.c 2qf/source/qte_rarm.c 1qk/source/qk.c 1qk/source/qk_mutex.c 2qk/source/qk_sched.c 1

MC2.14.3: Reports a null statement that is not on a line by itself 2qep/source/qfsm_dis.c 2

MC2.16.2: No function definition may call itself directly or indirectly via a chain of function calls

30

qep/source/qfsm_dis.c 3qep/source/qfsm_ini.c 2qep/source/qhsm_dis.c 19qep/source/qhsm_in.c 1qep/source/qhsm_ini.c 5

MC2.16.7: Any pointer parameter in a function prototype that is not used to modify the addressed object must be declared as pointer to `const'

3

include/qf.h 3MC2.16.10: If a function returns a value that contains some error information, then the value of a call to that function must not be cast to `void' and any error information must be checked

1

examples/arm-cortex/qk/gnu/dpp-qk-ev-lm3s811/dbg/dpp-qk.elf 1MC2.17.1: If an integer is added to or subtracted from a pointer, then that pointer must point to an array or an array element

14

service/first file violation caution informationqf/source/qa_fifo.c 1qf/source/qa_get_.c 1qf/source/qa_lifo.c 1qf/source/qa_sub.c 1qf/source/qa_usub.c 1qf/source/qa_usuba.c 2qf/source/qeq_fifo.c 1qf/source/qeq_get.c 1qf/source/qeq_lifo.c 1qf/source/qf_pspub.c 3qf/source/qmp_init.c 1

MC2.17.3: If any of the operators `>', `>=', `<', `<=' are used to compare the values of pointers then both operands must point to elements in the same array

2

qf/source/qmp_put.c 2MC2.17.4: There must be no pointer arithmetic except for array indexing where the indexed object is explicitly declared to have an array type

14

qf/source/qa_fifo.c 1qf/source/qa_get_.c 1qf/source/qa_lifo.c 1qf/source/qa_sub.c 1qf/source/qa_usub.c 1qf/source/qa_usuba.c 2qf/source/qeq_fifo.c 1qf/source/qeq_get.c 1qf/source/qeq_lifo.c 1qf/source/qf_pspub.c 3qf/source/qmp_init.c 1

MC2.18.3: There must be documentation that states if and how an area of memory may be reused for unrelated data

1


1

MC2.19.1: Reports if an `#include' directive is preceded by any code apart from other preprocessor directives or comments

6

qep/source/qep_pkg.h 2qf/source/qf_pkg.h 2qk/source/qk_pkg.h 2

MC2.19.4: A macro body must not have unbalanced brackets and may only expand to one of the following: a braced initialiser, a constant, a string literal, a parenthesized expression, a type qualifier, a storage class specifier, or a do-while-zero loop idiom

27 59

include/qassert.h 8 9include/qep.h 2include/qequeue.h 1include/qf.h 1 2include/qk.h 2include/qmpool.h 1include/qp_port.h 1 1include/qpset.h 5include/qs_dummy.h 8 37ports/arm-cortex/qk/gnu/qf_port.h 4qep/source/qep_pkg.h 2 1qf/source/qf_pkg.h 1

MC2.19.7: An invocation of a function-like macro should not be replaceable by a function call

191

include/qassert.h 5include/qep.h 20include/qevt.h 7

service/first file violation caution informationinclude/qf.h 6include/qk.h 3include/qs_dummy.h 36ports/arm-cortex/qk/gnu/qf_port.h 7ports/arm-cortex/qk/gnu/qk_port.h 4qep/source/qep_pkg.h 26qf/source/qf_pkg.h 73qk/source/qk_pkg.h 4

MC2.19.10: Any occurrence of a macro parameter in the macro's body must be enclosed in parentheses unless it is: 1. an operand for the `#' or `##' operators; 2. (possibly indirectly) the identifier for a field reference

19

include/qassert.h 9include/qep.h 1include/qevt.h 2include/qf.h 1include/qpset.h 3qep/source/qep_pkg.h 2qf/source/qf_pkg.h 1

MC2.19.15: Any file that is the subject of an `#include' directive must have a mechanism to avoid the file being included more than once

18

include/qassert.h 1include/qep.h 1include/qequeue.h 1include/qevt.h 1include/qf.h 1include/qk.h 1include/qmpool.h 1include/qp_port.h 1include/qpset.h 1include/qs_dummy.h 1ports/arm-cortex/qk/gnu/qep_port.h 1ports/arm-cortex/qk/gnu/qf_port.h 1ports/arm-cortex/qk/gnu/qk_port.h 1qep/source/qep_pkg.h 2qf/source/qf_pkg.h 2qk/source/qk_pkg.h 1

MC2.21.1: Reports if possible runtime unexpected behavior is not documented

27


27

€¦ · web viewconfiguration. global settings. cache_dir. as configured, eclair will: set...

Documents