diff options
| author | Giovanni Di Sirio <gdisirio@gmail.com> | 2015-03-07 14:31:16 +0000 |
|---|---|---|
| committer | Giovanni Di Sirio <gdisirio@gmail.com> | 2015-03-07 14:31:16 +0000 |
| commit | a56487ecb91b086f35b637916cd05d33432eefc6 (patch) | |
| tree | a302bc867b91602676f7c2d6ec53a674770cfe41 /test/hal | |
| parent | aa431f4c1029cb75e70368b83b8af2803a186b35 (diff) | |
| download | ChibiOS-a56487ecb91b086f35b637916cd05d33432eefc6.tar.gz ChibiOS-a56487ecb91b086f35b637916cd05d33432eefc6.tar.bz2 ChibiOS-a56487ecb91b086f35b637916cd05d33432eefc6.zip | |
git-svn-id: svn://svn.code.sf.net/p/chibios/svn/trunk@7732 35acf78f-673a-0410-8e92-d51de3d6d3f4
Diffstat (limited to 'test/hal')
| -rw-r--r-- | test/hal/testbuild/.cproject | 51 | ||||
| -rw-r--r-- | test/hal/testbuild/.project | 33 | ||||
| -rw-r--r-- | test/hal/testbuild/Makefile | 209 | ||||
| -rw-r--r-- | test/hal/testbuild/board.h | 40 | ||||
| -rw-r--r-- | test/hal/testbuild/chconf.h | 498 | ||||
| -rw-r--r-- | test/hal/testbuild/main.c | 28 | ||||
| -rw-r--r-- | test/hal/testbuild/pclint/au-misra3.lnt | 2173 | ||||
| -rw-r--r-- | test/hal/testbuild/pclint/co-gcc.h | 129 | ||||
| -rw-r--r-- | test/hal/testbuild/pclint/co-gcc.lnt | 209 | ||||
| -rw-r--r-- | test/hal/testbuild/pclint/gcc-include-path.lnt | 6 | ||||
| -rw-r--r-- | test/hal/testbuild/pclint/lint_cmac.h | 330 | ||||
| -rw-r--r-- | test/hal/testbuild/pclint/lint_cppmac.h | 336 | ||||
| -rw-r--r-- | test/hal/testbuild/pclint/size-options.lnt | 1 | ||||
| -rw-r--r-- | test/hal/testbuild/pclint/waivers.lnt | 69 |
14 files changed, 4112 insertions, 0 deletions
diff --git a/test/hal/testbuild/.cproject b/test/hal/testbuild/.cproject new file mode 100644 index 000000000..1ce473e74 --- /dev/null +++ b/test/hal/testbuild/.cproject @@ -0,0 +1,51 @@ +<?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<?fileVersion 4.0.0?>
+
+<cproject storage_type_id="org.eclipse.cdt.core.XmlProjectDescriptionStorage">
+ <storageModule moduleId="org.eclipse.cdt.core.settings">
+ <cconfiguration id="0.1422654280">
+ <storageModule buildSystemId="org.eclipse.cdt.managedbuilder.core.configurationDataProvider" id="0.1422654280" moduleId="org.eclipse.cdt.core.settings" name="Default">
+ <externalSettings/>
+ <extensions>
+ <extension id="org.eclipse.cdt.core.VCErrorParser" point="org.eclipse.cdt.core.ErrorParser"/>
+ <extension id="org.eclipse.cdt.core.GmakeErrorParser" point="org.eclipse.cdt.core.ErrorParser"/>
+ <extension id="org.eclipse.cdt.core.CWDLocator" point="org.eclipse.cdt.core.ErrorParser"/>
+ <extension id="org.eclipse.cdt.core.GCCErrorParser" point="org.eclipse.cdt.core.ErrorParser"/>
+ <extension id="org.eclipse.cdt.core.GASErrorParser" point="org.eclipse.cdt.core.ErrorParser"/>
+ <extension id="org.eclipse.cdt.core.GLDErrorParser" point="org.eclipse.cdt.core.ErrorParser"/>
+ </extensions>
+ </storageModule>
+ <storageModule moduleId="cdtBuildSystem" version="4.0.0">
+ <configuration artifactName="${ProjName}" buildProperties="" description="" id="0.1422654280" name="Default" parent="org.eclipse.cdt.build.core.prefbase.cfg">
+ <folderInfo id="0.1422654280." name="/" resourcePath="">
+ <toolChain id="org.eclipse.cdt.build.core.prefbase.toolchain.1786055542" name="No ToolChain" resourceTypeBasedDiscovery="false" superClass="org.eclipse.cdt.build.core.prefbase.toolchain">
+ <targetPlatform id="org.eclipse.cdt.build.core.prefbase.toolchain.1786055542.1998994981" name=""/>
+ <builder autoBuildTarget="all" cleanBuildTarget="clean" enableAutoBuild="false" enableCleanBuild="true" enabledIncrementalBuild="true" id="org.eclipse.cdt.build.core.settings.default.builder.1132293146" incrementalBuildTarget="all" keepEnvironmentInBuildfile="false" managedBuildOn="false" name="Gnu Make Builder" parallelBuildOn="true" parallelizationNumber="optimal" superClass="org.eclipse.cdt.build.core.settings.default.builder"/>
+ <tool id="org.eclipse.cdt.build.core.settings.holder.libs.1670094420" name="holder for library settings" superClass="org.eclipse.cdt.build.core.settings.holder.libs"/>
+ <tool id="org.eclipse.cdt.build.core.settings.holder.1341761265" name="Assembly" superClass="org.eclipse.cdt.build.core.settings.holder">
+ <inputType id="org.eclipse.cdt.build.core.settings.holder.inType.1203508382" languageId="org.eclipse.cdt.core.assembly" languageName="Assembly" sourceContentType="org.eclipse.cdt.core.asmSource" superClass="org.eclipse.cdt.build.core.settings.holder.inType"/>
+ </tool>
+ <tool id="org.eclipse.cdt.build.core.settings.holder.106386392" name="GNU C++" superClass="org.eclipse.cdt.build.core.settings.holder">
+ <inputType id="org.eclipse.cdt.build.core.settings.holder.inType.1290224010" languageId="org.eclipse.cdt.core.g++" languageName="GNU C++" sourceContentType="org.eclipse.cdt.core.cxxSource,org.eclipse.cdt.core.cxxHeader" superClass="org.eclipse.cdt.build.core.settings.holder.inType"/>
+ </tool>
+ <tool id="org.eclipse.cdt.build.core.settings.holder.1153113286" name="GNU C" superClass="org.eclipse.cdt.build.core.settings.holder">
+ <inputType id="org.eclipse.cdt.build.core.settings.holder.inType.1073997695" languageId="org.eclipse.cdt.core.gcc" languageName="GNU C" sourceContentType="org.eclipse.cdt.core.cSource,org.eclipse.cdt.core.cHeader" superClass="org.eclipse.cdt.build.core.settings.holder.inType"/>
+ </tool>
+ </toolChain>
+ </folderInfo>
+ </configuration>
+ </storageModule>
+ <storageModule moduleId="org.eclipse.cdt.core.externalSettings"/>
+ </cconfiguration>
+ </storageModule>
+ <storageModule moduleId="cdtBuildSystem" version="4.0.0">
+ <project id="HAL-BUILD_TEST.null.1566225773" name="HAL-BUILD_TEST"/>
+ </storageModule>
+ <storageModule moduleId="scannerConfiguration">
+ <autodiscovery enabled="true" problemReportingEnabled="true" selectedProfileId=""/>
+ <scannerConfigBuildInfo instanceId="0.1422654280">
+ <autodiscovery enabled="true" problemReportingEnabled="true" selectedProfileId="org.eclipse.cdt.make.core.GCCStandardMakePerProjectProfile"/>
+ </scannerConfigBuildInfo>
+ </storageModule>
+ <storageModule moduleId="org.eclipse.cdt.core.LanguageSettingsProviders"/>
+</cproject>
diff --git a/test/hal/testbuild/.project b/test/hal/testbuild/.project new file mode 100644 index 000000000..2fd707444 --- /dev/null +++ b/test/hal/testbuild/.project @@ -0,0 +1,33 @@ +<?xml version="1.0" encoding="UTF-8"?>
+<projectDescription>
+ <name>HAL-BUILD_TEST</name>
+ <comment></comment>
+ <projects>
+ </projects>
+ <buildSpec>
+ <buildCommand>
+ <name>org.eclipse.cdt.managedbuilder.core.genmakebuilder</name>
+ <triggers>clean,full,incremental,</triggers>
+ <arguments>
+ </arguments>
+ </buildCommand>
+ <buildCommand>
+ <name>org.eclipse.cdt.managedbuilder.core.ScannerConfigBuilder</name>
+ <triggers>full,incremental,</triggers>
+ <arguments>
+ </arguments>
+ </buildCommand>
+ </buildSpec>
+ <natures>
+ <nature>org.eclipse.cdt.core.cnature</nature>
+ <nature>org.eclipse.cdt.managedbuilder.core.managedBuildNature</nature>
+ <nature>org.eclipse.cdt.managedbuilder.core.ScannerConfigNature</nature>
+ </natures>
+ <linkedResources>
+ <link>
+ <name>os</name>
+ <type>2</type>
+ <locationURI>CHIBIOS/os</locationURI>
+ </link>
+ </linkedResources>
+</projectDescription>
diff --git a/test/hal/testbuild/Makefile b/test/hal/testbuild/Makefile new file mode 100644 index 000000000..9568908d0 --- /dev/null +++ b/test/hal/testbuild/Makefile @@ -0,0 +1,209 @@ +##############################################################################
+# Build global options
+# NOTE: Can be overridden externally.
+#
+
+# Compiler options here.
+ifeq ($(USE_OPT),)
+ USE_OPT = -O2 -ggdb -fomit-frame-pointer -falign-functions=16
+endif
+
+# C specific options here (added to USE_OPT).
+ifeq ($(USE_COPT),)
+ USE_COPT =
+endif
+
+# C++ specific options here (added to USE_OPT).
+ifeq ($(USE_CPPOPT),)
+ USE_CPPOPT = -fno-rtti
+endif
+
+# Enable this if you want the linker to remove unused code and data
+ifeq ($(USE_LINK_GC),)
+ USE_LINK_GC = yes
+endif
+
+# Linker extra options here.
+ifeq ($(USE_LDOPT),)
+ USE_LDOPT =
+endif
+
+# Enable this if you want link time optimizations (LTO)
+ifeq ($(USE_LTO),)
+ USE_LTO = yes
+endif
+
+# If enabled, this option allows to compile the application in THUMB mode.
+ifeq ($(USE_THUMB),)
+ USE_THUMB = yes
+endif
+
+# Enable this if you want to see the full log while compiling.
+ifeq ($(USE_VERBOSE_COMPILE),)
+ USE_VERBOSE_COMPILE = no
+endif
+
+#
+# Build global options
+##############################################################################
+
+##############################################################################
+# Architecture or project specific options
+#
+
+# Stack size to be allocated to the Cortex-M process stack. This stack is
+# the stack used by the main() thread.
+ifeq ($(USE_PROCESS_STACKSIZE),)
+ USE_PROCESS_STACKSIZE = 0x400
+endif
+
+# Stack size to the allocated to the Cortex-M main/exceptions stack. This
+# stack is used for processing interrupts and exceptions.
+ifeq ($(USE_EXCEPTIONS_STACKSIZE),)
+ USE_EXCEPTIONS_STACKSIZE = 0x400
+endif
+
+# Enables the use of FPU on Cortex-M4 (no, softfp, hard).
+ifeq ($(USE_FPU),)
+ USE_FPU = hard
+endif
+
+#
+# Architecture or project specific options
+##############################################################################
+
+##############################################################################
+# Project, sources and paths
+#
+
+# Define project name here
+PROJECT = ch
+
+# Imported source files and paths
+CHIBIOS = ../../..
+include $(CHIBIOS)/os/hal/hal.mk
+include $(CHIBIOS)/os/hal/templates/platform.mk
+include $(CHIBIOS)/os/hal/templates/osal/osal.mk
+
+# Define linker script file here
+PORTLD = ${CHIBIOS}/os/common/ports/ARMCMx/compilers/GCC/ld
+LDSCRIPT= $(PORTLD)/STM32F407xG.ld
+
+# C sources that can be compiled in ARM or THUMB mode depending on the global
+# setting.
+PORTSRC = $(CHIBIOS)/os/common/ports/ARMCMx/compilers/GCC/crt0.c \
+ $(CHIBIOS)/os/common/ports/ARMCMx/compilers/GCC/vectors.c
+CSRC = $(PORTSRC) \
+ $(KERNSRC) \
+ $(TESTSRC) \
+ $(HALSRC) \
+ $(OSALSRC) \
+ $(PLATFORMSRC) \
+ $(BOARDSRC) \
+ main.c
+
+# C++ sources that can be compiled in ARM or THUMB mode depending on the global
+# setting.
+CPPSRC =
+
+# C sources to be compiled in ARM mode regardless of the global setting.
+# NOTE: Mixing ARM and THUMB mode enables the -mthumb-interwork compiler
+# option that results in lower performance and larger code size.
+ACSRC =
+
+# C++ sources to be compiled in ARM mode regardless of the global setting.
+# NOTE: Mixing ARM and THUMB mode enables the -mthumb-interwork compiler
+# option that results in lower performance and larger code size.
+ACPPSRC =
+
+# C sources to be compiled in THUMB mode regardless of the global setting.
+# NOTE: Mixing ARM and THUMB mode enables the -mthumb-interwork compiler
+# option that results in lower performance and larger code size.
+TCSRC =
+
+# C sources to be compiled in THUMB mode regardless of the global setting.
+# NOTE: Mixing ARM and THUMB mode enables the -mthumb-interwork compiler
+# option that results in lower performance and larger code size.
+TCPPSRC =
+
+# List ASM source files here
+ASMSRC = $(PORTASM)
+
+PORTINC = ${CHIBIOS}/os/ext/CMSIS/include \
+ ${CHIBIOS}/os/ext/CMSIS/ST \
+ ${CHIBIOS}/os/common/ports/ARMCMx/devices/STM32F4xx
+INCDIR = $(PORTINC) $(KERNINC) $(TESTINC) \
+ $(HALINC) $(OSALINC) $(PLATFORMINC) $(BOARDINC) \
+ $(CHIBIOS)/os/various
+
+#
+# Project, sources and paths
+##############################################################################
+
+##############################################################################
+# Compiler settings
+#
+
+MCU = cortex-m4
+
+#TRGT = arm-elf-
+TRGT = arm-none-eabi-
+CC = $(TRGT)gcc
+CPPC = $(TRGT)g++
+# Enable loading with g++ only if you need C++ runtime support.
+# NOTE: You can use C++ even without C++ support if you are careful. C++
+# runtime support makes code size explode.
+LD = $(TRGT)gcc
+#LD = $(TRGT)g++
+CP = $(TRGT)objcopy
+AS = $(TRGT)gcc -x assembler-with-cpp
+AR = $(TRGT)ar
+OD = $(TRGT)objdump
+SZ = $(TRGT)size
+HEX = $(CP) -O ihex
+BIN = $(CP) -O binary
+
+# ARM-specific options here
+AOPT =
+
+# THUMB-specific options here
+TOPT = -mthumb -DTHUMB
+
+# Define C warning options here
+CWARN = -Wall -Wextra -Wstrict-prototypes
+
+# Define C++ warning options here
+CPPWARN = -Wall -Wextra
+
+#
+# Compiler settings
+##############################################################################
+
+##############################################################################
+# Start of user section
+#
+
+# List all user C define here, like -D_DEBUG=1
+UDEFS = -DSTM32F407xx
+
+# Define ASM defines here
+UADEFS =
+
+# List all user directories here
+UINCDIR =
+
+# List the user directory to look for the libraries here
+ULIBDIR =
+
+# List all user libraries here
+ULIBS =
+
+#
+# End of user defines
+##############################################################################
+
+RULESPATH = $(CHIBIOS)/os/common/ports/ARMCMx/compilers/GCC
+include $(RULESPATH)/rules.mk
+
+misra:
+ @lint-nt -v -w3 $(DEFS) pclint/co-gcc.lnt pclint/au-misra3.lnt pclint/waivers.lnt $(INCDIR) $(KERNSRC) &> misra.txt
diff --git a/test/hal/testbuild/board.h b/test/hal/testbuild/board.h new file mode 100644 index 000000000..ea16572fe --- /dev/null +++ b/test/hal/testbuild/board.h @@ -0,0 +1,40 @@ +/*
+ ChibiOS - Copyright (C) 2006..2015 Giovanni Di Sirio
+
+ Licensed under the Apache License, Version 2.0 (the "License");
+ you may not use this file except in compliance with the License.
+ You may obtain a copy of the License at
+
+ http://www.apache.org/licenses/LICENSE-2.0
+
+ Unless required by applicable law or agreed to in writing, software
+ distributed under the License is distributed on an "AS IS" BASIS,
+ WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ See the License for the specific language governing permissions and
+ limitations under the License.
+*/
+
+#ifndef _BOARD_H_
+#define _BOARD_H_
+
+/*
+ * Setup for a generic board.
+ */
+
+/*
+ * Board identifier.
+ */
+#define BOARD_GENERIC
+#define BOARD_NAME "Generic Board"
+
+#if !defined(_FROM_ASM_)
+#ifdef __cplusplus
+extern "C" {
+#endif
+ void boardInit(void);
+#ifdef __cplusplus
+}
+#endif
+#endif /* _FROM_ASM_ */
+
+#endif /* _BOARD_H_ */
diff --git a/test/hal/testbuild/chconf.h b/test/hal/testbuild/chconf.h new file mode 100644 index 000000000..14b808081 --- /dev/null +++ b/test/hal/testbuild/chconf.h @@ -0,0 +1,498 @@ +/*
+ ChibiOS - Copyright (C) 2006..2015 Giovanni Di Sirio
+
+ Licensed under the Apache License, Version 2.0 (the "License");
+ you may not use this file except in compliance with the License.
+ You may obtain a copy of the License at
+
+ http://www.apache.org/licenses/LICENSE-2.0
+
+ Unless required by applicable law or agreed to in writing, software
+ distributed under the License is distributed on an "AS IS" BASIS,
+ WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ See the License for the specific language governing permissions and
+ limitations under the License.
+*/
+
+/**
+ * @file templates/chconf.h
+ * @brief Configuration file template.
+ * @details A copy of this file must be placed in each project directory, it
+ * contains the application specific kernel settings.
+ *
+ * @addtogroup config
+ * @details Kernel related settings and hooks.
+ * @{
+ */
+
+#ifndef _CHCONF_H_
+#define _CHCONF_H_
+
+/*===========================================================================*/
+/**
+ * @name System timers settings
+ * @{
+ */
+/*===========================================================================*/
+
+/**
+ * @brief System time counter resolution.
+ * @note Allowed values are 16 or 32 bits.
+ */
+#define CH_CFG_ST_RESOLUTION 32
+
+/**
+ * @brief System tick frequency.
+ * @details Frequency of the system timer that drives the system ticks. This
+ * setting also defines the system tick time unit.
+ */
+#define CH_CFG_ST_FREQUENCY 10000
+
+/**
+ * @brief Time delta constant for the tick-less mode.
+ * @note If this value is zero then the system uses the classic
+ * periodic tick. This value represents the minimum number
+ * of ticks that is safe to specify in a timeout directive.
+ * The value one is not valid, timeouts are rounded up to
+ * this value.
+ */
+#define CH_CFG_ST_TIMEDELTA 2
+
+/** @} */
+
+/*===========================================================================*/
+/**
+ * @name Kernel parameters and options
+ * @{
+ */
+/*===========================================================================*/
+
+/**
+ * @brief Round robin interval.
+ * @details This constant is the number of system ticks allowed for the
+ * threads before preemption occurs. Setting this value to zero
+ * disables the preemption for threads with equal priority and the
+ * round robin becomes cooperative. Note that higher priority
+ * threads can still preempt, the kernel is always preemptive.
+ * @note Disabling the round robin preemption makes the kernel more compact
+ * and generally faster.
+ * @note The round robin preemption is not supported in tickless mode and
+ * must be set to zero in that case.
+ */
+#define CH_CFG_TIME_QUANTUM 0
+
+/**
+ * @brief Managed RAM size.
+ * @details Size of the RAM area to be managed by the OS. If set to zero
+ * then the whole available RAM is used. The core memory is made
+ * available to the heap allocator and/or can be used directly through
+ * the simplified core memory allocator.
+ *
+ * @note In order to let the OS manage the whole RAM the linker script must
+ * provide the @p __heap_base__ and @p __heap_end__ symbols.
+ * @note Requires @p CH_CFG_USE_MEMCORE.
+ */
+#define CH_CFG_MEMCORE_SIZE 0x20000
+
+/**
+ * @brief Idle thread automatic spawn suppression.
+ * @details When this option is activated the function @p chSysInit()
+ * does not spawn the idle thread. The application @p main()
+ * function becomes the idle thread and must implement an
+ * infinite loop. */
+#define CH_CFG_NO_IDLE_THREAD FALSE
+
+/** @} */
+
+/*===========================================================================*/
+/**
+ * @name Performance options
+ * @{
+ */
+/*===========================================================================*/
+
+/**
+ * @brief OS optimization.
+ * @details If enabled then time efficient rather than space efficient code
+ * is used when two possible implementations exist.
+ *
+ * @note This is not related to the compiler optimization options.
+ * @note The default is @p TRUE.
+ */
+#define CH_CFG_OPTIMIZE_SPEED TRUE
+
+/** @} */
+
+/*===========================================================================*/
+/**
+ * @name Subsystem options
+ * @{
+ */
+/*===========================================================================*/
+
+/**
+ * @brief Time Measurement APIs.
+ * @details If enabled then the time measurement APIs are included in
+ * the kernel.
+ *
+ * @note The default is @p TRUE.
+ */
+#define CH_CFG_USE_TM TRUE
+
+/**
+ * @brief Threads registry APIs.
+ * @details If enabled then the registry APIs are included in the kernel.
+ *
+ * @note The default is @p TRUE.
+ */
+#define CH_CFG_USE_REGISTRY TRUE
+
+/**
+ * @brief Threads synchronization APIs.
+ * @details If enabled then the @p chThdWait() function is included in
+ * the kernel.
+ *
+ * @note The default is @p TRUE.
+ */
+#define CH_CFG_USE_WAITEXIT TRUE
+
+/**
+ * @brief Semaphores APIs.
+ * @details If enabled then the Semaphores APIs are included in the kernel.
+ *
+ * @note The default is @p TRUE.
+ */
+#define CH_CFG_USE_SEMAPHORES TRUE
+
+/**
+ * @brief Semaphores queuing mode.
+ * @details If enabled then the threads are enqueued on semaphores by
+ * priority rather than in FIFO order.
+ *
+ * @note The default is @p FALSE. Enable this if you have special
+ * requirements.
+ * @note Requires @p CH_CFG_USE_SEMAPHORES.
+ */
+#define CH_CFG_USE_SEMAPHORES_PRIORITY FALSE
+
+/**
+ * @brief Mutexes APIs.
+ * @details If enabled then the mutexes APIs are included in the kernel.
+ *
+ * @note The default is @p TRUE.
+ */
+#define CH_CFG_USE_MUTEXES TRUE
+
+/**
+ * @brief Enables recursive behavior on mutexes.
+ * @note Recursive mutexes are heavier and have an increased
+ * memory footprint.
+ *
+ * @note The default is @p FALSE.
+ * @note Requires @p CH_CFG_USE_MUTEXES.
+ */
+#define CH_CFG_USE_MUTEXES_RECURSIVE FALSE
+
+/**
+ * @brief Conditional Variables APIs.
+ * @details If enabled then the conditional variables APIs are included
+ * in the kernel.
+ *
+ * @note The default is @p TRUE.
+ * @note Requires @p CH_CFG_USE_MUTEXES.
+ */
+#define CH_CFG_USE_CONDVARS TRUE
+
+/**
+ * @brief Conditional Variables APIs with timeout.
+ * @details If enabled then the conditional variables APIs with timeout
+ * specification are included in the kernel.
+ *
+ * @note The default is @p TRUE.
+ * @note Requires @p CH_CFG_USE_CONDVARS.
+ */
+#define CH_CFG_USE_CONDVARS_TIMEOUT TRUE
+
+/**
+ * @brief Events Flags APIs.
+ * @details If enabled then the event flags APIs are included in the kernel.
+ *
+ * @note The default is @p TRUE.
+ */
+#define CH_CFG_USE_EVENTS TRUE
+
+/**
+ * @brief Events Flags APIs with timeout.
+ * @details If enabled then the events APIs with timeout specification
+ * are included in the kernel.
+ *
+ * @note The default is @p TRUE.
+ * @note Requires @p CH_CFG_USE_EVENTS.
+ */
+#define CH_CFG_USE_EVENTS_TIMEOUT TRUE
+
+/**
+ * @brief Synchronous Messages APIs.
+ * @details If enabled then the synchronous messages APIs are included
+ * in the kernel.
+ *
+ * @note The default is @p TRUE.
+ */
+#define CH_CFG_USE_MESSAGES TRUE
+
+/**
+ * @brief Synchronous Messages queuing mode.
+ * @details If enabled then messages are served by priority rather than in
+ * FIFO order.
+ *
+ * @note The default is @p FALSE. Enable this if you have special
+ * requirements.
+ * @note Requires @p CH_CFG_USE_MESSAGES.
+ */
+#define CH_CFG_USE_MESSAGES_PRIORITY FALSE
+
+/**
+ * @brief Mailboxes APIs.
+ * @details If enabled then the asynchronous messages (mailboxes) APIs are
+ * included in the kernel.
+ *
+ * @note The default is @p TRUE.
+ * @note Requires @p CH_CFG_USE_SEMAPHORES.
+ */
+#define CH_CFG_USE_MAILBOXES TRUE
+
+/**
+ * @brief I/O Queues APIs.
+ * @details If enabled then the I/O queues APIs are included in the kernel.
+ *
+ * @note The default is @p TRUE.
+ */
+#define CH_CFG_USE_QUEUES TRUE
+
+/**
+ * @brief Core Memory Manager APIs.
+ * @details If enabled then the core memory manager APIs are included
+ * in the kernel.
+ *
+ * @note The default is @p TRUE.
+ */
+#define CH_CFG_USE_MEMCORE TRUE
+
+/**
+ * @brief Heap Allocator APIs.
+ * @details If enabled then the memory heap allocator APIs are included
+ * in the kernel.
+ *
+ * @note The default is @p TRUE.
+ * @note Requires @p CH_CFG_USE_MEMCORE and either @p CH_CFG_USE_MUTEXES or
+ * @p CH_CFG_USE_SEMAPHORES.
+ * @note Mutexes are recommended.
+ */
+#define CH_CFG_USE_HEAP TRUE
+
+/**
+ * @brief Memory Pools Allocator APIs.
+ * @details If enabled then the memory pools allocator APIs are included
+ * in the kernel.
+ *
+ * @note The default is @p TRUE.
+ */
+#define CH_CFG_USE_MEMPOOLS TRUE
+
+/**
+ * @brief Dynamic Threads APIs.
+ * @details If enabled then the dynamic threads creation APIs are included
+ * in the kernel.
+ *
+ * @note The default is @p TRUE.
+ * @note Requires @p CH_CFG_USE_WAITEXIT.
+ * @note Requires @p CH_CFG_USE_HEAP and/or @p CH_CFG_USE_MEMPOOLS.
+ */
+#define CH_CFG_USE_DYNAMIC TRUE
+
+/** @} */
+
+/*===========================================================================*/
+/**
+ * @name Debug options
+ * @{
+ */
+/*===========================================================================*/
+
+/**
+ * @brief Debug option, kernel statistics.
+ *
+ * @note The default is @p FALSE.
+ */
+#define CH_DBG_STATISTICS FALSE
+
+/**
+ * @brief Debug option, system state check.
+ * @details If enabled the correct call protocol for system APIs is checked
+ * at runtime.
+ *
+ * @note The default is @p FALSE.
+ */
+#define CH_DBG_SYSTEM_STATE_CHECK FALSE
+
+/**
+ * @brief Debug option, parameters checks.
+ * @details If enabled then the checks on the API functions input
+ * parameters are activated.
+ *
+ * @note The default is @p FALSE.
+ */
+#define CH_DBG_ENABLE_CHECKS FALSE
+
+/**
+ * @brief Debug option, consistency checks.
+ * @details If enabled then all the assertions in the kernel code are
+ * activated. This includes consistency checks inside the kernel,
+ * runtime anomalies and port-defined checks.
+ *
+ * @note The default is @p FALSE.
+ */
+#define CH_DBG_ENABLE_ASSERTS FALSE
+
+/**
+ * @brief Debug option, trace buffer.
+ * @details If enabled then the context switch circular trace buffer is
+ * activated.
+ *
+ * @note The default is @p FALSE.
+ */
+#define CH_DBG_ENABLE_TRACE FALSE
+
+/**
+ * @brief Debug option, stack checks.
+ * @details If enabled then a runtime stack check is performed.
+ *
+ * @note The default is @p FALSE.
+ * @note The stack check is performed in a architecture/port dependent way.
+ * It may not be implemented or some ports.
+ * @note The default failure mode is to halt the system with the global
+ * @p panic_msg variable set to @p NULL.
+ */
+#define CH_DBG_ENABLE_STACK_CHECK FALSE
+
+/**
+ * @brief Debug option, stacks initialization.
+ * @details If enabled then the threads working area is filled with a byte
+ * value when a thread is created. This can be useful for the
+ * runtime measurement of the used stack.
+ *
+ * @note The default is @p FALSE.
+ */
+#define CH_DBG_FILL_THREADS FALSE
+
+/**
+ * @brief Debug option, threads profiling.
+ * @details If enabled then a field is added to the @p thread_t structure that
+ * counts the system ticks occurred while executing the thread.
+ *
+ * @note The default is @p FALSE.
+ * @note This debug option is not currently compatible with the
+ * tickless mode.
+ */
+#define CH_DBG_THREADS_PROFILING FALSE
+
+/** @} */
+
+/*===========================================================================*/
+/**
+ * @name Kernel hooks
+ * @{
+ */
+/*===========================================================================*/
+
+/**
+ * @brief Threads descriptor structure extension.
+ * @details User fields added to the end of the @p thread_t structure.
+ */
+#define CH_CFG_THREAD_EXTRA_FIELDS \
+ /* Add threads custom fields here.*/
+
+/**
+ * @brief Threads initialization hook.
+ * @details User initialization code added to the @p chThdInit() API.
+ *
+ * @note It is invoked from within @p chThdInit() and implicitly from all
+ * the threads creation APIs.
+ */
+#define CH_CFG_THREAD_INIT_HOOK(tp) { \
+ /* Add threads initialization code here.*/ \
+}
+
+/**
+ * @brief Threads finalization hook.
+ * @details User finalization code added to the @p chThdExit() API.
+ *
+ * @note It is inserted into lock zone.
+ * @note It is also invoked when the threads simply return in order to
+ * terminate.
+ */
+#define CH_CFG_THREAD_EXIT_HOOK(tp) { \
+ /* Add threads finalization code here.*/ \
+}
+
+/**
+ * @brief Context switch hook.
+ * @details This hook is invoked just before switching between threads.
+ */
+#define CH_CFG_CONTEXT_SWITCH_HOOK(ntp, otp) { \
+ /* System halt code here.*/ \
+}
+
+/**
+ * @brief Idle thread enter hook.
+ * @note This hook is invoked within a critical zone, no OS functions
+ * should be invoked from here.
+ * @note This macro can be used to activate a power saving mode.
+ */
+#define CH_CFG_IDLE_ENTER_HOOK() { \
+}
+
+/**
+ * @brief Idle thread leave hook.
+ * @note This hook is invoked within a critical zone, no OS functions
+ * should be invoked from here.
+ * @note This macro can be used to deactivate a power saving mode.
+ */
+#define CH_CFG_IDLE_LEAVE_HOOK() { \
+}
+
+/**
+ * @brief Idle Loop hook.
+ * @details This hook is continuously invoked by the idle thread loop.
+ */
+#define CH_CFG_IDLE_LOOP_HOOK() { \
+ /* Idle loop code here.*/ \
+}
+
+/**
+ * @brief System tick event hook.
+ * @details This hook is invoked in the system tick handler immediately
+ * after processing the virtual timers queue.
+ */
+#define CH_CFG_SYSTEM_TICK_HOOK() { \
+ /* System tick event code here.*/ \
+}
+
+/**
+ * @brief System halt hook.
+ * @details This hook is invoked in case to a system halting error before
+ * the system is halted.
+ */
+#define CH_CFG_SYSTEM_HALT_HOOK(reason) { \
+ /* System halt code here.*/ \
+}
+
+/** @} */
+
+/*===========================================================================*/
+/* Port-specific settings (override port settings defaulted in chcore.h). */
+/*===========================================================================*/
+
+#endif /* _CHCONF_H_ */
+
+/** @} */
diff --git a/test/hal/testbuild/main.c b/test/hal/testbuild/main.c new file mode 100644 index 000000000..e9d029b0a --- /dev/null +++ b/test/hal/testbuild/main.c @@ -0,0 +1,28 @@ +/*
+ ChibiOS - Copyright (C) 2006..2015 Giovanni Di Sirio
+
+ Licensed under the Apache License, Version 2.0 (the "License");
+ you may not use this file except in compliance with the License.
+ You may obtain a copy of the License at
+
+ http://www.apache.org/licenses/LICENSE-2.0
+
+ Unless required by applicable law or agreed to in writing, software
+ distributed under the License is distributed on an "AS IS" BASIS,
+ WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ See the License for the specific language governing permissions and
+ limitations under the License.
+*/
+
+#include "hal.h"
+
+/*
+ * Simulator main.
+ */
+int main(int argc, char *argv[]) {
+
+ (void)argc;
+ (void)argv;
+
+ return 0;
+}
diff --git a/test/hal/testbuild/pclint/au-misra3.lnt b/test/hal/testbuild/pclint/au-misra3.lnt new file mode 100644 index 000000000..c20ded95e --- /dev/null +++ b/test/hal/testbuild/pclint/au-misra3.lnt @@ -0,0 +1,2173 @@ +/* Date Stamp */ -d"_lint_au_misra3_lnt=au-misra3.lnt modified 12-Jun-2014"
+/* To document usage use: -message( "Using " _lint_au_misra3_lnt ) */
+
+// ---------------------------------------------------------------------
+// This file is provided by Gimpel Software (www.gimpel.com) for use with
+// its products PC-lint and FlexeLint.
+//
+// Redistribution and use of this file, with or without modification, is
+// permitted provided that any such redistribution retains this notice.
+// ---------------------------------------------------------------------
+
+// au-misra3.lnt -- Author options - MISRA C 2012
+
+/*
+ This options file can be used to explicitly activate those
+ checks advocated by the Motor Industry Software Reliability
+ Association.
+
+ You can use this file directly when linting your programs as in:
+
+ lin au-misra3 files
+
+ Gimpel Software relies on the document, "MISRA-C:2012
+ Guidelines for the use of the C language in critical systems",
+ copyright 2012 by MIRA Limited, as the primary source for this
+ file. Gimpel Software makes no warranty as to the completeness
+ or applicability of this options file and reserves the right to
+ amend or alter the official contents of such at any time.
+
+ "MISRA" is a registered trademark of MIRA Limited, held on
+ behalf of the MISRA Consortium.
+
+ */
+ -misra(3) // Activate MISRA Essential Type model
+
+/**** Dir 1.1 (Req) ************/
+
+ /* not statically checkable */
+
+/**** Dir 2.1 (Req) ************/
+
+ -A(C99) /* strict ISO C99 */
+ /* Note: if you code to the C90 standard instead, you may
+ want to comment out the above option and uncomment the
+ following option. You will also want to do likewise for
+ other uses of the '-A(C99)' option throughout this file. */
+ // -A(C90) /* strict ANSI */
+ +e950 /* flag non-standard word or construct */
+ +elib(950)
+ -append(950,[MISRA 2012 Directive 2.1, required])
+
+/**** Dir 3.1 (Req) ************/
+
+ /* not statically checkable */
+
+/**** Dir 4.1 (Req) ************/
+
+ /* not statically checkable */
+
+/**** Dir 4.2 (Adv) ************/
+
+ /* not statically checkable */
+
+/**** Dir 4.3 (Req) ************/
+
+ +e586 /* to activate the deprecation message */
+ +elib(586)
+ -deprecate(keyword,asm,[MISRA 2012 4.3, required])
+
+/**** Dir 4.4 (Adv) ************/
+
+ /* This requirement (that there be no commented-out code) is, in
+ principle, not statically checkable. The reason given for the
+ requirement is that comments do not nest. Thus a commented
+ out section of code that happens to use slash-star commenting
+ could inadvertently introduce unwanted code. Rule 3.1, however,
+ addresses the nested comment issue and hence the major concern
+ that this requirement seeks to address is indeed checkable.
+ */
+ -fnc /* flag nested comments */
+ +e602 /* comment within comment */
+ +elib(602)
+ -append(602,[MISRA 2012 Directive 4.4, advisory])
+
+/**** Dir 4.5 (Adv) ************/
+
+ // While Lint can enforce this directive with the following four
+ // options, doing so can increase the run time of Lint depending
+ // upon the number of identifiers in your program. If you want
+ // this checking, uncomment each of the following four options.
+ //
+ // +fta
+ // +e9046 /* typographical ambiguity */
+ // +elib(9046)
+ // -append(9046,[MISRA 2012 Directive 4.5, advisory])
+
+/**** Dir 4.6 (Adv) ************/
+
+ +e970 /* flag modifiers used outside of typedefs */
+ +elib(970)
+ -append(970,[MISRA 2012 Directive 4.6, advisory])
+ // For the duration, we are presuming MISRA does not want
+ // diagnostics for the bool type.
+ -esym(970,bool)
+ -esym(970,char)
+
+/**** Dir 4.7 (Req) ************/
+
+ +e534 /* ignoring return value of function */
+ +elib(534)
+ -append(534,[MISRA 2012 Directive 4.7, required])
+
+/**** Dir 4.8 (Adv) ************/
+
+ +e9045 /* non-hidden definition of type */
+ +elib(9045)
+ -append(9045,[MISRA 2012 Directive 4.8, advisory])
+
+/**** Dir 4.9 (Adv) ************/
+
+ +e9026 /* function-like macro defined */
+ +elib(9026)
+ -append(9026,[MISRA 2012 Directive 4.9, advisory])
+
+/**** Dir 4.10 (Req) ************/
+
+ +e451 /* Header repeatedly included without guard */
+ +elib(451)
+ -append(451,[MISRA 2012 Directive 4.10, required])
+
+/**** Dir 4.11 (Req) ************/
+
+ /* The arguments to over 100 calls to standard library functions
+ are monitored; users can specify additional constraints for
+ other functions.
+ */
+
+/**** Dir 4.12 (Req) ************/
+
+ +e586 /* Symbol is deprecated */
+ +elib(586)
+ -deprecate(function,calloc,[MISRA 2012 Directive 4.12, required])
+ -deprecate(function,malloc,[MISRA 2012 Directive 4.12, required])
+ -deprecate(function,realloc,[MISRA 2012 Directive 4.12, required])
+ -deprecate(function,free,[MISRA 2012 Directive 4.12, required])
+
+/**** Dir 4.13 (Adv) ************/
+
+ /* supported by uncommenting the next six options and use of the
+ -function_pair() option */
+ // +e480
+ // +elib(480)
+ // -append(480,[MISRA 2012 Directive 4.13, advisory])
+ // +e481
+ // +elib(481)
+ // -append(481,[MISRA 2012 Directive 4.13, advisory])
+
+/**** Rule 1.1 (Req) ************/
+
+ /* While MISRA has declared this rule to be "undecidable", Gimpel
+ * Software provides the following options to assist:
+ */
+ -A(C99) /* strict ISO C99 */
+ /* Note: if you code to the C90 standard instead, you may
+ want to comment out the above option and uncomment the
+ following option. You will also want to do likewise for
+ other uses of the '-A(C99)' option throughout this file. */
+ // -A(C90) /* strict ANSI */
+ +e950 /* flag non-standard word or construct */
+ +elib(950)
+ -append(950,[MISRA 2012 Rule 1.1, required])
+
+/**** Rule 1.2 (Adv) ************/
+
+ /* While MISRA has declared this rule to be "undecidable", Gimpel
+ * Software provides the following options to assist:
+ */
+ -A(C99) /* strict ISO C99 */
+ /* Note: if you code to the C90 standard instead, you may
+ want to comment out the above option and uncomment the
+ following option. You will also want to do likewise for
+ other uses of the '-A(C99)' option throughout this file. */
+ // -A(C90) /* strict ANSI */
+ +e950 /* flag non-ANSI word or construct */
+ +elib(950)
+ -append(950,[MISRA 2012 Rule 1.2, advisory])
+
+/**** Rule 1.3 (Req) ************/
+
+ /* While MISRA has declared this rule to be "undecidable", Gimpel
+ * Software provides the following options to assist:
+ */
+
+ /* Avoid the use of undefined or unspecified behavior as described
+ in ISO C, Appendix A.6.1 and Appendix A.6.2 */
+
+ /* Source file not ending in a new-line character, ending in
+ new-line character immediately preceded by a backslash
+ character, or ending in a partial preprocessing token or
+ comment (ISO C, Appendix A.6.2, point 1).
+ */
+ +e406 /* unclosed comment */
+ +elib(406)
+ -append(406,[MISRA 2012 Rule 1.3, required])
+
+ /* Non-standard character usage (ISO C, Appendix A.6.2, point 2).
+ */
+ +e27 /* illegal character */
+ +elib(27)
+ -append(27,[MISRA 2012 Rule 1.3, required])
+
+ /* Unclosed quotes (ISO C, Appendix A.6.2, point 4).
+ */
+ +e2 /* unclosed quote */
+ +elib(2)
+ -append(2,[MISRA 2012 Rule 1.3, required])
+
+ /* Repeated label within a function (ISO C, Appendix A.6.2, point
+ 5).
+ */
+ +e31 /* symbol redefinition */
+ +elib(31)
+ -append(31,[MISRA 2012 Rule 1.3, required])
+
+ /* Non-visible identifier used (ISO C, Appendix A.6.2, point 6).
+ */
+ +e40 /* undeclared identifier */
+ +elib(40)
+ -append(40,[MISRA 2012 Rule 1.3, required])
+
+ /* Identifiers for the same entity differ beyond the minimal
+ significant characters (ISO C, Appendix A.6.2, point 7).
+ See Rules 5.1, 5.2, 5.4, and 5.5.
+ */
+
+ /* The same identifier has both internal and external linkage in
+ the same translation unit (ISO C, Appendix A.6.2, point 8).
+ */
+ +e401 /* symbol not previously declared static */
+ +elib(401)
+ -append(401,[MISRA 2012 Rule 1.3, required])
+
+ /* Multiple definitions for the same externally linked identifier
+ (ISO C, Appendix A.6.2, point 9).
+ */
+ +e31 /* symbol redefinition */
+ +elib(31)
+
+ /* Using automatic storage data via a pointer after the data's
+ lifetime (ISO C, Appendix A.6.2, point 10).
+ */
+ +e604 /* returning address of auto variable */
+ +elib(604)
+ -append(604,[MISRA 2012 Rule 1.3, required])
+ +e934 /* taking address of near auto variable */
+ +elib(934)
+ -append(934,[MISRA 2012 Rule 1.3, required])
+
+ /* Incompatible redeclarations (ISO C, Appendix A.6.2, point 11).
+ See Rule 8.3
+ */
+
+ /* Non-standard escape sequence (ISO C, Appendix A.6.2, point 12).
+ */
+ +e606 /* non-ANSI escape sequence */
+ +elib(606)
+ -append(606,[MISRA 2012 Rule 1.3, required])
+
+ /* Non-standard character in header name (ISO C, Appendix A.6.2,
+ point 15).
+ See Rule 20.2
+ */
+ +e9020 /* header name with non-standard character */
+ +elib(9020)
+ -append(9020,[MISRA 2012 Rule 1.3, required])
+
+ /* No complete type available (ISO C, Appendix A.6.2, point 16).
+ */
+ +e86 /* structure has no data elements */
+ +elib(86)
+ -append(86,[MISRA 2012 Rule 1.3, required])
+
+ /* Using or converting a void expression (ISO C, Appendix A.6.2,
+ point 17).
+ */
+ +e64 /* type mismatch */
+ +elib(64)
+ -append(64,[MISRA 2012 Rule 1.3, required])
+ +e67 /* cannot cast between types */
+ +elib(67)
+ -append(67,[MISRA 2012 Rule 1.3, required])
+ +e144 /* non-existent return value */
+ +elib(144)
+ -append(144,[MISRA 2012 Rule 1.3, required])
+
+ /* Modifying an object more than once or modifying and accessing
+ between two sequence points (ISO C, Appendix A.6.2, point 18).
+ See Rule 13.2
+ */
+ +e564 /* variable depends on order of evaluation */
+ +elib(564)
+ -append(564,[MISRA 2012 Rule 1.3, required])
+
+ /* Invalid arithmetic operations or unrepresentable results
+ (ISO C, Appendix A.6.2, point 19).
+ */
+ +e54 /* division by 0 */
+ +elib(54)
+ -append(54,[MISRA 2012 Rule 1.3, required])
+ +e414 /* possible division by 0 */
+ +elib(414)
+ -append(414,[MISRA 2012 Rule 1.3, required])
+ +e795 /* conceivable division by 0 */
+ +elib(795)
+ -append(795,[MISRA 2012 Rule 1.3, required])
+ /* Also, see Rule 12.4 */
+
+ /* Passing a void argument to a function (ISO C, Appendix A.6.2,
+ point 20).
+ */
+ +e64 /* type mismatch */
+ +elib(64)
+
+ /* Incompatible function redeclaration (ISO C, Appendix A.6.2,
+ point 22).
+ See Rule 8.3
+ */
+
+ /* An invalid array reference, null pointer reference, or
+ reference to an object declared with automatic storage duration in
+ a terminated block occurs (ISO C, Appendix A.6.2, point 24).
+ */
+ +e64 /* type mismatch */
+ +elib(64)
+ +e413 /* likely use of null pointer */
+ +elib(413)
+ -append(413,[MISRA 2012 Rule 1.3, required])
+ +e415 /* out-of-bounds pointer */
+ +elib(415)
+ -append(415,[MISRA 2012 Rule 1.3, required])
+ +e416 /* out-of-bounds pointer */
+ +elib(416)
+ -append(416,[MISRA 2012 Rule 1.3, required])
+ +e428 /* negative subscript */
+ +elib(428)
+ -append(428,[MISRA 2012 Rule 1.3, required])
+ /* Also, see Rule 17.6 */
+
+ /* A pointer to a function is converted to a pointer to an object
+ or a pointer to an object is converted to a pointer to a function
+ (ISO C, Appendix A.6.2, point 26).
+ */
+ +e64 /* type mismatch */
+ +elib(64)
+ +e740 /* unusual pointer cast */
+ +elib(740)
+ -append(740,[MISRA 2012 Rule 1.3, required])
+ /* Also, see Rule 11.1 and 11.2 */
+
+ /* A pointer is converted to other than an integral or pointer
+ type (ISO C, Appendix A.6.2, point 27).
+ */
+ +e64 /* type mismatch */
+ +elib(64)
+ +e71 /* cannot cast */
+ +elib(71)
+
+ /* An expression is shifted by a negative number or by an amount
+ greater than or equal to the width in bits of the expression being
+ shifted (ISO C, Appendix A.6.2, point 30).
+ */
+ +e504 /* unusual shift */
+ +elib(504)
+ -append(504,[MISRA 2012 Rule 1.3, required])
+
+ /* An identifier for an object is declared with no linkage and the
+ type of the object is incomplete after its declarator, or after its
+ init-declarator if it has an initializer (ISO C, Appendix
+ A.6.2, point 33).
+ */
+ +e86 /* structure has no data elements */
+ +elib(86)
+
+ /* Declaring a function at block scope with a storage-class
+ specifier other than extern (ISO C, Appendix A.6.2, point 34).
+ */
+ +e629 /* static class for function */
+ +elib(629)
+ -append(629,[MISRA 2012 Rule 1.3, required])
+
+ /* A bit-field is declared with a type other than int, signed int,
+ or unsigned int (ISO C, Appendix A.6.2, point 35).
+ See Rule 6.1.
+ */
+
+ /* Attempting to modify an object with const-qualified type by
+ means of an lvalue with non-const-qualified type (ISO C,
+ Appendix A.6.2, point 36).
+ */
+ +e158 /* assignment increases capability */
+ +elib(158)
+ -append(158,[MISRA 2012 Rule 1.3, required])
+
+ /* Attempting to refer to an object with volatile-qualified type
+ by means of an lvalue with non-volatile-qualified type (ISO C,
+ Appendix A.6.2, point 37).
+ */
+ +e158 /* assignment increases capability */
+ +elib(158)
+
+ /* Using the value of uninitialized automatic object (ISO C,
+ Appendix A.6.2, point 38).
+ See Rule 9.1
+ */
+
+ /* An object with aggregate or union type with static storage
+ duration has a non-brace-enclosed initializer, or an object
+ with aggregate or union type with automatic storage duration
+ has either a single expression initializer with a type other
+ than that of the object or a non-brace-enclosed initializer
+ (ISO C, Appendix A.6.2, point 39).
+ Also, see Rule 9.2
+ */
+ +e64 /* type mismatch */
+ +elib(64)
+
+ /* The value of a function is used, but no value was returned
+ (ISO C, Appendix A.6.2, point 40).
+ See Rule 17.4.
+ */
+
+ /* A function that accepts a variable number of arguments is
+ defined without a parameter type list that ends with the
+ ellipsis notation (ISO C, Appendix A.6.2, point 41).
+ */
+
+ /* An identifier for an object with internal linkage and an
+ incomplete type is declared with a tentative definition (ISO C,
+ Appendix A.6.2, point 42).
+ */
+ +e86 /* structure has no data elements */
+ +elib(86)
+
+ /* Non-standard #include preprocessing directive (ISO C, Appendix
+ A.6.2, point 44).
+ See Rule 20.3.
+ */
+
+ /* Non-standard #line directive (ISO C, Appendix A.6.2, point 49).
+ */
+ +"estring(10,a numeric constant)" /* expecting a numeric constant */
+
+ /* #defining or #undefing any of: defined, __LINE__, __FILE__,
+ __DATE__, __TIME__, or __STDC__ (ISO C, Appendix A.6.2, point 50).
+ */
+ +e136 /* illegal macro name */
+ +elib(136)
+ -append(136,[MISRA 2012 Rule 1.3, required])
+
+ /* Format-argument mismatch in an fprintf or fscanf type of
+ function (ISO C, Appendix A.6.2, point 75).
+ */
+ +e558 /* too few arguments */
+ +elib(558)
+ -append(558,[MISRA 2012 Rule 1.3, required])
+ +e719 /* too many arguments */
+ +elib(719)
+ -append(719,[MISRA 2012 Rule 1.3, required])
+
+ /* A %% conversion specification for the fprintf or fscanf
+ function contains characters between the pair of % characters
+ (ISO C, Appendix A.6.2, point 77).
+ */
+ +e557 /* unrecognized format */
+ +elib(557)
+ -append(557,[MISRA 2012 Rule 1.3, required])
+
+ /* An aggregate or union, or a pointer to an aggregate or union is
+ an argument to the fprintf function, except for the conversion
+ specifiers %s (for an array of character type) or %p (for a pointer
+ to void) (ISO C, Appendix A.6.2, point 81).
+ */
+ +e437 /* passing struct to ellipsis */
+ +elib(437)
+ -append(437,[MISRA 2012 Rule 1.3, required])
+
+ /* Referring to deallocated space (ISO C, Appendix A.6.2, point
+ 87).
+ */
+ +e449 /* previously deallocated pointer */
+ +elib(449)
+ -append(449,[MISRA 2012 Rule 1.3, required])
+
+ /* Misuse of free or realloc (ISO C, Appendix A.6.2, point 88).
+ */
+ +esym(424,free) /* inappropriate deallocation */
+ -append(424,[MISRA 2012 Rule 1.3, required])
+
+ /* An array written to by a copying or concatenation function is
+ too small (ISO C, Appendix A.6.2, point 91).
+ */
+ +e419 /* data overrun */
+ +elib(419)
+ -append(419,[MISRA 2012 Rule 1.3, required])
+
+ /* Order of evaluation (ISO C, Appendix A.6.1, point 7).
+ */
+ +e564 /* variable depends on order of evaluation */
+ +elib(564)
+ -append(564,[MISRA 2012 Rule 1.3, required])
+
+ /* Side effects order (ISO C, Appendix A.6.1, point 8).
+ */
+ +e931 /* both sides of an expression have side-effects */
+ +elib(931)
+ -append(931,[MISRA 2012 Rule 1.3, required])
+
+ /* Function argument evaluation (ISO C, Appendix A.6.1, point 9).
+ */
+ +e564 /* variable depends on order of evaluation */
+ +elib(564)
+
+ /* The order in which # and ## operations are evaluated during
+ macro substitution (ISO C, Appendix A.6.1, point 12).
+ */
+ +e9023 /* multiple '#/##' operators in macro definition */
+ +elib(9023)
+ -append(9023,[MISRA 2012 Rule 1.3, required])
+
+ /* Whether setjmp is a macro or an external identifier (ISO C,
+ Appendix A.6.1, point 14).
+ See Rule 21.2.
+ */
+
+/**** Rule 2.1 (Req) ************/
+
+ /* While MISRA has declared this rule to be "undecidable", Gimpel
+ * Software provides the following options to assist:
+ */
+ +e506 /* constant value boolean */
+ +elib(506)
+ -append(506,[MISRA 2012 Rule 2.1, required])
+ +e527 /* unreachable */
+ +elib(527)
+ -append(527,[MISRA 2012 Rule 2.1, required])
+ +e681 /* loop not entered */
+ +elib(681)
+ -append(681,[MISRA 2012 Rule 2.1, required])
+ +e827 /* loop not reachable */
+ +elib(827)
+ -append(827,[MISRA 2012 Rule 2.1, required])
+
+/**** Rule 2.2 (Req) ************/
+
+ /* While MISRA has declared this rule to be "undecidable", Gimpel
+ * Software provides the following options to assist:
+ */
+ +e438 /* value not used */
+ +elib(438)
+ -append(438,[MISRA 2012 Rule 2.2, required])
+ +e505 /* redundant argument to comma */
+ +elib(505)
+ -append(505,[MISRA 2012 Rule 2.2, required])
+ +e520 /* highest operator has no side effects */
+ +elib(520)
+ -append(520,[MISRA 2012 Rule 2.2, required])
+ +e521 /* highest operator has no side effects */
+ +elib(521)
+ -append(521,[MISRA 2012 Rule 2.2, required])
+ +e522 /* highest operator has no side effects */
+ +elib(522)
+ -append(522,[MISRA 2012 Rule 2.2, required])
+
+/**** Rule 2.3 (Adv) ************/
+
+ +e751 /* local typedef not referenced */
+ +elib(751)
+ -append(751,[MISRA 2012 Rule 2.3, advisory])
+ +e756 /* global not referenced */
+ +elib(756)
+ -append(756,[MISRA 2012 Rule 2.3, advisory])
+
+/**** Rule 2.4 (Adv) ************/
+
+ +e753 /* local tag not referenced */
+ +elib(753)
+ -append(753,[MISRA 2012 Rule 2.4, advisory])
+ +e9058
+ +elibsym(9058)
+ -append(9058,[MISRA 2012 Rule 2.4, advisory])
+
+/**** Rule 2.5 (Adv) ************/
+
+ +e750 /* local macro not referenced */
+ +elib(750)
+ -append(750,[MISRA 2012 Rule 2.5, advisory])
+ +e755 /* global macro not referenced */
+ +elib(755)
+ -append(755,[MISRA 2012 Rule 2.5, advisory])
+
+/**** Rule 2.6 (Adv) ************/
+
+ +e563 /* label not referenced */
+ +elib(563)
+ -append(563,[MISRA 2012 Rule 2.6, advisory])
+
+/**** Rule 2.7 (Adv) ************/
+
+ +e715 /* not referenced */
+ +elib(715)
+ -append(715,[MISRA 2012 Rule 2.7, advisory])
+
+/**** Rule 3.1 (Req) ************/
+
+ -fnc /* flag nested comments */
+ +e602 /* comment within comment */
+ +elib(602)
+ -append(602,[MISRA 2012 Rule 3.1, required])
+ +e9059
+ +elib(9059)
+ -append(9059,[MISRA 2012 Rule 3.1, required])
+ +e9066
+ +elib(9066)
+ -append(9066,[MISRA 2012 Rule 3.1, required])
+
+/**** Rule 3.2 (Req) ************/
+
+ +e427 /* C++ comment ends in \\ */
+ +elib(427)
+ -append(427,[MISRA 2012 Rule 3.2, required])
+
+/**** Rule 4.1 (Req) ************/
+
+ +e9039 /* prohibited escape sequence */
+ +elib(9039)
+ -append(9039,[MISRA 2012 Rule 4.1, required])
+
+/**** Rule 4.2 (Adv) ************/
+
+ -ftg /* inhibit use of trigraphs */
+ +e584 /* activate trigraph detected message */
+ +elib(584)
+ -append(584,[MISRA 2012 Rule 4.2, advisory])
+ +e739 /* activate trigraph in string message */
+ +elib(739)
+ -append(739,[MISRA 2012 Rule 4.2, advisory])
+ +e9060 /* trigraph in comment */
+ +elib(9060)
+ -append(9060,[MISRA 2012 Rule 4.2, advisory])
+
+/**** Rule 5.1 (Req) ************/
+
+ -idlen(31) /* flag names identical in the first 31 characters */
+ +e621 /* Identifier clash - length set by -idlen */
+ +elib(621)
+ -append(621,[MISRA 2012 Rule 5.1, required])
+
+/**** Rule 5.2 (Req) ************/
+
+ -idlen(31) /* flag names identical in the first 31 characters */
+ +e621 /* Identifier clash - length set by -idlen */
+ +elib(621)
+ -append(621,[MISRA 2012 Rule 5.2, required])
+
+/**** Rule 5.3 (Req) ************/
+
+ +e578 /* enable reports of name hiding */
+ +elib(578)
+ -append(578,[MISRA 2012 Rule 5.3, required])
+
+/**** Rule 5.4 (Req) ************/
+
+ -idlen(31) /* flag names identical in the first 31 characters */
+ +e621 /* Identifier clash - length set by -idlen */
+ +elib(621)
+ -append(621,[MISRA 2012 Rule 5.4, required])
+
+/**** Rule 5.5 (Req) ************/
+
+ +e123 /* macro defined with arguments */
+ +elib(123)
+ -append(123,[MISRA 2012 Rule 5.5, required])
+ -idlen(31) /* flag names identical in the first 31 characters */
+ +e621 /* Identifier clash - length set by -idlen */
+ +elib(621)
+ -append(621,[MISRA 2012 Rule 5.5, required])
+ +e9061 /* non-distinct identifier */
+ +elib(9061)
+ -append(9061,[MISRA 2012 Rule 5.5, required])
+
+/**** Rule 5.6 (Req) ************/
+
+ +e578 /* enable reports of name hiding */
+ +elib(578)
+ -append(578,[MISRA 2012 Rule 5.6, required])
+ +e623 /* redefining the storage class of symbol */
+ +elib(623)
+ -append(623,[MISRA 2012 Rule 5.6, required])
+ +estring(9062,typedef) /* non-unique typedef */
+ +elib(9062)
+ -append(9062(typedef),[MISRA 2012 Rule 5.6, required])
+
+/**** Rule 5.7 (Req) ************/
+
+ +e407 /* Inconsistent use of tag */
+ +elib(407)
+ -append(407,[MISRA 2012 Rule 5.7, required])
+ +e578 /* Declaration of Symbol hides Symbol */
+ +elib(578)
+ -append(578,[MISRA 2012 Rule 5.7, required])
+ +e14 /* Symbol previously defined */
+ +elib(14)
+ -append(14,[MISRA 2012 Rule 5.7, required])
+ +e15 /* Symbol redeclared */
+ +elib(15)
+ -append(15,[MISRA 2012 Rule 5.7, required])
+ +e631 /* Tag defined differently */
+ +elib(631)
+ -append(631,[MISRA 2012 Rule 5.7, required])
+ +e9062 /* non-unique tag */
+ +elib(9062)
+ -append(9062(tag),[MISRA 2012 Rule 5.7, required])
+
+/**** Rule 5.8 (Req) ************/
+
+ +e401 /* Symbol not previously declared static */
+ +elib(401)
+ -append(401,[MISRA 2012 Rule 5.8, required])
+ +e578 /* Declaration of Symbol hides Symbol */
+ +elib(578)
+ -append(578,[MISRA 2012 Rule 5.8, required])
+ +e580 /* enable reports of name hiding */
+ +elib(580)
+ -append(580,[MISRA 2012 Rule 5.8, required])
+
+/**** Rule 5.9 (Adv) ************/
+
+ +e578 /* enable reports of name hiding */
+ +elib(578)
+ -append(578,[MISRA 2012 Rule 5.9, advisory])
+ +e580 /* enable reports of name hiding */
+ +elib(580)
+ -append(580,[MISRA 2012 Rule 5.9, advisory])
+
+/**** Rule 6.1 (Req) ************/
+
+ +e46 /* field type should be int */
+ +elib(46)
+ -append(46,[MISRA 2012 Rule 6.1, required])
+ +e806 /* small bit field is signed rather than unsigned */
+ +elib(806)
+ -append(806,[MISRA 2012 Rule 6.1, required])
+
+/**** Rule 6.2 (Req) ************/
+
+ +e9088 /* named signed single-bit bit-field */
+ +elib(9088)
+ -append(9088,[MISRA 2012 Rule 6.2, required])
+
+/**** Rule 7.1 (Req) ************/
+
+ +e9001 /* Octal constant used */
+ +elib(9001)
+ -append(9001,[MISRA 2012 Rule 7.1, required])
+
+/**** Rule 7.2 (Req) ************/
+
+ +e9048 /* unsigned literal without 'U' suffix */
+ +elib(9048)
+ -append(9048,[MISRA 2012 Rule 7.2, required])
+
+/**** Rule 7.3 (Req) ************/
+
+ +e620 /* suspicious constant */
+ +elib(620)
+ -append(620,[MISRA 2012 Rule 7.3, required])
+ +e9057 /* "l" after "u" in literal suffix */
+ +elib(9057)
+ -append(9057,[MISRA 2012 Rule 7.3, required])
+
+/**** Rule 7.4 (Req) ************/
+
+ +fsc
+ +e489 /* attempting to modify a string literal */
+ +elib(489)
+ -append(489,[MISRA 2012 Rule 7.4, required])
+ +e1776 /* string literal not const safe */
+ +elib(1776)
+ -append(1776,[MISRA 2012 Rule 7.4, required])
+ +e1778 /* assignment of string literal not const safe */
+ +elib(1778)
+ -append(1778,[MISRA 2012 Rule 7.4, required])
+
+/**** Rule 8.1 (Req) ************/
+
+ +e601 /* no explicit type */
+ +elib(601)
+ -append(601,[MISRA 2012 Rule 8.1, required])
+ +e745 /* function has no explicit type */
+ +elib(745)
+ -append(745,[MISRA 2012 Rule 8.1, required])
+ +e808 /* no explicit type */
+ +elib(808)
+ -append(808,[MISRA 2012 Rule 8.1, required])
+ +e832 /* parameter has no explicit type */
+ +elib(832)
+ -append(832,[MISRA 2012 Rule 8.1, required])
+ +e939 /* return type defaults to int */
+ +elib(939)
+ -append(939,[MISRA 2012 Rule 8.1, required])
+
+/**** Rule 8.2 (Req) ************/
+
+ +e937 /* old-style function declaration */
+ +elib(937)
+ -append(937,[MISRA 2012 Rule 8.2, required])
+ +e745 /* function has no explicit type */
+ +elib(745)
+ -append(745,[MISRA 2012 Rule 8.2, required])
+ +e939 /* return type defaults to int */
+ +elib(939)
+ -append(939,[MISRA 2012 Rule 8.2, required])
+ -fvr /* varying return mode not allowed */
+ -strong() /* enable strong typing for
+ declarations */
+ +e18 /* symbol redeclared */
+ +elib(18)
+ -append(18,[MISRA 2012 Rule 8.2, required])
+
+ +e936 /* old-style function definition */
+ +elib(936)
+ -append(936,[MISRA 2012 Rule 8.2, required])
+
+ +e955 /* param name missing from prototype */
+ +elib(955)
+ -append(955,[MISRA 2012 Rule 8.2, required])
+
+/**** Rule 8.3 (Req) ************/
+
+ -fvr /* varying return mode not allowed */
+ -strong() /* enable strong typing for declarations */
+ +e18 /* symbol redeclared */
+ +elib(18)
+ -append(18,[MISRA 2012 Rule 8.3, required])
+ +e516 /* argument type conflict */
+ +elib(516)
+ -append(516,[MISRA 2012 Rule 8.3, required])
+ +e532 /* return mode of symbol inconsistent */
+ +elib(532)
+ -append(532,[MISRA 2012 Rule 8.3, required])
+ +e9072 /* parameter list differs */
+ +elib(9072)
+ -append(9072,[MISRA 2012 Rule 8.3, required])
+
+/**** Rule 8.4 (Req) ************/
+
+ +e15 /* symbol redeclared */
+ +elib(15)
+ -append(15,[MISRA 2012 Rule 8.4, required])
+ +e64 /* flag type mismatch */
+ +elib(64)
+ -append(64,[MISRA 2012 Rule 8.4, required])
+ +e516 /* argument type mismatch */
+ +elib(516)
+ -append(516,[MISRA 2012 Rule 8.4, required])
+ +e9075 /* extern defined without prior declaration */
+ +elib(9075)
+ -append(9075,[MISRA 2012 Rule 8.4, required])
+
+/**** Rule 8.5 (Req) ************/
+
+ +e9004 /* object/function previously declared */
+ +elib(9004)
+ -append(9004,[MISRA 2012 Rule 8.5, required])
+
+/**** Rule 8.6 (Req) ************/
+
+ --fmd /* diallow multiple definitions */
+ +e14 /* Symbol previously defined */
+ +elib(14)
+ -append(14,[MISRA 2012 Rule 8.6, required])
+
+/**** Rule 8.7 (Adv) ************/
+
+ +e765 /* could be made static */
+ +elib(765)
+ -append(765,[MISRA 2012 Rule 8.7, advisory])
+
+/**** Rule 8.8 (Req) ************/
+
+ +e839 /* storage class assumed static */
+ +elib(839)
+ -append(839,[MISRA 2012 Rule 8.8, required])
+
+/**** Rule 8.9 (Adv) ************/
+
+ +e9003 /* could define variable at block scope */
+ +elib(9003)
+ -append(9003,[MISRA 2012 Rule 8.9, advisory])
+
+/**** Rule 8.10 (Req) ************/
+
+ +e695 /* inline function without storage-class specifier */
+ +elib(695)
+ -append(695,[MISRA 2012 Rule 8.10, required])
+ +estring(9056,extern) /* inline function defined with extern */
+ -append(9056,[MISRA 2012 Rule 8.10, required])
+
+/**** Rule 8.11 (Adv) ************/
+
+ +e9067 /* array has no dimension or initializer */
+ +elib(9067)
+ -append(9067,[MISRA 2012 Rule 8.11, advisory])
+
+/**** Rule 8.12 (Req) ************/
+
+ +e488 /* duplicate enumerator values */
+ +elib(488)
+ -append(488,[MISRA 2012 Rule 8.12, required])
+
+/**** Rule 8.13 (Adv) ************/
+
+ /* While MISRA has declared this rule to be "undecidable", Gimpel
+ * Software provides the following options to assist:
+ */
+ +e818 /* pointer could be declared pointing to const */
+ +elib(818)
+ -append(818,[MISRA 2012 Rule 8.13, advisory])
+ +e844 /* pointer could be declared pointing to const */
+ +elib(844)
+ -append(844,[MISRA 2012 Rule 8.13, advisory])
+ +e954 /* pointer could be declared pointing to const */
+ +elib(954)
+ -append(954,[MISRA 2012 Rule 8.13, advisory])
+
+/**** Rule 8.14 (Req) ************/
+
+ +e586 /* Symbol is deprecated */
+ +elib(586)
+ -deprecate(keyword,restrict,[MISRA 2012 Rule 8.14, required])
+
+/**** Rule 9.1 (Mand) ************/
+
+ /* While MISRA has declared this rule to be "undecidable", Gimpel
+ * Software provides the following options to assist:
+ */
+ +e644 /* Symbol may not have been initialized */
+ +elib(644)
+ -append(644,[MISRA 2012 Rule 9.1, mandatory])
+ +e771 /* Symbol conceivably not initialized */
+ +elib(771)
+ -append(771,[MISRA 2012 Rule 9.1, mandatory])
+ +e530 /* Symbol not initialized */
+ +elib(530)
+ -append(530,[MISRA 2012 Rule 9.1, mandatory])
+ -specific(+e644 +e771 +e530,)
+
+/**** Rule 9.2 (Req) ************/
+
+ +e9069 /* omitted braces within an initializer */
+ +elib(9069)
+ -append(9069,[MISRA 2012 Rule 9.2, required])
+
+/**** Rule 9.3 (Req) ************/
+
+ +e9068 /* too few initializers */
+ +elib(9068)
+ -append(9068,[MISRA 2012 Rule 9.3, required])
+
+/**** Rule 9.4 (Req) ************/
+
+ +e485 /* duplicate initialization */
+ +elib(485)
+ -append(485,[MISRA 2012 Rule 9.4, required])
+
+/**** Rule 9.5 (Req) ************/
+
+ +e9054 /* designated initializer and dimensionless array */
+ +elib(9054)
+ -append(9054,[MISRA 2012 Rule 9.5, required])
+
+/**** Rule 10.1 (Req) ************/
+
+ +e48 /* bad type */
+ +elib(48)
+ -append(48,[MISRA 2012 Rule 10.1, required])
+ +e9027 /* unpermitted operand */
+ +elib(9027)
+ -append(9027,[MISRA 2012 Rule 10.1, required])
+
+/**** Rule 10.2 (Req) ************/
+
+ +e9028 /* unpermitted arithmetic */
+ +elib(9028)
+ -append(9028,[MISRA 2012 Rule 10.2, required])
+
+/**** Rule 10.3 (Req) ************/
+
+ +e9034 /* expression assigned to narrower or different essential type */
+ +elib(9034)
+ // Note: the following -d options for true and false don't apply
+ // to C90 and should be commented out if not using C99
+ +"dtrue=/*lint -save -e921 */(_Bool) 1/*lint -restore */" // exception
+ +"dfalse=/*lint -save -e921 */(_Bool) 0/*lint -restore */" // exception
+ -append(9034,[MISRA 2012 Rule 10.3, required])
+
+/**** Rule 10.4 (Req) ************/
+
+ +e9029 /* mismatched essential type */
+ +elib(9029)
+ -append(9029,[MISRA 2012 Rule 10.4, required])
+
+/**** Rule 10.5 (Adv) ************/
+
+ +e9030 /* impermissible cast */
+ +elib(9030)
+ -append(9030,[MISRA 2012 Rule 10.5, advisory])
+
+/**** Rule 10.6 (Req) ************/
+
+ +e9031 /* composite expression assigned to wider essential type */
+ +elib(9031)
+ -append(9031,[MISRA 2012 Rule 10.6, required])
+
+/**** Rule 10.7 (Req) ************/
+
+ +e9032 /* composite expression with smaller essential type than other operand*/
+ +elib(9032)
+ -append(9032,[MISRA 2012 Rule 10.7, required])
+
+/**** Rule 10.8 (Req) ************/
+
+ +e9033 /* impermissible cast of composite expression */
+ +elib(9033)
+ -append(9033,[MISRA 2012 Rule 10.8, required])
+
+/**** Rule 11.1 (Req) ************/
+
+ +e9074 /* conversion between a pointer to function and another type */
+ +elib(9074)
+ --emacro((9074),NULL) /* explicit exception */
+ -append(9074,[MISRA 2012 Rule 11.1, required])
+
+/**** Rule 11.2 (Req) ************/
+
+ +e9076 /* conversion between a pointer to incomplete type and another type */
+ +elib(9076)
+ --emacro((9076),NULL) /* explicit exception */
+ -append(9076,[MISRA 2012 Rule 11.2, required])
+
+/**** Rule 11.3 (Req) ************/
+
+ +e9087 /* cast from pointer to pointer */
+ +elib(9087)
+ -append(9087,[MISRA 2012 Rule 11.3, required])
+
+/**** Rule 11.4 (Adv) ************/
+
+ +e9078 /* cast pointer/integer */
+ +elib(9078)
+ -append(9078,[MISRA 2012 Rule 11.4, advisory])
+
+/**** Rule 11.5 (Adv) ************/
+
+ +e9079 /* cast from pointer to pointer */
+ +elib(9079)
+ -append(9079,[MISRA 2012 Rule 11.5, advisory])
+
+/**** Rule 11.6 (Req) ************/
+
+ +e923 /* cast pointer/non-pointer */
+ +elib(923)
+ -append(923,[MISRA 2012 Rule 11.6, required])
+
+/**** Rule 11.7 (Req) ************/
+
+ +e68 /* cast pointer/float */
+ +elib(68)
+ -append(68,[MISRA 2012 Rule 11.7, required])
+ +e70 /* cast pointer/float */
+ +elib(70)
+ -append(70,[MISRA 2012 Rule 11.7, required])
+
+/**** Rule 11.8 (Req) ************/
+
+ +e9005 /* attempt to cast away const/volatile from pointer or reference */
+ +elib(9005)
+ -append(9005,[MISRA 2012 Rule 11.8, required])
+
+/**** Rule 11.9 (Req) ************/
+
+ +e910 /* conversion from 0 to pointer */
+ +elib(910)
+ --emacro((910),NULL) /* explicit exception */
+ -append(910,[MISRA 2012 Rule 11.9, required])
+ +e9080 /* integer null pointer constant */
+ +elib(9080)
+ -append(9080,[MISRA 2012 Rule 11.9, required])
+
+/**** Rule 12.1 (Adv) ************/
+
+ +e9050 /* dependence placed on precedence */
+ +elib(9050)
+ -append(9050,[MISRA 2012 Rule 12.1, advisory])
+
+/**** Rule 12.2 (Req) ************/
+
+ /* While MISRA has declared this rule to be "undecidable", Gimpel
+ * Software provides the following options to assist:
+ */
+ +e598 /* excessive left shift */
+ +elib(598)
+ -append(598,[MISRA 2012 Rule 12.2, required])
+ +e9053 /* shift value exceeds size of LHS */
+ +elib(9053)
+ -append(9053,[MISRA 2012 Rule 12.2, required])
+
+/**** Rule 12.3 (Adv) ************/
+
+ +e9008 /* comma operator used */
+ +elib(9008)
+ -append(9008,[MISRA 2012 Rule 12.3, advisory])
+
+/**** Rule 12.4 (Adv) ************/
+
+ +elib(648) /* Overflow in computing constant */
+ +estring(648,unsigned addition)
+ +estring(648,unsigned multiplication)
+ +estring(648,unsigned sub.)
+ +estring(648,unsigned shift left)
+ +estring(648,unsigned shift right)
+ -append(648,[MISRA 2012 Rule 12.4, advisory])
+
+/**** Rule 13.1 (Req) ************/
+
+ /* While MISRA has declared this rule to be "undecidable", Gimpel
+ * Software provides the following options to assist:
+ */
+ +e446 /* side effect in initializer */
+ +elib(446)
+ -append(446,[MISRA 2012 Rule 13.1, required])
+
+/**** Rule 13.2 (Req) ************/
+
+ /* While MISRA has declared this rule to be "undecidable", Gimpel
+ * Software provides the following options to assist:
+ */
+ +e564 /* variable depends on order of evaluation */
+ +elib(564)
+ -append(564,[MISRA 2012 Rule 13.2, required])
+ +e864 /* variable possibly depends on order of evaluation */
+ +elib(864)
+ -append(864,[MISRA 2012 Rule 13.2, required])
+ +e931 /* both sides have side effects */
+ +elib(931)
+ -append(931,[MISRA 2012 Rule 13.2, required])
+
+/**** Rule 13.3 (Adv) ************/
+
+ +e9049 /* increment/decrement combined with other operations */
+ +elib(9049)
+ -append(9049,[MISRA 2012 Rule 13.3, advisory])
+
+/**** Rule 13.4 (Adv) ************/
+
+ +e720 /* Boolean test of assignment */
+ +elib(720)
+ -append(720,[MISRA 2012 Rule 13.4, advisory])
+ +e820 /* Boolean test of parenthesized assignment */
+ +elib(820)
+ -append(820,[MISRA 2012 Rule 13.4, advisory])
+ +e9084 /* assignment used inside larger
+ expression */
+ +elib(9084)
+ -append(9084,[MISRA 2012 Rule 13.4, advisory])
+
+/**** Rule 13.5 (Req) ************/
+
+ /* While MISRA has declared this rule to be "undecidable", Gimpel
+ * Software provides the following options to assist:
+ */
+ +e9007 /* side effects on right hand side of logical operator */
+ +elib(9007)
+ -append(9007,[MISRA 2012 Rule 13.5, required])
+
+/**** Rule 13.6 (Mand) ************/
+
+ +e9006 /* sizeof used with expression with side effect */
+ +elib(9006)
+ -append(9006,[MISRA 2012 Rule 13.6, mandatory])
+ +e9089 /* potential side-effect in argument to sizeof */
+ +elib(9089)
+ -append(9089,[MISRA 2012 Rule 13.6, mandatory])
+
+/**** Rule 14.1 (Req) ************/
+
+ /* While MISRA has declared this rule to be "undecidable", Gimpel
+ * Software provides the following options to assist:
+ */
+ +e9009 /* floating point variable used as loop counter */
+ +elib(9009)
+ -append(9009,[MISRA 2012 Rule 14.1, required])
+
+/**** Rule 14.2 (Req) ************/
+
+ /* While MISRA has declared this rule to be "undecidable", Gimpel
+ * Software provides the following options to assist:
+ */
+ +e850 /* index variable modified in body of for loop */
+ +elib(850)
+ -append(850,[MISRA 2012 Rule 14.2, required])
+
+/**** Rule 14.3 (Req) ************/
+
+ /* While MISRA has declared this rule to be "undecidable", Gimpel
+ * Software provides the following options to assist:
+ */
+ +e685 /* relational always evaluates to true/false */
+ +elib(685)
+ -append(685,[MISRA 2012 Rule 14.3, required])
+ +e774 /* boolean always evaluates to true/false */
+ +elib(774)
+ -append(774,[MISRA 2012 Rule 14.3, required])
+ +e650 /* constant out of range for operator */
+ +elib(650)
+ -append(650,[MISRA 2012 Rule 14.3, required])
+
+/**** Rule 14.4 (Req) ************/
+
+ +e9036 /* condition should have essentially Boolean type */
+ +elib(9036)
+ -append(9036,[MISRA 2012 Rule 14.4, required])
+
+/**** Rule 15.1 (Adv) ************/
+
+ +e801 /* use of 'goto' is deprecated */
+ +elib(801)
+ -append(801,[MISRA 2012 Rule 15.1, advisory])
+
+/**** Rule 15.2 (Req) ************/
+
+ +e9064 /* goto references earlier label */
+ +elib(9064)
+ -append(9064,[MISRA 2012 Rule 15.2, required])
+
+/**** Rule 15.3 (Req) ************/
+
+ +e9041 /* goto not nested in the same block as label */
+ +elib(9041)
+ -append(9041,[MISRA 2012 Rule 15.3, required])
+
+/**** Rule 15.4 (Adv) ************/
+
+ +e9011 /* more than one 'break' terminates loop */
+ +elib(9011)
+ -append(9011,[MISRA 2012 Rule 15.4, advisory])
+
+/**** Rule 15.5 (Adv) ************/
+
+ +e904 /* return before function end */
+ +elib(904)
+ -append(904,[MISRA 2012 Rule 15.5, advisory])
+
+/**** Rule 15.6 (Req) ************/
+
+ +e9012 /* sub-statement should be a compound statement */
+ +elib(9012)
+ -append(9012,[MISRA 2012 Rule 15.6, required])
+
+/**** Rule 15.7 (Req) ************/
+
+ +e9013 /* no 'else' at end of 'if ... else if' chain */
+ +elib(9013)
+ -append(9013,[MISRA 2012 Rule 15.7, required])
+ +e9063 /* no comment or action in else-branch */
+ +elib(9063)
+ -append(9063,[MISRA 2012 Rule 15.7, required])
+
+/**** Rule 16.1 (Req) ************/
+
+ +e616 /* control flows into case/default */
+ +elib(616)
+ -append(616,[MISRA 2012 Rule 16.1, required])
+ +e744 /* switch statement has no default */
+ +elib(744)
+ -append(744,[MISRA 2012 Rule 16.1, required])
+ +e764 /* switch does not have a case */
+ +elib(764)
+ -append(764,[MISRA 2012 Rule 16.1, required])
+ +e825 /* control flows into case/default without -fallthrough comment */
+ +elib(825)
+ -append(825,[MISRA 2012 Rule 16.1, required])
+ +e9014 /* default missing from switch */
+ +elib(9014)
+ -append(9014,[MISRA 2012 Rule 16.1, required])
+ +e9042 /* departure from MISRA switch syntax */
+ +elib(9042)
+ -append(9042,[MISRA 2012 Rule 16.1, required])
+ +e9077 /* missing unconditional break */
+ +elib(9077)
+ -append(9077,[MISRA 2012 Rule 16.1, required])
+ +e9081 /* too few independent cases for switch */
+ +elib(9081)
+ -append(9081,[MISRA 2012 Rule 16.1, required])
+ +e9082 /* switch statement should either begin or end with default label */
+ +elib(9082)
+ -append(9082,[MISRA 2012 Rule 16.1, required])
+ +e9085 /* statement or comment should appear in default case */
+ +elib(9085)
+ -append(9085,[MISRA 2012 Rule 16.1, required])
+
+/**** Rule 16.2 (Req) ************/
+
+ +e44 /* Need a switch */
+ +elib(44)
+ -append(44,[MISRA 2012 Rule 16.2, required])
+ +e9055 /* enclosing statement is not a switch */
+ +elib(9055)
+ -append(9055,[MISRA 2012 Rule 16.2, required])
+
+/**** Rule 16.3 (Req) ************/
+
+ +e616 /* control flows into case/default */
+ +elib(616)
+ -append(616,[MISRA 2012 Rule 16.3, required])
+ +e825 /* control flows into case/default without -fallthrough comment */
+ +elib(825)
+ -append(825,[MISRA 2012 Rule 16.3, required])
+ +e9077 /* missing unconditional break */
+ +elib(9077)
+ -append(9077,[MISRA 2012 Rule 16.3, required])
+ +e9090 /* missing unconditional break */
+ +elib(9090)
+ -append(9090,[MISRA 2012 Rule 16.3, required])
+
+/**** Rule 16.4 (Req) ************/
+
+ +e744 /* switch statement has no default */
+ +elib(744)
+ -append(744,[MISRA 2012 Rule 16.4, required])
+ +e9014 /* switch statement has no default */
+ +elib(9014)
+ -append(9014,[MISRA 2012 Rule 16.4, required])
+ +e9085 /* default case has no statement nor comment */
+ +elib(9085)
+ -append(9085,[MISRA 2012 Rule 16.4, required])
+
+/**** Rule 16.5 (Req) ************/
+
+ +e9082 /* default should be first or last */
+ +elib(9082)
+ -append(9082,[MISRA 2012 Rule 16.5, required])
+
+/**** Rule 16.6 (Req) ************/
+
+ +e764 /* switch does not have a case */
+ +elib(764)
+ -append(764,[MISRA 2012 Rule 16.6, required])
+ +e9081 /* too few cases */
+ +elib(9081)
+ -append(9081,[MISRA 2012 Rule 16.6, required])
+
+/**** Rule 16.7 (Req) ************/
+
+ +e483 /* boolean value in switch expression */
+ +elib(483)
+ -append(483,[MISRA 2012 Rule 16.7, required])
+
+/**** Rule 17.1 (Req) ************/
+
+ +e829 /* warn on header usage */
+ +elib(829)
+ +headerwarn(stdarg.h)
+ -append(829(stdarg.h),[MISRA 2012 Rule 17.1, required])
+ -deprecate(macro,va_arg,[MISRA 2012 Rule 17.1, required])
+ -deprecate(macro,va_start,[MISRA 2012 Rule 17.1, required])
+ -deprecate(macro,va_end,[MISRA 2012 Rule 17.1, required])
+ -deprecate(macro,va_copy,[MISRA 2012 Rule 17.1, required])
+
+/**** Rule 17.2 (Req) ************/
+
+ /* While MISRA has declared this rule to be "undecidable", Gimpel
+ * Software provides the following options to assist:
+ */
+ +e9070
+ -append(9070,[MISRA 2012 Rule 17.2, required])
+
+/**** Rule 17.3 (Mand) ************/
+
+ +e718 /* symbol undeclared, assumed to return int */
+ +elib(718)
+ -append(718,[MISRA 2012 Rule 17.3, mandatory])
+
+/**** Rule 17.4 (Mand) ************/
+
+ +e533 /* function should return a value */
+ +elib(533)
+ -append(533,[MISRA 2012 Rule 17.4, mandatory])
+
+/**** Rule 17.5 (Adv) ************/
+
+ /* MISRA has declared this rule to be "undecidable". */
+
+/**** Rule 17.6 (Mand) ************/
+
+ +e9043 /* static between brackets of array declaration */
+ +elib(9043)
+ -append(9043,[MISRA 2012 Rule 17.6, mandatory])
+
+/**** Rule 17.7 (Req) ************/
+
+ +e534 /* ignoring return value of function */
+ +elib(534)
+ -append(534,[MISRA 2012 Rule 17.7, required])
+
+/**** Rule 17.8 (Adv) ************/
+
+ /* While MISRA has declared this rule to be "undecidable", Gimpel
+ * Software provides the following options to assist:
+ */
+ +e9044 /* function parameter modified */
+ +elib(9044)
+ -append(9044,[MISRA 2012 Rule 17.8, advisory])
+
+/**** Rule 18.1 (Req) ************/
+
+ /* While MISRA has declared this rule to be "undecidable", Gimpel
+ * Software provides the following options to assist:
+ */
+ +e415 /* out-of-bounds pointer */
+ +elib(415)
+ -append(415,[MISRA 2012 Rule 18.1, required])
+ +e416 /* out-of-bounds pointer */
+ +elib(416)
+ -append(416,[MISRA 2012 Rule 18.1, required])
+ +e428 /* out-of-bounds pointer */
+ +elib(428)
+ -append(428,[MISRA 2012 Rule 18.1, required])
+ +e661 /* out-of-bounds pointer */
+ +elib(661)
+ -append(661,[MISRA 2012 Rule 18.1, required])
+ +e662 /* out-of-bounds pointer */
+ +elib(662)
+ -append(662,[MISRA 2012 Rule 18.1, required])
+ +e676 /* out-of-bounds pointer */
+ +elib(676)
+ -append(676,[MISRA 2012 Rule 18.1, required])
+ +e796 /* out-of-bounds pointer */
+ +elib(796)
+ -append(796,[MISRA 2012 Rule 18.1, required])
+ +e797 /* out-of-bounds pointer */
+ +elib(797)
+ -append(797,[MISRA 2012 Rule 18.1, required])
+ +e817 /* out-of-bounds pointer */
+ +elib(817)
+ -append(817,[MISRA 2012 Rule 18.1, required])
+
+/**** Rule 18.2 (Req) ************/
+
+ /* While MISRA has declared this rule to be "undecidable", Gimpel
+ * Software provides the following options to assist:
+ */
+ +e946 /* relational or subtract operator applied to pointers */
+ +elib(946)
+ -append(946,[MISRA 2012 Rule 18.2, required])
+ +e947 /* relational or subtract operator applied to pointers */
+ +elib(947)
+ -append(947,[MISRA 2012 Rule 18.2, required])
+
+/**** Rule 18.3 (Req) ************/
+
+ /* While MISRA has declared this rule to be "undecidable", Gimpel
+ * Software provides the following options to assist:
+ */
+ +e946 /* relational or subtract operator applied to pointers */
+ +elib(946)
+ -append(946,[MISRA 2012 Rule 18.3, required])
+ +e947 /* relational or subtract operator applied to pointers */
+ +elib(947)
+ -append(947,[MISRA 2012 Rule 18.3, required])
+
+/**** Rule 18.4 (Adv) ************/
+
+ +e9016 /* pointer arithmetic other than array indexing used */
+ +elib(9016)
+ -append(9016,[MISRA 2012 Rule 18.4, advisory])
+
+/**** Rule 18.5 (Adv) ************/
+
+ +e9025 /* more than two pointer indirection levels used */
+ +elib(9025)
+ -append(9025,[MISRA 2012 Rule 18.5, advisory])
+
+/**** Rule 18.6 (Req) ************/
+
+ /* While MISRA has declared this rule to be "undecidable", Gimpel
+ * Software provides the following options to assist:
+ */
+ +e733 /* assigning address of auto to outer scope symbol */
+ +elib(733)
+ -append(733,[MISRA 2012 Rule 18.6, required])
+ +e789 /* assigning address of auto to static */
+ +elib(789)
+ -append(789,[MISRA 2012 Rule 18.6, required])
+ +e604 /* returning address of auto variable */
+ +elib(604)
+ -append(604,[MISRA 2012 Rule 18.6, required])
+
+/**** Rule 18.7 (Req) ************/
+
+ +e9038 /* flexible array member declared */
+ +elib(9038)
+ -append(9038,[MISRA 2012 Rule 18.7, required])
+
+/**** Rule 18.8 (Req) ************/
+
+ +e9035 /* variable length array declared */
+ +elib(9035)
+ -append(9035,[MISRA 2012 Rule 18.8, required])
+
+/**** Rule 19.1 (Mand) ************/
+
+ /* MISRA has declared this rule to be "undecidable". */
+
+/**** Rule 19.2 (Adv) ************/
+
+ +e9018 /* union type/object declared */
+ +elib(9018)
+ -append(9018,[MISRA 2012 Rule 19.2, advisory])
+
+/**** Rule 20.1 (Adv) ************/
+
+ +e9019 /* declaration before #include */
+ +elib(9019)
+ -append(9019,[MISRA 2012 Rule 20.1, advisory])
+
+/**** Rule 20.2 (Req) ************/
+
+ +e9020 /* header file name with non-standard character */
+ +elib(9020)
+ -append(9020,[MISRA 2012 Rule 20.2, required])
+ /* Note: If your system requires the '\' be used as a directory
+ separator, uncomment the following option.
+ */
+ // -estring(9020,\)
+
+/**** Rule 20.3 (Req) ************/
+
+ +e12 /* Need < or " after #include */
+ +elib(12)
+ -append(12,[MISRA 2012 Rule 20.3, required])
+ +e9086 /* multiple arguments after #include */
+ +elib(9086)
+ -append(9086,[MISRA 2012 Rule 20.3, required])
+
+/**** Rule 20.4 (Req) ************/
+
+ +e9051 /* macro with same name as a keyword */
+ +elib(9051)
+ -append(9051,[MISRA 2012 Rule 20.4, required])
+
+/**** Rule 20.5 (Adv) ************/
+
+ +e9021 /* use of '#undef' is discouraged */
+ +elib(9021)
+ -append(9021,[MISRA 2012 Rule 20.5, advisory])
+
+/**** Rule 20.6 (Req) ************/
+
+ +e436 /* preprocessor directive in invocation of macro */
+ +elib(436)
+ -append(436,[MISRA 2012 Rule 20.6, required])
+
+/**** Rule 20.7 (Req) ************/
+
+ +e665 /* expression passed to unparenthesized macro */
+ +elib(665)
+ -append(665,[MISRA 2012 Rule 20.7, required])
+
+/**** Rule 20.8 (Req) ************/
+
+ +e9037 /* conditional of #if/#elif does not evaluate to 0 or 1 */
+ +elib(9037)
+ -append(9037,[MISRA 2012 Rule 20.8, required])
+
+/**** Rule 20.9 (Req) ************/
+
+ +e553 /* Undefined preprocessor variable, assumed 0 */
+ +elib(553)
+ -append(553,[MISRA 2012 Rule 20.9, required])
+
+/**** Rule 20.10 (Adv) ************/
+
+ +e9024 /* '#/##' operators used */
+ +elib(9024)
+ -append(9024,[MISRA 2012 Rule 20.10, advisory])
+
+/**** Rule 20.11 (Req) ************/
+
+ +e484 /* stringize operator followed by macro parameter followed by pasting operator */
+ +elib(484)
+ -append(484,[MISRA 2012 Rule 20.11, required])
+
+/**** Rule 20.12 (Req) ************/
+
+ +e9015 /* macro argument is used both with and without '#/##' and is subject to further replacement */
+ +elib(9015)
+ -append(9015,[MISRA 2012 Rule 20.12, required])
+
+/**** Rule 20.13 (Req) ************/
+
+ +e544 /* endif or else not followed by EOL */
+ +elib(544)
+ -append(544,[MISRA 2012 Rule 20.13, required])
+ +e16 /* # directive not followed by recognizable word */
+ +elib(16)
+ -append(16,[MISRA 2012 Rule 20.13, required])
+ /* other parts of this rule such as a syntax check of the disabled
+ portions of the code do not seem to be statically checkable
+ */
+
+/**** Rule 20.14 (Req) ************/
+
+ +e405 /* #if/#ifdef/#ifndef not closed off */
+ +elib(405)
+ -append(405,[MISRA 2012 Rule 20.14, required])
+
+/**** Rule 21.1 (Req) ************/
+
+ +e136 /* Illegal macro name */
+ +elib(136)
+ -append(136,[MISRA 2012 Rule 21.1, required])
+ /* Undefining standard library macros is covered by rule 20.5. */
+ /* Defining/redefining reserved/standard identifiers is covered
+ by rules 20.4 and 21.2.
+ */
+ +e9071 /* defined macro reserved to the compiler */
+ +elib(9071)
+ -append(9071,[MISRA 2012 Rule 21.1, required])
+ // explicit exemptions
+ -estring(9071,* because *)
+ -estring(9071,cerf)
+ -estring(9071,cerfc)
+ -estring(9071,cexp2)
+ -estring(9071,cexpm1)
+ -estring(9071,clog10)
+ -estring(9071,clog1p)
+ -estring(9071,clog2)
+ -estring(9071,clgamma)
+ -estring(9071,ctgamma)
+ -estring(9071,cerff)
+ -estring(9071,cerfcf)
+ -estring(9071,cexp2f)
+ -estring(9071,cexpm1f)
+ -estring(9071,clog10f)
+ -estring(9071,clog1pf)
+ -estring(9071,clog2f)
+ -estring(9071,clgammaf)
+ -estring(9071,ctgammaf)
+ -estring(9071,cerfl)
+ -estring(9071,cerfcl)
+ -estring(9071,cexp2l)
+ -estring(9071,cexpm1l)
+ -estring(9071,clog10l)
+ -estring(9071,clog1pl)
+ -estring(9071,clog2l)
+ -estring(9071,clgammal)
+ -estring(9071,ctgammal)
+ -estring(9071,E0*)
+ -estring(9071,E1*)
+ -estring(9071,E2*)
+ -estring(9071,E3*)
+ -estring(9071,E4*)
+ -estring(9071,E5*)
+ -estring(9071,E6*)
+ -estring(9071,E7*)
+ -estring(9071,E8*)
+ -estring(9071,E9*)
+ -estring(9071,NDEBUG)
+ -estring(9071,PRIa*)
+ -estring(9071,PRIb*)
+ -estring(9071,PRIc*)
+ -estring(9071,PRId*)
+ -estring(9071,PRIe*)
+ -estring(9071,PRIf*)
+ -estring(9071,PRIg*)
+ -estring(9071,PRIh*)
+ -estring(9071,PRIi*)
+ -estring(9071,PRIj*)
+ -estring(9071,PRIk*)
+ -estring(9071,PRIl*)
+ -estring(9071,PRIm*)
+ -estring(9071,PRIn*)
+ -estring(9071,PRIo*)
+ -estring(9071,PRIp*)
+ -estring(9071,PRIq*)
+ -estring(9071,PRIr*)
+ -estring(9071,PRIs*)
+ -estring(9071,PRIt*)
+ -estring(9071,PRIu*)
+ -estring(9071,PRIv*)
+ -estring(9071,PRIw*)
+ -estring(9071,PRIx*)
+ -estring(9071,PRIy*)
+ -estring(9071,PRIz*)
+ -estring(9071,PRIX*)
+ -estring(9071,SCNa*)
+ -estring(9071,SCNb*)
+ -estring(9071,SCNc*)
+ -estring(9071,SCNd*)
+ -estring(9071,SCNe*)
+ -estring(9071,SCNf*)
+ -estring(9071,SCNg*)
+ -estring(9071,SCNh*)
+ -estring(9071,SCNi*)
+ -estring(9071,SCNj*)
+ -estring(9071,SCNk*)
+ -estring(9071,SCNl*)
+ -estring(9071,SCNm*)
+ -estring(9071,SCNn*)
+ -estring(9071,SCNo*)
+ -estring(9071,SCNp*)
+ -estring(9071,SCNq*)
+ -estring(9071,SCNr*)
+ -estring(9071,SCNs*)
+ -estring(9071,SCNt*)
+ -estring(9071,SCNu*)
+ -estring(9071,SCNv*)
+ -estring(9071,SCNw*)
+ -estring(9071,SCNx*)
+ -estring(9071,SCNy*)
+ -estring(9071,SCNz*)
+ -estring(9071,SCNX*)
+ +e9083 /* undefined macro reserved to the compiler */
+ +elib(9083)
+ -append(9083,[MISRA 2012 Rule 21.1, required])
+ // explicit exemptions
+ -estring(9083,* because *)
+ -estring(9083,cerf)
+ -estring(9083,cerfc)
+ -estring(9083,cexp2)
+ -estring(9083,cexpm1)
+ -estring(9083,clog10)
+ -estring(9083,clog1p)
+ -estring(9083,clog2)
+ -estring(9083,clgamma)
+ -estring(9083,ctgamma)
+ -estring(9083,cerff)
+ -estring(9083,cerfcf)
+ -estring(9083,cexp2f)
+ -estring(9083,cexpm1f)
+ -estring(9083,clog10f)
+ -estring(9083,clog1pf)
+ -estring(9083,clog2f)
+ -estring(9083,clgammaf)
+ -estring(9083,ctgammaf)
+ -estring(9083,cerfl)
+ -estring(9083,cerfcl)
+ -estring(9083,cexp2l)
+ -estring(9083,cexpm1l)
+ -estring(9083,clog10l)
+ -estring(9083,clog1pl)
+ -estring(9083,clog2l)
+ -estring(9083,clgammal)
+ -estring(9083,ctgammal)
+ -estring(9083,E0*)
+ -estring(9083,E1*)
+ -estring(9083,E2*)
+ -estring(9083,E3*)
+ -estring(9083,E4*)
+ -estring(9083,E5*)
+ -estring(9083,E6*)
+ -estring(9083,E7*)
+ -estring(9083,E8*)
+ -estring(9083,E9*)
+ -estring(9083,NDEBUG)
+ -estring(9083,PRIa*)
+ -estring(9083,PRIb*)
+ -estring(9083,PRIc*)
+ -estring(9083,PRId*)
+ -estring(9083,PRIe*)
+ -estring(9083,PRIf*)
+ -estring(9083,PRIg*)
+ -estring(9083,PRIh*)
+ -estring(9083,PRIi*)
+ -estring(9083,PRIj*)
+ -estring(9083,PRIk*)
+ -estring(9083,PRIl*)
+ -estring(9083,PRIm*)
+ -estring(9083,PRIn*)
+ -estring(9083,PRIo*)
+ -estring(9083,PRIp*)
+ -estring(9083,PRIq*)
+ -estring(9083,PRIr*)
+ -estring(9083,PRIs*)
+ -estring(9083,PRIt*)
+ -estring(9083,PRIu*)
+ -estring(9083,PRIv*)
+ -estring(9083,PRIw*)
+ -estring(9083,PRIx*)
+ -estring(9083,PRIy*)
+ -estring(9083,PRIz*)
+ -estring(9083,PRIX*)
+ -estring(9083,SCNa*)
+ -estring(9083,SCNb*)
+ -estring(9083,SCNc*)
+ -estring(9083,SCNd*)
+ -estring(9083,SCNe*)
+ -estring(9083,SCNf*)
+ -estring(9083,SCNg*)
+ -estring(9083,SCNh*)
+ -estring(9083,SCNi*)
+ -estring(9083,SCNj*)
+ -estring(9083,SCNk*)
+ -estring(9083,SCNl*)
+ -estring(9083,SCNm*)
+ -estring(9083,SCNn*)
+ -estring(9083,SCNo*)
+ -estring(9083,SCNp*)
+ -estring(9083,SCNq*)
+ -estring(9083,SCNr*)
+ -estring(9083,SCNs*)
+ -estring(9083,SCNt*)
+ -estring(9083,SCNu*)
+ -estring(9083,SCNv*)
+ -estring(9083,SCNw*)
+ -estring(9083,SCNx*)
+ -estring(9083,SCNy*)
+ -estring(9083,SCNz*)
+ -estring(9083,SCNX*)
+
+/**** Rule 21.2 (Req) ************/
+
+ +e683 /* complain about #define standard functions */
+ +elib(683)
+ -append(683,[MISRA 2012 Rule 21.2, required])
+ /* Undefining standard library macros is covered by rule 20.5. */
+ /* Defining/redefining reserved/standard identifiers is covered
+ by rule 20.4 and 21.2.
+ */
+
+/**** Rule 21.3 (Req) ************/
+
+ +e586 /* Symbol is deprecated */
+ +elib(586)
+ -deprecate(function,calloc,[MISRA 2012 Rule 21.3, required])
+ -deprecate(macro,calloc,[MISRA 2012 Rule 21.3, required])
+ -deprecate(function,malloc,[MISRA 2012 Rule 21.3, required])
+ -deprecate(macro,malloc,[MISRA 2012 Rule 21.3, required])
+ -deprecate(function,realloc,[MISRA 2012 Rule 21.3, required])
+ -deprecate(macro,realloc,[MISRA 2012 Rule 21.3, required])
+ -deprecate(function,free,[MISRA 2012 Rule 21.3, required])
+ -deprecate(macro,free,[MISRA 2012 Rule 21.3, required])
+
+/**** Rule 21.4 (Req) ************/
+
+ +e829 /* warn on header usage */
+ +elib(829)
+ +headerwarn(setjmp.h)
+ -append(829(setjmp.h),[MISRA 2012 Rule 21.4, required])
+ -deprecate(function,setjmp,[MISRA 2012 Rule 21.4, required])
+ -deprecate(function,longjmp,[MISRA 2012 Rule 21.4, required])
+ -deprecate(macro,setjmp,[MISRA 2012 Rule 21.4, required])
+ -deprecate(macro,longjmp,[MISRA 2012 Rule 21.4, required])
+
+/**** Rule 21.5 (Req) ************/
+
+ +e586 /* Symbol is deprecated */
+ +elib(586)
+ -deprecate(function,signal,[MISRA 2012 Rule 21.5, required])
+ -deprecate(function,raise,[MISRA 2012 Rule 21.5, required])
+ -deprecate(macro,SIGABRT,[MISRA 2012 Rule 21.5, required])
+ -deprecate(macro,SIGFPE,[MISRA 2012 Rule 21.5, required])
+ -deprecate(macro,SIGILL,[MISRA 2012 Rule 21.5, required])
+ -deprecate(macro,SIGINT,[MISRA 2012 Rule 21.5, required])
+ -deprecate(macro,SIGSEGV,[MISRA 2012 Rule 21.5, required])
+ -deprecate(macro,SIGTERM,[MISRA 2012 Rule 21.5, required])
+ -deprecate(macro,SIG_DFL,[MISRA 2012 Rule 21.5, required])
+ -deprecate(macro,SIG_ERR,[MISRA 2012 Rule 21.5, required])
+ -deprecate(macro,SIG_IGN,[MISRA 2012 Rule 21.5, required])
+ +e829 /* warn on header usage */
+ +elib(829)
+ +headerwarn(signal.h)
+ -append(829(signal.h),[MISRA 2012 Rule 21.5, required])
+
+/**** Rule 21.6 (Req) ************/
+
+ +e586 /* Symbol is deprecated */
+ +elib(586)
+ -deprecate(function,clearerr,[MISRA 2012 Rule 21.6, required])
+ -deprecate(function,fclose,[MISRA 2012 Rule 21.6, required])
+ -deprecate(function,feof,[MISRA 2012 Rule 21.6, required])
+ -deprecate(function,ferror,[MISRA 2012 Rule 21.6, required])
+ -deprecate(function,fflush,[MISRA 2012 Rule 21.6, required])
+ -deprecate(function,fgetc,[MISRA 2012 Rule 21.6, required])
+ -deprecate(function,fgetpos,[MISRA 2012 Rule 21.6, required])
+ -deprecate(function,fgets,[MISRA 2012 Rule 21.6, required])
+ -deprecate(function,fgetwc,[MISRA 2012 Rule 21.6, required])
+ -deprecate(function,fgetws,[MISRA 2012 Rule 21.6, required])
+ -deprecate(function,fopen,[MISRA 2012 Rule 21.6, required])
+ -deprecate(function,fprintf,[MISRA 2012 Rule 21.6, required])
+ -deprecate(function,fputc,[MISRA 2012 Rule 21.6, required])
+ -deprecate(function,fputs,[MISRA 2012 Rule 21.6, required])
+ -deprecate(function,fputwc,[MISRA 2012 Rule 21.6, required])
+ -deprecate(function,fputws,[MISRA 2012 Rule 21.6, required])
+ -deprecate(function,fread,[MISRA 2012 Rule 21.6, required])
+ -deprecate(function,fscanf,[MISRA 2012 Rule 21.6, required])
+ -deprecate(function,fseek,[MISRA 2012 Rule 21.6, required])
+ -deprecate(function,fsetpos,[MISRA 2012 Rule 21.6, required])
+ -deprecate(function,freopen,[MISRA 2012 Rule 21.6, required])
+ -deprecate(function,ftell,[MISRA 2012 Rule 21.6, required])
+ -deprecate(function,fwide,[MISRA 2012 Rule 21.6, required])
+ -deprecate(function,fwprintf,[MISRA 2012 Rule 21.6, required])
+ -deprecate(function,fwrite,[MISRA 2012 Rule 21.6, required])
+ -deprecate(function,fwscanf,[MISRA 2012 Rule 21.6, required])
+ -deprecate(function,getc,[MISRA 2012 Rule 21.6, required])
+ -deprecate(function,getchar,[MISRA 2012 Rule 21.6, required])
+ -deprecate(function,gets,[MISRA 2012 Rule 21.6, required])
+ -deprecate(function,getwc,[MISRA 2012 Rule 21.6, required])
+ -deprecate(function,getwchar,[MISRA 2012 Rule 21.6, required])
+ -deprecate(function,perror,[MISRA 2012 Rule 21.6, required])
+ -deprecate(function,printf,[MISRA 2012 Rule 21.6, required])
+ -deprecate(function,putc,[MISRA 2012 Rule 21.6, required])
+ -deprecate(function,putchar,[MISRA 2012 Rule 21.6, required])
+ -deprecate(function,puts,[MISRA 2012 Rule 21.6, required])
+ -deprecate(function,putwc,[MISRA 2012 Rule 21.6, required])
+ -deprecate(function,putwchar,[MISRA 2012 Rule 21.6, required])
+ -deprecate(function,remove,[MISRA 2012 Rule 21.6, required])
+ -deprecate(function,rename,[MISRA 2012 Rule 21.6, required])
+ -deprecate(function,rewind,[MISRA 2012 Rule 21.6, required])
+ -deprecate(function,scanf,[MISRA 2012 Rule 21.6, required])
+ -deprecate(function,setbuf,[MISRA 2012 Rule 21.6, required])
+ -deprecate(function,setvbuf,[MISRA 2012 Rule 21.6, required])
+ -deprecate(function,snprintf,[MISRA 2012 Rule 21.6, required])
+ -deprecate(function,sprintf,[MISRA 2012 Rule 21.6, required])
+ -deprecate(function,sscanf,[MISRA 2012 Rule 21.6, required])
+ -deprecate(function,swprintf,[MISRA 2012 Rule 21.6, required])
+ -deprecate(function,swscanf,[MISRA 2012 Rule 21.6, required])
+ -deprecate(function,tmpfile,[MISRA 2012 Rule 21.6, required])
+ -deprecate(function,tmpnam,[MISRA 2012 Rule 21.6, required])
+ -deprecate(function,ungetc,[MISRA 2012 Rule 21.6, required])
+ -deprecate(function,ungetwc,[MISRA 2012 Rule 21.6, required])
+ -deprecate(function,vfprintf,[MISRA 2012 Rule 21.6, required])
+ -deprecate(function,vfscanf,[MISRA 2012 Rule 21.6, required])
+ -deprecate(function,vfwprintf,[MISRA 2012 Rule 21.6, required])
+ -deprecate(function,vfwscanf,[MISRA 2012 Rule 21.6, required])
+ -deprecate(function,vprintf,[MISRA 2012 Rule 21.6, required])
+ -deprecate(function,vscanf,[MISRA 2012 Rule 21.6, required])
+ -deprecate(function,vsnprintf,[MISRA 2012 Rule 21.6, required])
+ -deprecate(function,vsprintf,[MISRA 2012 Rule 21.6, required])
+ -deprecate(function,vsscanf,[MISRA 2012 Rule 21.6, required])
+ -deprecate(function,vswprintf,[MISRA 2012 Rule 21.6, required])
+ -deprecate(function,vswscanf,[MISRA 2012 Rule 21.6, required])
+ -deprecate(function,vwprintf,[MISRA 2012 Rule 21.6, required])
+ -deprecate(function,vwscanf,[MISRA 2012 Rule 21.6, required])
+ -deprecate(function,wprintf,[MISRA 2012 Rule 21.6, required])
+ -deprecate(function,wscanf,[MISRA 2012 Rule 21.6, required])
+ -deprecate(macro,clearerr,[MISRA 2012 Rule 21.6, required])
+ -deprecate(macro,fclose,[MISRA 2012 Rule 21.6, required])
+ -deprecate(macro,feof,[MISRA 2012 Rule 21.6, required])
+ -deprecate(macro,ferror,[MISRA 2012 Rule 21.6, required])
+ -deprecate(macro,fflush,[MISRA 2012 Rule 21.6, required])
+ -deprecate(macro,fgetc,[MISRA 2012 Rule 21.6, required])
+ -deprecate(macro,fgets,[MISRA 2012 Rule 21.6, required])
+ -deprecate(macro,fgetpos,[MISRA 2012 Rule 21.6, required])
+ -deprecate(macro,fgetwc,[MISRA 2012 Rule 21.6, required])
+ -deprecate(macro,fgetws,[MISRA 2012 Rule 21.6, required])
+ -deprecate(macro,fopen,[MISRA 2012 Rule 21.6, required])
+ -deprecate(macro,fprintf,[MISRA 2012 Rule 21.6, required])
+ -deprecate(macro,fputc,[MISRA 2012 Rule 21.6, required])
+ -deprecate(macro,fputs,[MISRA 2012 Rule 21.6, required])
+ -deprecate(macro,fputwc,[MISRA 2012 Rule 21.6, required])
+ -deprecate(macro,fputws,[MISRA 2012 Rule 21.6, required])
+ -deprecate(macro,fread,[MISRA 2012 Rule 21.6, required])
+ -deprecate(macro,fscanf,[MISRA 2012 Rule 21.6, required])
+ -deprecate(macro,fseek,[MISRA 2012 Rule 21.6, required])
+ -deprecate(macro,fsetpos,[MISRA 2012 Rule 21.6, required])
+ -deprecate(macro,freopen,[MISRA 2012 Rule 21.6, required])
+ -deprecate(macro,ftell,[MISRA 2012 Rule 21.6, required])
+ -deprecate(macro,fwide,[MISRA 2012 Rule 21.6, required])
+ -deprecate(macro,fwprintf,[MISRA 2012 Rule 21.6, required])
+ -deprecate(macro,fwrite,[MISRA 2012 Rule 21.6, required])
+ -deprecate(macro,fwscanf,[MISRA 2012 Rule 21.6, required])
+ -deprecate(macro,getc,[MISRA 2012 Rule 21.6, required])
+ -deprecate(macro,getchar,[MISRA 2012 Rule 21.6, required])
+ -deprecate(macro,gets,[MISRA 2012 Rule 21.6, required])
+ -deprecate(macro,getwc,[MISRA 2012 Rule 21.6, required])
+ -deprecate(macro,getwchar,[MISRA 2012 Rule 21.6, required])
+ -deprecate(macro,perror,[MISRA 2012 Rule 21.6, required])
+ -deprecate(macro,printf,[MISRA 2012 Rule 21.6, required])
+ -deprecate(macro,putc,[MISRA 2012 Rule 21.6, required])
+ -deprecate(macro,putchar,[MISRA 2012 Rule 21.6, required])
+ -deprecate(macro,puts,[MISRA 2012 Rule 21.6, required])
+ -deprecate(macro,putwc,[MISRA 2012 Rule 21.6, required])
+ -deprecate(macro,putwchar,[MISRA 2012 Rule 21.6, required])
+ -deprecate(macro,remove,[MISRA 2012 Rule 21.6, required])
+ -deprecate(macro,rename,[MISRA 2012 Rule 21.6, required])
+ -deprecate(macro,rewind,[MISRA 2012 Rule 21.6, required])
+ -deprecate(macro,scanf,[MISRA 2012 Rule 21.6, required])
+ -deprecate(macro,setbuf,[MISRA 2012 Rule 21.6, required])
+ -deprecate(macro,setvbuf,[MISRA 2012 Rule 21.6, required])
+ -deprecate(macro,snprintf,[MISRA 2012 Rule 21.6, required])
+ -deprecate(macro,sprintf,[MISRA 2012 Rule 21.6, required])
+ -deprecate(macro,sscanf,[MISRA 2012 Rule 21.6, required])
+ -deprecate(macro,swprintf,[MISRA 2012 Rule 21.6, required])
+ -deprecate(macro,swscanf,[MISRA 2012 Rule 21.6, required])
+ -deprecate(macro,tmpfile,[MISRA 2012 Rule 21.6, required])
+ -deprecate(macro,tmpnam,[MISRA 2012 Rule 21.6, required])
+ -deprecate(macro,ungetc,[MISRA 2012 Rule 21.6, required])
+ -deprecate(macro,ungetwc,[MISRA 2012 Rule 21.6, required])
+ -deprecate(macro,vfprintf,[MISRA 2012 Rule 21.6, required])
+ -deprecate(macro,vfscanf,[MISRA 2012 Rule 21.6, required])
+ -deprecate(macro,vfwprintf,[MISRA 2012 Rule 21.6, required])
+ -deprecate(macro,vfwscanf,[MISRA 2012 Rule 21.6, required])
+ -deprecate(macro,vprintf,[MISRA 2012 Rule 21.6, required])
+ -deprecate(macro,vscanf,[MISRA 2012 Rule 21.6, required])
+ -deprecate(macro,vsnprintf,[MISRA 2012 Rule 21.6, required])
+ -deprecate(macro,vsprintf,[MISRA 2012 Rule 21.6, required])
+ -deprecate(macro,vsscanf,[MISRA 2012 Rule 21.6, required])
+ -deprecate(macro,vswprintf,[MISRA 2012 Rule 21.6, required])
+ -deprecate(macro,vswscanf,[MISRA 2012 Rule 21.6, required])
+ -deprecate(macro,vwprintf,[MISRA 2012 Rule 21.6, required])
+ -deprecate(macro,vwscanf,[MISRA 2012 Rule 21.6, required])
+ -deprecate(macro,wprintf,[MISRA 2012 Rule 21.6, required])
+ -deprecate(macro,wscanf,[MISRA 2012 Rule 21.6, required])
+
+/**** Rule 21.7 (Req) ************/
+
+ +e586 /* Symbol is deprecated */
+ +elib(586)
+ -deprecate(function,atof,[MISRA 2012 Rule 21.7, required])
+ -deprecate(function,atoi,[MISRA 2012 Rule 21.7, required])
+ -deprecate(function,atol,[MISRA 2012 Rule 21.7, required])
+ -deprecate(function,atoll,[MISRA 2012 Rule 21.7, required])
+ -deprecate(macro,atof,[MISRA 2012 Rule 21.7, required])
+ -deprecate(macro,atoi,[MISRA 2012 Rule 21.7, required])
+ -deprecate(macro,atol,[MISRA 2012 Rule 21.7, required])
+ -deprecate(macro,atoll,[MISRA 2012 Rule 21.7, required])
+
+/**** Rule 21.8 (Req) ************/
+
+ +e586 /* Symbol is deprecated */
+ +elib(586)
+ -deprecate(function,abort,[MISRA 2012 Rule 21.8, required])
+ -deprecate(function,exit,[MISRA 2012 Rule 21.8, required])
+ -deprecate(function,getenv,[MISRA 2012 Rule 21.8, required])
+ -deprecate(function,system,[MISRA 2012 Rule 21.8, required])
+ -deprecate(macro,abort,[MISRA 2012 Rule 21.8, required])
+ -deprecate(macro,exit,[MISRA 2012 Rule 21.8, required])
+ -deprecate(macro,getenv,[MISRA 2012 Rule 21.8, required])
+ -deprecate(macro,system,[MISRA 2012 Rule 21.8, required])
+
+/**** Rule 21.9 (Req) ************/
+
+ +e586 /* Symbol is deprecated */
+ +elib(586)
+ -deprecate(function,bsearch,[MISRA 2012 Rule 21.9, required])
+ -deprecate(function,qsort,[MISRA 2012 Rule 21.9, required])
+ -deprecate(macro,bsearch,[MISRA 2012 Rule 21.9, required])
+ -deprecate(macro,qsort,[MISRA 2012 Rule 21.9, required])
+
+/**** Rule 21.10 (Req) ************/
+
+ +e586 /* Symbol is deprecated */
+ +elib(586)
+ -deprecate(macro,wcsftime,[MISRA 2012 Rule 21.10, required])
+ -deprecate(function,wcsftime,[MISRA 2012 Rule 21.10, required])
+ -deprecate(macro,clock,[MISRA 2012 Rule 21.10, required])
+ -deprecate(function,clock,[MISRA 2012 Rule 21.10, required])
+ -deprecate(macro,difftime,[MISRA 2012 Rule 21.10, required])
+ -deprecate(function,difftime,[MISRA 2012 Rule 21.10, required])
+ -deprecate(macro,mktime,[MISRA 2012 Rule 21.10, required])
+ -deprecate(function,mktime,[MISRA 2012 Rule 21.10, required])
+ -deprecate(macro,time,[MISRA 2012 Rule 21.10, required])
+ -deprecate(function,time,[MISRA 2012 Rule 21.10, required])
+ -deprecate(macro,asctime,[MISRA 2012 Rule 21.10, required])
+ -deprecate(function,asctime,[MISRA 2012 Rule 21.10, required])
+ -deprecate(macro,ctime,[MISRA 2012 Rule 21.10, required])
+ -deprecate(function,ctime,[MISRA 2012 Rule 21.10, required])
+ -deprecate(macro,gmtime,[MISRA 2012 Rule 21.10, required])
+ -deprecate(function,gmtime,[MISRA 2012 Rule 21.10, required])
+ -deprecate(macro,localtime,[MISRA 2012 Rule 21.10, required])
+ -deprecate(function,localtime,[MISRA 2012 Rule 21.10, required])
+ -deprecate(macro,strftime,[MISRA 2012 Rule 21.10, required])
+ -deprecate(function,strftime,[MISRA 2012 Rule 21.10, required])
+ -deprecate(macro,CLOCKS_PER_SEC,[MISRA 2012 Rule 21.10, required])
+ +e829 /* warn on header usage */
+ +elib(829)
+ +headerwarn(time.h)
+ -append(829(time.h),[MISRA 2012 Rule 21.10, required])
+
+/**** Rule 21.11 (Req) ************/
+
+ +e829 /* warn on header usage */
+ +elib(829)
+ +headerwarn(tgmath.h)
+ -append(829(tgmath.h),[MISRA 2012 Rule 21.11, required])
+
+/**** Rule 21.12 (Adv) ************/
+
+ +e586 /* Symbol is deprecated */
+ +elib(586)
+ -deprecate(function,feclearexcept,[MISRA 2012 Rule 21.12, advisory])
+ -deprecate(macro,feclearexcept,[MISRA 2012 Rule 21.12, advisory])
+ -deprecate(function,fegetexceptflag,[MISRA 2012 Rule 21.12, advisory])
+ -deprecate(macro,fegetexceptflag,[MISRA 2012 Rule 21.12, advisory])
+ -deprecate(function,feraiseexcept,[MISRA 2012 Rule 21.12, advisory])
+ -deprecate(macro,feraiseexcept,[MISRA 2012 Rule 21.12, advisory])
+ -deprecate(function,fesetexceptflag,[MISRA 2012 Rule 21.12, advisory])
+ -deprecate(macro,fesetexceptflag,[MISRA 2012 Rule 21.12, advisory])
+ -deprecate(function,fetestexcept,[MISRA 2012 Rule 21.12, advisory])
+ -deprecate(macro,fetestexcept,[MISRA 2012 Rule 21.12, advisory])
+ -deprecate(macro,FE_INEXACT,[MISRA 2012 Rule 21.12, advisory])
+ -deprecate(macro,FE_DIVBYZERO,[MISRA 2012 Rule 21.12, advisory])
+ -deprecate(macro,FE_UNDERFLOW,[MISRA 2012 Rule 21.12, advisory])
+ -deprecate(macro,FE_OVERFLOW,[MISRA 2012 Rule 21.12, advisory])
+ -deprecate(macro,FE_INVALID,[MISRA 2012 Rule 21.12, advisory])
+ -deprecate(macro,FE_ALL_EXCEPT,[MISRA 2012 Rule 21.12, advisory])
+
+/**** Rule 22.1 (Req) ************/
+
+ /* While MISRA has declared this rule to be "undecidable", Gimpel
+ * Software provides the following options to assist:
+ */
+ +e429 /* custodial pointer neither free'd nor returned */
+ +elib(429)
+ -append(429,[MISRA 2012 Rule 22.1, required])
+ -function_pair(fopen,fclose)
+ +e480 /* no balancing call */
+ +elib(480)
+ -append(480,[MISRA 2012 Rule 22.1, required])
+ +e481 /* different balance call states */
+ +elib(481)
+ -append(481,[MISRA 2012 Rule 22.1, required])
+
+/**** Rule 22.2 (Mand) ************/
+
+ /* While MISRA has declared this rule to be "undecidable", Gimpel
+ * Software provides the following options to assist:
+ */
+ +e424 /* inappropriate deallocation */
+ +elib(424)
+ -append(424,[MISRA 2012 Rule 22.2, mandatory])
+ +e449 /* pointer previously deallocated */
+ +elib(449)
+ -append(449,[MISRA 2012 Rule 22.2, mandatory])
+
+/**** Rule 22.3 (Req) ************/
+
+ /* MISRA has declared this rule to be "undecidable". */
+
+/**** Rule 22.4 (Mand) ************/
+
+ /* MISRA has declared this rule to be "undecidable". */
+
+/**** Rule 22.5 (Mand) ************/
+
+ /* While MISRA has declared this rule to be "undecidable", Gimpel
+ Software provides the following message to assist:
+ */
+ +e9047 /* FILE pointer dereferenced */
+ +elib(9047)
+ -append(9047,[MISRA 2012 Rule 22.5, mandatory])
+
+
+/**** Rule 22.6 (Mand) ************/
+
+ /* While MISRA has declared this rule to be "undecidable", Gimpel
+ * Software provides the following options to assist:
+ */
+ +e449 /* previously deallocated pointer */
+ +elib(449)
+ -append(449,[MISRA 2012 Rule 22.6, mandatory])
diff --git a/test/hal/testbuild/pclint/co-gcc.h b/test/hal/testbuild/pclint/co-gcc.h new file mode 100644 index 000000000..d18d71e57 --- /dev/null +++ b/test/hal/testbuild/pclint/co-gcc.h @@ -0,0 +1,129 @@ +// ---------------------------------------------------------------------
+// This file is provided by Gimpel Software (www.gimpel.com) for use with
+// its products PC-lint and FlexeLint.
+//
+// Redistribution and use of this file, with or without modification, is
+// permitted provided that any such redistribution retains this notice.
+// ---------------------------------------------------------------------
+
+#ifndef CO_GCC_H_
+#define CO_GCC_H_
+/*lint -save -w1 */
+
+#ifdef _lint /* Make sure no compiler comes this way */
+#ifdef __cplusplus
+extern "C" {
+#endif
+
+/* Standard library headers typically define the assert macro so that it
+ expands to a complicated conditional expression that uses special
+ funtions that Lint does not know about by default. For linting
+ purposes, we can simplify things a bit by forcing assert() to expand to
+ a call to a special function that has the appropriate 'assert'
+ semantics.
+ */
+//lint -function( __assert, __lint_assert )
+void __lint_assert( int );
+//lint ++d"assert(e)=__lint_assert(!!(e))"
+//(++d makes this definition permanently immutable for the Lint run.)
+//Now that we've made our own 'assert', we need to keep people from being
+//punished when the marco in 'assert.h' appears not to be used:
+//lint -efile(766,*assert.h)
+
+typedef char *__builtin_va_list;
+
+/*lint -e{171} */
+__builtin_va_list __lint_init_va(...);
+
+void __builtin_va_end( __builtin_va_list );
+ /*lint
+++d"__builtin_va_start(ap,parmN)=((ap)=__lint_init_va(parmN))"
+++d"__builtin_va_arg(a,b)=(*( ((b) *) ( (((a) += sizeof(b)) - sizeof(b) )))"
+ */
+
+
+/*
+ The headers included below must be generated; For C++, generate
+ with:
+
+ g++ [usual build options] -E -dM t.cpp >lint_cppmac.h
+
+ For C, generate with:
+
+ gcc [usual build options] -E -dM t.c >lint_cmac.h
+
+ ...where "t.cpp" and "t.c" are empty source files.
+
+ It's important to use the same compiler options used when compiling
+ project code because they can affect the existence and precise
+ definitions of certain predefined macros. See gcc-readme.txt for
+ details and a tutorial.
+ */
+#if defined(__cplusplus)
+# include "lint_cppmac.h" // DO NOT COMMENT THIS OUT. DO NOT SUPPRESS ERROR 322. (If you see an error here, your Lint configuration is broken; check -i options and ensure that you have generated lint_cppmac.h as documented in gcc-readme.txt. Otherwise Gimpel Software cannot support your configuration.)
+#else
+# include "lint_cmac.h" // DO NOT COMMENT THIS OUT. DO NOT SUPPRESS ERROR 322. (If you see an error here, your Lint configuration is broken; check -i options and ensure that you have generated lint_cmac.h as documented in gcc-readme.txt. Otherwise Gimpel Software cannot support your configuration.)
+#endif
+
+/* If the macro set given by the generated macro files must be adjusted in
+ order for Lint to cope, then you can make those adjustments here.
+ */
+
+#define LINT_CO_GCC_H_GCC_VERSION ( __GNUC__ * 10000 + \
+ __GNUC_MINOR__ * 100 + \
+ __GNUC_PATCHLEVEL__ )
+
+/* The following is a workaround for versions of GCC with bug 25717, in
+ which the preprocessor does not dump a #define directive for __STDC__
+ when -dM is given:
+ http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25717
+
+ We know the unconditional definition of __STDC__ was introduced no
+ later than version 3.0; the preprocessor bug was fixed no later than
+ version 4.1.0.
+ */
+#if ( LINT_CO_GCC_H_GCC_VERSION >= 30000 && \
+ LINT_CO_GCC_H_GCC_VERSION < 40100 )
+# define __STDC__ 1
+#endif
+
+#if !__cplusplus && !__STRICT_ANSI__ && __STDC_VERSION__ < 199901L
+/* apparently, the code is compiled with -std=gnu89 (as opposed to -std=c89),
+ so: */
+/*lint -rw_asgn(inline,__inline) */
+#endif
+
+#if LINT_CO_GCC_H_GCC_VERSION >= 40300
+# define __COUNTER__ __lint__COUNTER__
+//lint +rw( *type_traits ) // Enable type traits support
+#endif
+
+#ifdef __cplusplus
+} /* extern "C" */
+#endif
+
+#if _lint >= 909 // For 9.00i and later:
+ //// __attribute__ is GCC's __attribute__:
+ //
+ //lint -rw_asgn(__attribute__,__gcc_attribute__)
+ //lint -rw_asgn(__attribute, __gcc_attribute__)
+ //
+ //// Prevent "__attribute__" from being defined as a macro:
+ //
+ //lint --u"__attribute__"
+ //lint --u"__attribute"
+ //
+ //// Because an attribute-specifier is a form of
+ //// declaration-modifier, and because it can appear at the
+ //// beginning of a decl-specifier-seq, we must enable "Early
+ //// Modifiers":
+ //
+ //lint +fem
+#else // for 9.00h and earlier:
+ //lint -d__attribute__()=
+ //lint -d__attribute()=
+#endif
+
+#endif /* _lint */
+/*lint -restore */
+#endif /* CO_GCC_H_ */
diff --git a/test/hal/testbuild/pclint/co-gcc.lnt b/test/hal/testbuild/pclint/co-gcc.lnt new file mode 100644 index 000000000..b7e1ed26b --- /dev/null +++ b/test/hal/testbuild/pclint/co-gcc.lnt @@ -0,0 +1,209 @@ +/* Date Stamp */ -d"_lint_co_gcc_lnt=co-gcc.lnt modified 12-Jun-2014"
+/* To document usage use: -message( "Using " _lint_co_gcc_lnt ) */
+// ---------------------------------------------------------------------
+// This file is provided by Gimpel Software (www.gimpel.com) for use with
+// its products PC-lint and FlexeLint.
+//
+// Redistribution and use of this file, with or without modification, is
+// permitted provided that any such redistribution retains this notice.
+// ---------------------------------------------------------------------
+/* co-gcc.lnt: This is the seed file for configuring Lint for use with
+ GCC versions 2.95.3 and later.
+
+ Like all compiler options files this file is intended to be used
+ as follows:
+
+ lint co-gcc.lnt source-files-to-be-linted
+
+ Some of the information that co-gcc.lnt requires needs to be furnished
+ with the help of the gcc system itself. The easiest way to generate
+ this information is to use the makefile co-gcc.mak (supplied with the
+ Lint distribution) in an invocation of GNU Make; for details, see the
+ commentary at the top of co-gcc.mak.
+*/
+
+-cgnu // Notifies FlexeLint that gcc is being used.
+
+// ===========================
+// Preprocessor Configuration:
++fdi // GCC starts its #include search in the directory of the including
+ // file.
+
+++fln // Allow:
+ // # digit-sequence " [s-char-sequence] " new-line
+ // as a synonym for:
+ // # line digit-sequence " [s-char-sequence] " new-line
+ // GCC additionally allows flag values to follow the
+ // s-char-sequence, but currently Lint ignores them.
+
+-header(pclint/co-gcc.h) // Includes headers generated by GCC (bringing in
+ // predefined macros).
++libh(pclint/co-gcc.h) // Marks that header as library code.
+
+pclint/gcc-include-path.lnt // This .lnt file should contain --i options
+ // and should be generated by invoking gcc with its '-v' option.
+ // (GCC's implicit #include search path is presented in the output.)
+ // This happens automatically when 'make -f co-gcc.mak' is invoked.
+
+// Assertion directives (a feature of GCC's preprocessor) have been
+// considered obsolete in GCC's documentation since version 3.0, so we do
+// not use them here. If support for #assert is needed in the form of a
+// lint option, one may use '-a#' like so:
+// -a#machine(i386) // #assert's machine(i386) (SVR4 facility).
+
+// File extensions:
+// From the GCC man page:
+//
+// file.cc
+// file.cp
+// file.cxx
+// file.cpp
+// file.CPP
+// file.c++
+// file.C
+// C++ source code that must be preprocessed. Note that in .cxx, the
+// last two letters must both be literally x. Likewise, .C refers to
+// a literal capital C.
+//
+// We emulate this with:
+
+ +cpp(.cc)
+ +cpp(.cp)
+ +cpp(.cxx)
+ +cpp(.cpp)
+ +cpp(.c++)
+ // Note the exceptions:
+ // +cpp(.CPP)
+ // +cpp(.C)
+ // These are commented out for the default config because they seem to
+ // cause trouble more often than not. For starters, it is problematic
+ // with filesystems that are case-insensitive (which has become common
+ // even on some POSIX systems).
+
+// =============
+// Size Options:
+// +fwc // wchar_t might be builtin; if so, uncomment this option. (NOTE:
+// // this option needs to be set before a size option is given for
+// // wchar_t; see the documentation for -sw# in the Lint manual.)
+
+pclint/size-options.lnt // This .lnt file should be generated (preferrably
+ // by a program created by invoking GCC with the compile options that
+ // are used in the compilation of the project to be linted). This
+ // happens automatically when 'make -f co-gcc.mak' is invoked.
+
+
+// ===========================================
+// +rw and -d options to cope with GNU syntax:
++ppw(ident) // Tolerate #ident
++ppw(warning)
+
+// GCC provides alternative spellings of certain keywords:
++rw(__inline)
+-rw_asgn(__inline__,__inline)
+-rw_asgn(__header_always_inline,__inline)
+-rw_asgn(__header_inline,__inline)
+
+-rw_asgn(__signed__,signed)
+-rw_asgn(__signed,signed)
+-rw_asgn( __volatile__, volatile )
+-rw_asgn( __volatile, volatile )
++rw(restrict)
+-rw_asgn(__restrict,restrict)
+-rw_asgn(__restrict__,restrict)
+++d"__const=const" // gconv.h uses __const rather than const
+++d"const=const" // ensure const expands to const.
+
+-rw_asgn( asm, _up_to_brackets )
+-rw_asgn( __asm, _up_to_brackets )
+-rw_asgn( __asm__, _up_to_brackets )
+// This re-definition of the various spellings of the asm keyword enables
+// Lint to pass gracefully over expression-statements like:
+// __asm __volatile ("fsqrt" : "=t" (__result) : "0" (__x));
+// But it may be necessary to suppress certain error messages that are
+// triggered by tokens that are part of an assembly declaration or
+// statement. For example:
+
+// -d"__asm__(p...)=/*lint -e{19}*/ __asm__(p)"
+
+// ...causes Lint to be quiet about the semicolon that follows an
+// __asm__() declaration. Note, the -e{N} form of suppression takes
+// effect only for the forward-declaration, definition or
+// [possibly-compound] statement that immediately follows. Because a
+// semicolon is seen as a declaration-terminator, Error 19 will be
+// re-enabled immediately after the semicolon in '__asm__(...);'.
+// (The elipsis after the macro parameter p allows zero or more commas to
+// appear in the operand.)
+//
+// If you encounter other diagnostics that appear to need suppression in
+// or near assembly regions, please let us know!
+//
+-esym(123,__asm__)
+
+-rw_asgn(__alignof__,__alignof)
+
+// "__extension__" is GCC's way of allowing the use of non-standard
+// constructs in a strict Standard-conforming mode. We don't currently
+// have explicit support for it, but we can use local suppressions. For
+// example, we can use -e(160) so that we will not see any Errors about
+// GNU statement-expressions wrapped in __extension__().
+++d"__extension__=/*lint -e(160) */"
+
+++d"__null=0"
++rw(_to_semi) // needed for the two macros above.
++rw(__typeof__) // activate __typeof__ keyword
+-d"__typeof=__typeof__" // an alternative to using __typeof__
+
+-rw(__except) // This MS reserved word is used as an identifier
++rw( __complex__, __real__, __imag__ ) // reserved words that can be ignored.
+++d"__builtin_strchr=(char*)" // permits the inline definition ...
+++d"__builtin_strpbrk=(char*)" // of these functions to be linted ...
+++d"__builtin_strrchr=(char*)" // without drawing a complaint
+++d"__builtin_strstr=(char*)" // about the use of a non-standard name
+++d"__PRETTY_FUNCTION__=___function___" // lint defines ___function___ internally
+++d"__FUNCTION__=___function___" // lint defines ___function___ internally
+++d"__func__=___function___" // Some C++ modes suport the implicit __func__
+ // identifier.
+-ident($)
+
+// =========================================================
+// Other options supporting GNU C/C++ syntax:
++fld // enables the processing of _L_abel _D_esignators E.g.:
+ // union { double d; int i; } u = { d: 3.141 };
+
+// =========================================================
+// Generally useful suppressions:
+-wlib(1) // sets the warning level within library headers to 1
+ // (no warnings, just syntax errors). Comment out if you
+ // are actually linting library headers.
+-elib(123) // 123 is really a warning, but it's in the "Error" range.
+-elib(93) // allow newlines within quoted string arguments to macros
+-elib(46) // allow bit fields to have integral types other than
+ // '_Bool' and 'int'.
+-elibsym(628) // Suppress 628 for __builtin symbols.
+
+-esym(528,__huge_val,__nan,__qnan,__qnanf,__snan,__snanf)
+ // We don't care if we don't reference some GNU functions
+-esym(528,__gnu_malloc,__gnu_calloc)
+
+// The following functions exhibit variable return modes.
+// That is, they may equally-usefully be called for a value
+// as called just for their effects. Accordingly we inhibit
+// Warning 534 for these functions.
+// Feel free to add to or subtract from this list.
+
+-esym(534,close,creat,fclose,fprintf,fputc)
+-esym(534,fputs,fscanf,fseek,fwrite,lseek,memcpy,memmove,memset)
+-esym(534,printf,puts,scanf,sprintf,sscanf,strcat,strcpy)
+-esym(534,strncat,strncpy,unlink,write)
+
+// For non-ANSI compilers we suppress messages 515 and 516
+// for functions known to have variable argument lists.
+// For ANSI compilers, header files should take care of this.
+
+-esym(515,fprintf,printf,sprintf,fscanf,scanf,sscanf)
+-esym(516,fprintf,printf,sprintf,fscanf,scanf,sscanf)
+-esym(1702,*operator<<,*operator>>)
+-esym(534,*operator<<,*operator>>)
+-esym(1055,*__builtin*)
+-esym(718,*__builtin*) // The compiler does not need these ...
+-esym(746,*__builtin*) // declared and it knows their prototypes.
diff --git a/test/hal/testbuild/pclint/gcc-include-path.lnt b/test/hal/testbuild/pclint/gcc-include-path.lnt new file mode 100644 index 000000000..8bd8f249b --- /dev/null +++ b/test/hal/testbuild/pclint/gcc-include-path.lnt @@ -0,0 +1,6 @@ +--i"C:/ChibiStudio/tools/GNU Tools ARM Embedded/4.9 2014q4/arm-none-eabi/include" +--i"C:/ChibiStudio/tools/GNU Tools ARM Embedded/4.9 2014q4/arm-none-eabi/include/c++/4.9.3" +--i"C:/ChibiStudio/tools/GNU Tools ARM Embedded/4.9 2014q4/arm-none-eabi/include/c++/4.9.3/arm-none-eabi" +--i"C:/ChibiStudio/tools/GNU Tools ARM Embedded/4.9 2014q4/arm-none-eabi/include/c++/4.9.3/backward" +--i"C:/ChibiStudio/tools/GNU Tools ARM Embedded/4.9 2014q4/lib/gcc/arm-none-eabi/4.9.3/include" +--i"C:/ChibiStudio/tools/GNU Tools ARM Embedded/4.9 2014q4/lib/gcc/arm-none-eabi/4.9.3/include-fixed" diff --git a/test/hal/testbuild/pclint/lint_cmac.h b/test/hal/testbuild/pclint/lint_cmac.h new file mode 100644 index 000000000..3d0ae4bb7 --- /dev/null +++ b/test/hal/testbuild/pclint/lint_cmac.h @@ -0,0 +1,330 @@ +#define __DBL_MIN_EXP__ (-1021)
+#define __HQ_FBIT__ 15
+#define __UINT_LEAST16_MAX__ 65535
+#define __ATOMIC_ACQUIRE 2
+#define __SFRACT_IBIT__ 0
+#define __FLT_MIN__ 1.1754943508222875e-38F
+#define __UFRACT_MAX__ 0XFFFFP-16UR
+#define __UINT_LEAST8_TYPE__ unsigned char
+#define __DQ_FBIT__ 63
+#define __INTMAX_C(c) c ## LL
+#define __ULFRACT_FBIT__ 32
+#define __SACCUM_EPSILON__ 0x1P-7HK
+#define __CHAR_BIT__ 8
+#define __USQ_IBIT__ 0
+#define __UINT8_MAX__ 255
+#define __ACCUM_FBIT__ 15
+#define __WINT_MAX__ 4294967295U
+#define __USFRACT_FBIT__ 8
+#define __ORDER_LITTLE_ENDIAN__ 1234
+#define __SIZE_MAX__ 4294967295U
+#define __WCHAR_MAX__ 4294967295U
+#define __LACCUM_IBIT__ 32
+#define __DBL_DENORM_MIN__ ((double)4.9406564584124654e-324L)
+#define __GCC_ATOMIC_CHAR_LOCK_FREE 1
+#define __FLT_EVAL_METHOD__ 0
+#define __LLACCUM_MAX__ 0X7FFFFFFFFFFFFFFFP-31LLK
+#define __GCC_ATOMIC_CHAR32_T_LOCK_FREE 1
+#define __FRACT_FBIT__ 15
+#define __UINT_FAST64_MAX__ 18446744073709551615ULL
+#define __SIG_ATOMIC_TYPE__ int
+#define __UACCUM_FBIT__ 16
+#define __DBL_MIN_10_EXP__ (-307)
+#define __FINITE_MATH_ONLY__ 0
+#define __ARMEL__ 1
+#define __LFRACT_IBIT__ 0
+#define __GNUC_PATCHLEVEL__ 4
+#define __LFRACT_MAX__ 0X7FFFFFFFP-31LR
+#define __UINT_FAST8_MAX__ 4294967295U
+#define __DEC64_MAX_EXP__ 385
+#define __INT8_C(c) c
+#define __UINT_LEAST64_MAX__ 18446744073709551615ULL
+#define __SA_FBIT__ 15
+#define __SHRT_MAX__ 32767
+#define __LDBL_MAX__ 1.7976931348623157e+308L
+#define __FRACT_MAX__ 0X7FFFP-15R
+#define __UFRACT_FBIT__ 16
+#define __UFRACT_MIN__ 0.0UR
+#define __UINT_LEAST8_MAX__ 255
+#define __GCC_ATOMIC_BOOL_LOCK_FREE 1
+#define __UINTMAX_TYPE__ long long unsigned int
+#define __LLFRACT_EPSILON__ 0x1P-63LLR
+#define __DEC32_EPSILON__ 1E-6DF
+#define __CHAR_UNSIGNED__ 1
+#define __UINT32_MAX__ 4294967295UL
+#define __ULFRACT_MAX__ 0XFFFFFFFFP-32ULR
+#define __TA_IBIT__ 64
+#define __LDBL_MAX_EXP__ 1024
+#define __WINT_MIN__ 0U
+#define __ULLFRACT_MIN__ 0.0ULLR
+#define __SCHAR_MAX__ 127
+#define __WCHAR_MIN__ 0U
+#define __INT64_C(c) c ## LL
+#define __DBL_DIG__ 15
+#define __GCC_ATOMIC_POINTER_LOCK_FREE 1
+#define __LLACCUM_MIN__ (-0X1P31LLK-0X1P31LLK)
+#define __SIZEOF_INT__ 4
+#define __SIZEOF_POINTER__ 4
+#define __USACCUM_IBIT__ 8
+#define __USER_LABEL_PREFIX__
+#define __STDC_HOSTED__ 1
+#define __LDBL_HAS_INFINITY__ 1
+#define __LFRACT_MIN__ (-0.5LR-0.5LR)
+#define __HA_IBIT__ 8
+#define __TQ_IBIT__ 0
+#define __FLT_EPSILON__ 1.1920928955078125e-7F
+#define __APCS_32__ 1
+#define __USFRACT_IBIT__ 0
+#define __LDBL_MIN__ 2.2250738585072014e-308L
+#define __FRACT_MIN__ (-0.5R-0.5R)
+#define __DEC32_MAX__ 9.999999E96DF
+#define __DA_IBIT__ 32
+#define __INT32_MAX__ 2147483647L
+#define __UQQ_FBIT__ 8
+#define __SIZEOF_LONG__ 4
+#define __UACCUM_MAX__ 0XFFFFFFFFP-16UK
+#define __UINT16_C(c) c
+#define __DECIMAL_DIG__ 17
+#define __LFRACT_EPSILON__ 0x1P-31LR
+#define __ULFRACT_MIN__ 0.0ULR
+#define __LDBL_HAS_QUIET_NAN__ 1
+#define __ULACCUM_IBIT__ 32
+#define __UACCUM_EPSILON__ 0x1P-16UK
+#define __GNUC__ 4
+#define __ULLACCUM_MAX__ 0XFFFFFFFFFFFFFFFFP-32ULLK
+#define __HQ_IBIT__ 0
+#define __FLT_HAS_DENORM__ 1
+#define __SIZEOF_LONG_DOUBLE__ 8
+#define __BIGGEST_ALIGNMENT__ 8
+#define __DQ_IBIT__ 0
+#define __DBL_MAX__ ((double)1.7976931348623157e+308L)
+#define __ULFRACT_IBIT__ 0
+#define __INT_FAST32_MAX__ 2147483647
+#define __DBL_HAS_INFINITY__ 1
+#define __ACCUM_IBIT__ 16
+#define __DEC32_MIN_EXP__ (-94)
+#define __THUMB_INTERWORK__ 1
+#define __LACCUM_MAX__ 0X7FFFFFFFFFFFFFFFP-31LK
+#define __INT_FAST16_TYPE__ int
+#define __LDBL_HAS_DENORM__ 1
+#define __DEC128_MAX__ 9.999999999999999999999999999999999E6144DL
+#define __INT_LEAST32_MAX__ 2147483647L
+#define __ARM_PCS 1
+#define __DEC32_MIN__ 1E-95DF
+#define __ACCUM_MAX__ 0X7FFFFFFFP-15K
+#define __DBL_MAX_EXP__ 1024
+#define __USACCUM_EPSILON__ 0x1P-8UHK
+#define __DEC128_EPSILON__ 1E-33DL
+#define __SFRACT_MAX__ 0X7FP-7HR
+#define __FRACT_IBIT__ 0
+#define __PTRDIFF_MAX__ 2147483647
+#define __UACCUM_MIN__ 0.0UK
+#define __UACCUM_IBIT__ 16
+#define __LONG_LONG_MAX__ 9223372036854775807LL
+#define __SIZEOF_SIZE_T__ 4
+#define __ULACCUM_MAX__ 0XFFFFFFFFFFFFFFFFP-32ULK
+#define __SIZEOF_WINT_T__ 4
+#define __SA_IBIT__ 16
+#define __ULLACCUM_MIN__ 0.0ULLK
+#define __GXX_ABI_VERSION 1002
+#define __UTA_FBIT__ 64
+#define __SOFTFP__ 1
+#define __FLT_MIN_EXP__ (-125)
+#define __USFRACT_MAX__ 0XFFP-8UHR
+#define __UFRACT_IBIT__ 0
+#define __INT_FAST64_TYPE__ long long int
+#define __DBL_MIN__ ((double)2.2250738585072014e-308L)
+#define __LACCUM_MIN__ (-0X1P31LK-0X1P31LK)
+#define __ULLACCUM_FBIT__ 32
+#define __GXX_TYPEINFO_EQUALITY_INLINE 0
+#define __ULLFRACT_EPSILON__ 0x1P-64ULLR
+#define __USES_INITFINI__ 1
+#define __DEC128_MIN__ 1E-6143DL
+#define __REGISTER_PREFIX__
+#define __UINT16_MAX__ 65535
+#define __DBL_HAS_DENORM__ 1
+#define __ACCUM_MIN__ (-0X1P15K-0X1P15K)
+#define __SQ_IBIT__ 0
+#define __UINT8_TYPE__ unsigned char
+#define __UHA_FBIT__ 8
+#define __NO_INLINE__ 1
+#define __SFRACT_MIN__ (-0.5HR-0.5HR)
+#define __UTQ_FBIT__ 128
+#define __FLT_MANT_DIG__ 24
+#define __VERSION__ "4.7.4 20130913 (release) [ARM/embedded-4_7-branch revision 202601]"
+#define __UINT64_C(c) c ## ULL
+#define __ULLFRACT_FBIT__ 64
+#define __FRACT_EPSILON__ 0x1P-15R
+#define __ULACCUM_MIN__ 0.0ULK
+#define __UDA_FBIT__ 32
+#define __LLACCUM_EPSILON__ 0x1P-31LLK
+#define __GCC_ATOMIC_INT_LOCK_FREE 1
+#define __FLOAT_WORD_ORDER__ __ORDER_LITTLE_ENDIAN__
+#define __USFRACT_MIN__ 0.0UHR
+#define __UQQ_IBIT__ 0
+#define __INT32_C(c) c ## L
+#define __DEC64_EPSILON__ 1E-15DD
+#define __ORDER_PDP_ENDIAN__ 3412
+#define __DEC128_MIN_EXP__ (-6142)
+#define __UHQ_FBIT__ 16
+#define __LLACCUM_FBIT__ 31
+#define __INT_FAST32_TYPE__ int
+#define __UINT_LEAST16_TYPE__ short unsigned int
+#define __INT16_MAX__ 32767
+#define __SIZE_TYPE__ unsigned int
+#define __UINT64_MAX__ 18446744073709551615ULL
+#define __UDQ_FBIT__ 64
+#define __INT8_TYPE__ signed char
+#define __ELF__ 1
+#define __ULFRACT_EPSILON__ 0x1P-32ULR
+#define __LLFRACT_FBIT__ 63
+#define __FLT_RADIX__ 2
+#define __INT_LEAST16_TYPE__ short int
+#define __LDBL_EPSILON__ 2.2204460492503131e-16L
+#define __UINTMAX_C(c) c ## ULL
+#define __SACCUM_MAX__ 0X7FFFP-7HK
+#define __SIG_ATOMIC_MAX__ 2147483647
+#define __GCC_ATOMIC_WCHAR_T_LOCK_FREE 1
+#define __VFP_FP__ 1
+#define __SIZEOF_PTRDIFF_T__ 4
+#define __LACCUM_EPSILON__ 0x1P-31LK
+#define __DEC32_SUBNORMAL_MIN__ 0.000001E-95DF
+#define __INT_FAST16_MAX__ 2147483647
+#define __UINT_FAST32_MAX__ 4294967295U
+#define __UINT_LEAST64_TYPE__ long long unsigned int
+#define __USACCUM_MAX__ 0XFFFFP-8UHK
+#define __SFRACT_EPSILON__ 0x1P-7HR
+#define __FLT_HAS_QUIET_NAN__ 1
+#define __FLT_MAX_10_EXP__ 38
+#define __LONG_MAX__ 2147483647L
+#define __DEC128_SUBNORMAL_MIN__ 0.000000000000000000000000000000001E-6143DL
+#define __FLT_HAS_INFINITY__ 1
+#define __USA_FBIT__ 16
+#define __UINT_FAST16_TYPE__ unsigned int
+#define __DEC64_MAX__ 9.999999999999999E384DD
+#define __CHAR16_TYPE__ short unsigned int
+#define __PRAGMA_REDEFINE_EXTNAME 1
+#define __INT_LEAST16_MAX__ 32767
+#define __DEC64_MANT_DIG__ 16
+#define __INT64_MAX__ 9223372036854775807LL
+#define __UINT_LEAST32_MAX__ 4294967295UL
+#define __SACCUM_FBIT__ 7
+#define __GCC_ATOMIC_LONG_LOCK_FREE 1
+#define __INT_LEAST64_TYPE__ long long int
+#define __INT16_TYPE__ short int
+#define __INT_LEAST8_TYPE__ signed char
+#define __SQ_FBIT__ 31
+#define __DEC32_MAX_EXP__ 97
+#define __INT_FAST8_MAX__ 2147483647
+#define __INTPTR_MAX__ 2147483647
+#define __QQ_FBIT__ 7
+#define __UTA_IBIT__ 64
+#define __LDBL_MANT_DIG__ 53
+#define __SFRACT_FBIT__ 7
+#define __SACCUM_MIN__ (-0X1P7HK-0X1P7HK)
+#define __DBL_HAS_QUIET_NAN__ 1
+#define __SIG_ATOMIC_MIN__ (-__SIG_ATOMIC_MAX__ - 1)
+#define __INTPTR_TYPE__ int
+#define __UINT16_TYPE__ short unsigned int
+#define __WCHAR_TYPE__ unsigned int
+#define __SIZEOF_FLOAT__ 4
+#define __USQ_FBIT__ 32
+#define __UINTPTR_MAX__ 4294967295U
+#define __DEC64_MIN_EXP__ (-382)
+#define __ULLACCUM_IBIT__ 32
+#define __INT_FAST64_MAX__ 9223372036854775807LL
+#define __GCC_ATOMIC_TEST_AND_SET_TRUEVAL 1
+#define __FLT_DIG__ 6
+#define __UINT_FAST64_TYPE__ long long unsigned int
+#define __INT_MAX__ 2147483647
+#define __LACCUM_FBIT__ 31
+#define __USACCUM_MIN__ 0.0UHK
+#define __UHA_IBIT__ 8
+#define __INT64_TYPE__ long long int
+#define __FLT_MAX_EXP__ 128
+#define __UTQ_IBIT__ 0
+#define __DBL_MANT_DIG__ 53
+#define __INT_LEAST64_MAX__ 9223372036854775807LL
+#define __GCC_ATOMIC_CHAR16_T_LOCK_FREE 1
+#define __DEC64_MIN__ 1E-383DD
+#define __WINT_TYPE__ unsigned int
+#define __UINT_LEAST32_TYPE__ long unsigned int
+#define __SIZEOF_SHORT__ 2
+#define __ULLFRACT_IBIT__ 0
+#define __LDBL_MIN_EXP__ (-1021)
+#define __arm__ 1
+#define __UDA_IBIT__ 32
+#define __INT_LEAST8_MAX__ 127
+#define __LFRACT_FBIT__ 31
+#define __LDBL_MAX_10_EXP__ 308
+#define __ATOMIC_RELAXED 0
+#define __DBL_EPSILON__ ((double)2.2204460492503131e-16L)
+#define __UINT8_C(c) c
+#define __INT_LEAST32_TYPE__ long int
+#define __SIZEOF_WCHAR_T__ 4
+#define __UINT64_TYPE__ long long unsigned int
+#define __LLFRACT_MAX__ 0X7FFFFFFFFFFFFFFFP-63LLR
+#define __TQ_FBIT__ 127
+#define __INT_FAST8_TYPE__ int
+#define __ULLACCUM_EPSILON__ 0x1P-32ULLK
+#define __UHQ_IBIT__ 0
+#define __LLACCUM_IBIT__ 32
+#define __DBL_DECIMAL_DIG__ 17
+#define __DEC_EVAL_METHOD__ 2
+#define __TA_FBIT__ 63
+#define __UDQ_IBIT__ 0
+#define __ORDER_BIG_ENDIAN__ 4321
+#define __ACCUM_EPSILON__ 0x1P-15K
+#define __UINT32_C(c) c ## UL
+#define __INTMAX_MAX__ 9223372036854775807LL
+#define __BYTE_ORDER__ __ORDER_LITTLE_ENDIAN__
+#define __FLT_DENORM_MIN__ 1.4012984643248171e-45F
+#define __LLFRACT_IBIT__ 0
+#define __INT8_MAX__ 127
+#define __UINT_FAST32_TYPE__ unsigned int
+#define __CHAR32_TYPE__ long unsigned int
+#define __FLT_MAX__ 3.4028234663852886e+38F
+#define __USACCUM_FBIT__ 8
+#define __INT32_TYPE__ long int
+#define __SIZEOF_DOUBLE__ 8
+#define __FLT_MIN_10_EXP__ (-37)
+#define __UFRACT_EPSILON__ 0x1P-16UR
+#define __INTMAX_TYPE__ long long int
+#define __DEC128_MAX_EXP__ 6145
+#define __ATOMIC_CONSUME 1
+#define __GNUC_MINOR__ 7
+#define __UINTMAX_MAX__ 18446744073709551615ULL
+#define __DEC32_MANT_DIG__ 7
+#define __HA_FBIT__ 7
+#define __DBL_MAX_10_EXP__ 308
+#define __LDBL_DENORM_MIN__ 4.9406564584124654e-324L
+#define __INT16_C(c) c
+#define __STDC__ 1
+#define __ARM_ARCH_4T__ 1
+#define __PTRDIFF_TYPE__ int
+#define __LLFRACT_MIN__ (-0.5LLR-0.5LLR)
+#define __ATOMIC_SEQ_CST 5
+#define __DA_FBIT__ 31
+#define __UINT32_TYPE__ long unsigned int
+#define __UINTPTR_TYPE__ unsigned int
+#define __USA_IBIT__ 16
+#define __DEC64_SUBNORMAL_MIN__ 0.000000000000001E-383DD
+#define __ARM_EABI__ 1
+#define __DEC128_MANT_DIG__ 34
+#define __LDBL_MIN_10_EXP__ (-307)
+#define __SIZEOF_LONG_LONG__ 8
+#define __ULACCUM_EPSILON__ 0x1P-32ULK
+#define __SACCUM_IBIT__ 8
+#define __GCC_ATOMIC_LLONG_LOCK_FREE 1
+#define __LDBL_DIG__ 15
+#define __FLT_DECIMAL_DIG__ 9
+#define __UINT_FAST16_MAX__ 4294967295U
+#define __GNUC_GNU_INLINE__ 1
+#define __GCC_ATOMIC_SHORT_LOCK_FREE 1
+#define __ULLFRACT_MAX__ 0XFFFFFFFFFFFFFFFFP-64ULLR
+#define __UINT_FAST8_TYPE__ unsigned int
+#define __USFRACT_EPSILON__ 0x1P-8UHR
+#define __ULACCUM_FBIT__ 32
+#define __QQ_IBIT__ 0
+#define __ATOMIC_ACQ_REL 4
+#define __ATOMIC_RELEASE 3
diff --git a/test/hal/testbuild/pclint/lint_cppmac.h b/test/hal/testbuild/pclint/lint_cppmac.h new file mode 100644 index 000000000..5e63a1f3b --- /dev/null +++ b/test/hal/testbuild/pclint/lint_cppmac.h @@ -0,0 +1,336 @@ +#define __DBL_MIN_EXP__ (-1021)
+#define __HQ_FBIT__ 15
+#define __UINT_LEAST16_MAX__ 65535
+#define __ATOMIC_ACQUIRE 2
+#define __SFRACT_IBIT__ 0
+#define __FLT_MIN__ 1.1754943508222875e-38F
+#define __UFRACT_MAX__ 0XFFFFP-16UR
+#define __UINT_LEAST8_TYPE__ unsigned char
+#define __DQ_FBIT__ 63
+#define __INTMAX_C(c) c ## LL
+#define __ULFRACT_FBIT__ 32
+#define __SACCUM_EPSILON__ 0x1P-7HK
+#define __CHAR_BIT__ 8
+#define __USQ_IBIT__ 0
+#define __UINT8_MAX__ 255
+#define __ACCUM_FBIT__ 15
+#define __WINT_MAX__ 4294967295U
+#define __USFRACT_FBIT__ 8
+#define __ORDER_LITTLE_ENDIAN__ 1234
+#define __SIZE_MAX__ 4294967295U
+#define __WCHAR_MAX__ 4294967295U
+#define __LACCUM_IBIT__ 32
+#define __DBL_DENORM_MIN__ double(4.9406564584124654e-324L)
+#define __GCC_ATOMIC_CHAR_LOCK_FREE 1
+#define __FLT_EVAL_METHOD__ 0
+#define __LLACCUM_MAX__ 0X7FFFFFFFFFFFFFFFP-31LLK
+#define __GCC_ATOMIC_CHAR32_T_LOCK_FREE 1
+#define __FRACT_FBIT__ 15
+#define __UINT_FAST64_MAX__ 18446744073709551615ULL
+#define __SIG_ATOMIC_TYPE__ int
+#define __UACCUM_FBIT__ 16
+#define __DBL_MIN_10_EXP__ (-307)
+#define __FINITE_MATH_ONLY__ 0
+#define __ARMEL__ 1
+#define __LFRACT_IBIT__ 0
+#define __GNUC_PATCHLEVEL__ 4
+#define __LFRACT_MAX__ 0X7FFFFFFFP-31LR
+#define __UINT_FAST8_MAX__ 4294967295U
+#define __DEC64_MAX_EXP__ 385
+#define __INT8_C(c) c
+#define __UINT_LEAST64_MAX__ 18446744073709551615ULL
+#define __SA_FBIT__ 15
+#define __SHRT_MAX__ 32767
+#define __LDBL_MAX__ 1.7976931348623157e+308L
+#define __FRACT_MAX__ 0X7FFFP-15R
+#define __UFRACT_FBIT__ 16
+#define __UFRACT_MIN__ 0.0UR
+#define __UINT_LEAST8_MAX__ 255
+#define __GCC_ATOMIC_BOOL_LOCK_FREE 1
+#define __UINTMAX_TYPE__ long long unsigned int
+#define __LLFRACT_EPSILON__ 0x1P-63LLR
+#define __DEC32_EPSILON__ 1E-6DF
+#define __CHAR_UNSIGNED__ 1
+#define __UINT32_MAX__ 4294967295UL
+#define __ULFRACT_MAX__ 0XFFFFFFFFP-32ULR
+#define __TA_IBIT__ 64
+#define __LDBL_MAX_EXP__ 1024
+#define __WINT_MIN__ 0U
+#define __ULLFRACT_MIN__ 0.0ULLR
+#define __SCHAR_MAX__ 127
+#define __WCHAR_MIN__ 0U
+#define __INT64_C(c) c ## LL
+#define __DBL_DIG__ 15
+#define __GCC_ATOMIC_POINTER_LOCK_FREE 1
+#define __LLACCUM_MIN__ (-0X1P31LLK-0X1P31LLK)
+#define __SIZEOF_INT__ 4
+#define __SIZEOF_POINTER__ 4
+#define __GCC_ATOMIC_CHAR16_T_LOCK_FREE 1
+#define __USACCUM_IBIT__ 8
+#define __USER_LABEL_PREFIX__
+#define __STDC_HOSTED__ 1
+#define __LDBL_HAS_INFINITY__ 1
+#define __LFRACT_MIN__ (-0.5LR-0.5LR)
+#define __HA_IBIT__ 8
+#define __TQ_IBIT__ 0
+#define __FLT_EPSILON__ 1.1920928955078125e-7F
+#define __APCS_32__ 1
+#define __GXX_WEAK__ 1
+#define __USFRACT_IBIT__ 0
+#define __LDBL_MIN__ 2.2250738585072014e-308L
+#define __FRACT_MIN__ (-0.5R-0.5R)
+#define __DEC32_MAX__ 9.999999E96DF
+#define __DA_IBIT__ 32
+#define __INT32_MAX__ 2147483647L
+#define __UQQ_FBIT__ 8
+#define __SIZEOF_LONG__ 4
+#define __UACCUM_MAX__ 0XFFFFFFFFP-16UK
+#define __UINT16_C(c) c
+#define __DECIMAL_DIG__ 17
+#define __LFRACT_EPSILON__ 0x1P-31LR
+#define __ULFRACT_MIN__ 0.0ULR
+#define __LDBL_HAS_QUIET_NAN__ 1
+#define __ULACCUM_IBIT__ 32
+#define __UACCUM_EPSILON__ 0x1P-16UK
+#define __GNUC__ 4
+#define __ULLACCUM_MAX__ 0XFFFFFFFFFFFFFFFFP-32ULLK
+#define __HQ_IBIT__ 0
+#define __FLT_HAS_DENORM__ 1
+#define __SIZEOF_LONG_DOUBLE__ 8
+#define __BIGGEST_ALIGNMENT__ 8
+#define __DQ_IBIT__ 0
+#define __DBL_MAX__ double(1.7976931348623157e+308L)
+#define __ULFRACT_IBIT__ 0
+#define __INT_FAST32_MAX__ 2147483647
+#define __DBL_HAS_INFINITY__ 1
+#define __INT64_MAX__ 9223372036854775807LL
+#define __ACCUM_IBIT__ 16
+#define __DEC32_MIN_EXP__ (-94)
+#define __THUMB_INTERWORK__ 1
+#define __LACCUM_MAX__ 0X7FFFFFFFFFFFFFFFP-31LK
+#define __INT_FAST16_TYPE__ int
+#define __LDBL_HAS_DENORM__ 1
+#define __cplusplus 199711L
+#define __DEC128_MAX__ 9.999999999999999999999999999999999E6144DL
+#define __INT_LEAST32_MAX__ 2147483647L
+#define __ARM_PCS 1
+#define __DEC32_MIN__ 1E-95DF
+#define __ACCUM_MAX__ 0X7FFFFFFFP-15K
+#define __DEPRECATED 1
+#define __DBL_MAX_EXP__ 1024
+#define __USACCUM_EPSILON__ 0x1P-8UHK
+#define __DEC128_EPSILON__ 1E-33DL
+#define __SFRACT_MAX__ 0X7FP-7HR
+#define __FRACT_IBIT__ 0
+#define __PTRDIFF_MAX__ 2147483647
+#define __UACCUM_MIN__ 0.0UK
+#define __UACCUM_IBIT__ 16
+#define __GNUG__ 4
+#define __LONG_LONG_MAX__ 9223372036854775807LL
+#define __SIZEOF_SIZE_T__ 4
+#define __ULACCUM_MAX__ 0XFFFFFFFFFFFFFFFFP-32ULK
+#define __SIZEOF_WINT_T__ 4
+#define __SA_IBIT__ 16
+#define __ULLACCUM_MIN__ 0.0ULLK
+#define __GXX_ABI_VERSION 1002
+#define __UTA_FBIT__ 64
+#define __SOFTFP__ 1
+#define __FLT_MIN_EXP__ (-125)
+#define __USFRACT_MAX__ 0XFFP-8UHR
+#define __UFRACT_IBIT__ 0
+#define __INT_FAST64_TYPE__ long long int
+#define __DBL_MIN__ double(2.2250738585072014e-308L)
+#define __FLT_MIN_10_EXP__ (-37)
+#define __LACCUM_MIN__ (-0X1P31LK-0X1P31LK)
+#define __ULLACCUM_FBIT__ 32
+#define __GXX_TYPEINFO_EQUALITY_INLINE 0
+#define __ULLFRACT_EPSILON__ 0x1P-64ULLR
+#define __USES_INITFINI__ 1
+#define __DEC128_MIN__ 1E-6143DL
+#define __REGISTER_PREFIX__
+#define __UINT16_MAX__ 65535
+#define __DBL_HAS_DENORM__ 1
+#define __ACCUM_MIN__ (-0X1P15K-0X1P15K)
+#define __SQ_IBIT__ 0
+#define __UINT8_TYPE__ unsigned char
+#define __UHA_FBIT__ 8
+#define __NO_INLINE__ 1
+#define __SFRACT_MIN__ (-0.5HR-0.5HR)
+#define __UTQ_FBIT__ 128
+#define __FLT_MANT_DIG__ 24
+#define __VERSION__ "4.7.4 20130913 (release) [ARM/embedded-4_7-branch revision 202601]"
+#define __UINT64_C(c) c ## ULL
+#define __ULLFRACT_FBIT__ 64
+#define __FRACT_EPSILON__ 0x1P-15R
+#define __ULACCUM_MIN__ 0.0ULK
+#define __UDA_FBIT__ 32
+#define __LLACCUM_EPSILON__ 0x1P-31LLK
+#define __GCC_ATOMIC_INT_LOCK_FREE 1
+#define __FLOAT_WORD_ORDER__ __ORDER_LITTLE_ENDIAN__
+#define __USFRACT_MIN__ 0.0UHR
+#define __ULLACCUM_IBIT__ 32
+#define __UQQ_IBIT__ 0
+#define __INT32_C(c) c ## L
+#define __DEC64_EPSILON__ 1E-15DD
+#define __ORDER_PDP_ENDIAN__ 3412
+#define __DEC128_MIN_EXP__ (-6142)
+#define __UHQ_FBIT__ 16
+#define __LLACCUM_FBIT__ 31
+#define __INT_FAST32_TYPE__ int
+#define __UINT_LEAST16_TYPE__ short unsigned int
+#define __INT16_MAX__ 32767
+#define __SIZE_TYPE__ unsigned int
+#define __UINT64_MAX__ 18446744073709551615ULL
+#define __UDQ_FBIT__ 64
+#define __INT8_TYPE__ signed char
+#define __ELF__ 1
+#define __ULFRACT_EPSILON__ 0x1P-32ULR
+#define __LLFRACT_FBIT__ 63
+#define __FLT_RADIX__ 2
+#define __INT_LEAST16_TYPE__ short int
+#define __LDBL_EPSILON__ 2.2204460492503131e-16L
+#define __UINTMAX_C(c) c ## ULL
+#define __SACCUM_MAX__ 0X7FFFP-7HK
+#define __SIG_ATOMIC_MAX__ 2147483647
+#define __GCC_ATOMIC_WCHAR_T_LOCK_FREE 1
+#define __VFP_FP__ 1
+#define __SIZEOF_PTRDIFF_T__ 4
+#define __LACCUM_EPSILON__ 0x1P-31LK
+#define __DEC32_SUBNORMAL_MIN__ 0.000001E-95DF
+#define __INT_FAST16_MAX__ 2147483647
+#define __UINT_FAST32_MAX__ 4294967295U
+#define __UINT_LEAST64_TYPE__ long long unsigned int
+#define __USACCUM_MAX__ 0XFFFFP-8UHK
+#define __SFRACT_EPSILON__ 0x1P-7HR
+#define __FLT_HAS_QUIET_NAN__ 1
+#define __FLT_MAX_10_EXP__ 38
+#define __LONG_MAX__ 2147483647L
+#define __DEC128_SUBNORMAL_MIN__ 0.000000000000000000000000000000001E-6143DL
+#define __FLT_HAS_INFINITY__ 1
+#define __USA_FBIT__ 16
+#define __UINT_FAST16_TYPE__ unsigned int
+#define __DEC64_MAX__ 9.999999999999999E384DD
+#define __CHAR16_TYPE__ short unsigned int
+#define __PRAGMA_REDEFINE_EXTNAME 1
+#define __INT_LEAST16_MAX__ 32767
+#define __DEC64_MANT_DIG__ 16
+#define __UINT_LEAST32_MAX__ 4294967295UL
+#define __SACCUM_FBIT__ 7
+#define __GCC_ATOMIC_LONG_LOCK_FREE 1
+#define __INT_LEAST64_TYPE__ long long int
+#define __INT16_TYPE__ short int
+#define __INT_LEAST8_TYPE__ signed char
+#define __SQ_FBIT__ 31
+#define __DEC32_MAX_EXP__ 97
+#define __INT_FAST8_MAX__ 2147483647
+#define __INTPTR_MAX__ 2147483647
+#define __QQ_FBIT__ 7
+#define __UTA_IBIT__ 64
+#define __EXCEPTIONS 1
+#define __LDBL_MANT_DIG__ 53
+#define __SFRACT_FBIT__ 7
+#define __SACCUM_MIN__ (-0X1P7HK-0X1P7HK)
+#define __DBL_HAS_QUIET_NAN__ 1
+#define __SIG_ATOMIC_MIN__ (-__SIG_ATOMIC_MAX__ - 1)
+#define __INTPTR_TYPE__ int
+#define __UINT16_TYPE__ short unsigned int
+#define __WCHAR_TYPE__ unsigned int
+#define __SIZEOF_FLOAT__ 4
+#define __USQ_FBIT__ 32
+#define __UINTPTR_MAX__ 4294967295U
+#define __DEC64_MIN_EXP__ (-382)
+#define __INT_FAST64_MAX__ 9223372036854775807LL
+#define __GCC_ATOMIC_TEST_AND_SET_TRUEVAL 1
+#define __FLT_DIG__ 6
+#define __UINT_FAST64_TYPE__ long long unsigned int
+#define __INT_MAX__ 2147483647
+#define __LACCUM_FBIT__ 31
+#define __USACCUM_MIN__ 0.0UHK
+#define __UHA_IBIT__ 8
+#define __INT64_TYPE__ long long int
+#define __FLT_MAX_EXP__ 128
+#define __UTQ_IBIT__ 0
+#define __DBL_MANT_DIG__ 53
+#define __INT_LEAST64_MAX__ 9223372036854775807LL
+#define __DEC64_MIN__ 1E-383DD
+#define __WINT_TYPE__ unsigned int
+#define __UINT_LEAST32_TYPE__ long unsigned int
+#define __SIZEOF_SHORT__ 2
+#define __ULLFRACT_IBIT__ 0
+#define __LDBL_MIN_EXP__ (-1021)
+#define __arm__ 1
+#define __UDA_IBIT__ 32
+#define __INT_LEAST8_MAX__ 127
+#define __LFRACT_FBIT__ 31
+#define __WCHAR_UNSIGNED__ 1
+#define __LDBL_MAX_10_EXP__ 308
+#define __ATOMIC_RELAXED 0
+#define __DBL_EPSILON__ double(2.2204460492503131e-16L)
+#define __UINT8_C(c) c
+#define __INT_LEAST32_TYPE__ long int
+#define __SIZEOF_WCHAR_T__ 4
+#define __UINT64_TYPE__ long long unsigned int
+#define __LLFRACT_MAX__ 0X7FFFFFFFFFFFFFFFP-63LLR
+#define __TQ_FBIT__ 127
+#define __INT_FAST8_TYPE__ int
+#define __ULLACCUM_EPSILON__ 0x1P-32ULLK
+#define __UHQ_IBIT__ 0
+#define __LLACCUM_IBIT__ 32
+#define __DBL_DECIMAL_DIG__ 17
+#define __DEC_EVAL_METHOD__ 2
+#define __TA_FBIT__ 63
+#define __UDQ_IBIT__ 0
+#define __ORDER_BIG_ENDIAN__ 4321
+#define __ACCUM_EPSILON__ 0x1P-15K
+#define __UINT32_C(c) c ## UL
+#define __INTMAX_MAX__ 9223372036854775807LL
+#define __BYTE_ORDER__ __ORDER_LITTLE_ENDIAN__
+#define __FLT_DENORM_MIN__ 1.4012984643248171e-45F
+#define __LLFRACT_IBIT__ 0
+#define __INT8_MAX__ 127
+#define __UINT_FAST32_TYPE__ unsigned int
+#define __CHAR32_TYPE__ long unsigned int
+#define __FLT_MAX__ 3.4028234663852886e+38F
+#define __USACCUM_FBIT__ 8
+#define __INT32_TYPE__ long int
+#define __SIZEOF_DOUBLE__ 8
+#define __UFRACT_EPSILON__ 0x1P-16UR
+#define __INTMAX_TYPE__ long long int
+#define __DEC128_MAX_EXP__ 6145
+#define __ATOMIC_CONSUME 1
+#define __GNUC_MINOR__ 7
+#define __UINTMAX_MAX__ 18446744073709551615ULL
+#define __DEC32_MANT_DIG__ 7
+#define __HA_FBIT__ 7
+#define __DBL_MAX_10_EXP__ 308
+#define __LDBL_DENORM_MIN__ 4.9406564584124654e-324L
+#define __INT16_C(c) c
+#define __STDC__ 1
+#define __ARM_ARCH_4T__ 1
+#define __PTRDIFF_TYPE__ int
+#define __LLFRACT_MIN__ (-0.5LLR-0.5LLR)
+#define __ATOMIC_SEQ_CST 5
+#define __DA_FBIT__ 31
+#define __UINT32_TYPE__ long unsigned int
+#define __UINTPTR_TYPE__ unsigned int
+#define __USA_IBIT__ 16
+#define __DEC64_SUBNORMAL_MIN__ 0.000000000000001E-383DD
+#define __ARM_EABI__ 1
+#define __DEC128_MANT_DIG__ 34
+#define __LDBL_MIN_10_EXP__ (-307)
+#define __SIZEOF_LONG_LONG__ 8
+#define __ULACCUM_EPSILON__ 0x1P-32ULK
+#define __SACCUM_IBIT__ 8
+#define __GCC_ATOMIC_LLONG_LOCK_FREE 1
+#define __LDBL_DIG__ 15
+#define __FLT_DECIMAL_DIG__ 9
+#define __UINT_FAST16_MAX__ 4294967295U
+#define __GNUC_GNU_INLINE__ 1
+#define __GCC_ATOMIC_SHORT_LOCK_FREE 1
+#define __ULLFRACT_MAX__ 0XFFFFFFFFFFFFFFFFP-64ULLR
+#define __UINT_FAST8_TYPE__ unsigned int
+#define __USFRACT_EPSILON__ 0x1P-8UHR
+#define __ULACCUM_FBIT__ 32
+#define __QQ_IBIT__ 0
+#define __ATOMIC_ACQ_REL 4
+#define __ATOMIC_RELEASE 3
diff --git a/test/hal/testbuild/pclint/size-options.lnt b/test/hal/testbuild/pclint/size-options.lnt new file mode 100644 index 000000000..8f632b6b8 --- /dev/null +++ b/test/hal/testbuild/pclint/size-options.lnt @@ -0,0 +1 @@ +-ss2 -si4 -sl4 -sll8 -sf4 -sd8 -sld8 -sp4 -sw2
\ No newline at end of file diff --git a/test/hal/testbuild/pclint/waivers.lnt b/test/hal/testbuild/pclint/waivers.lnt new file mode 100644 index 000000000..e6caa1612 --- /dev/null +++ b/test/hal/testbuild/pclint/waivers.lnt @@ -0,0 +1,69 @@ +/* MISRA checks are not performed in header files marked as libraries or
+ vendor-provided files or belonging to other subsystems.*/
+-e686 /* Silencing warning on -elib(*) */
+-elib(*) /* No checks on library files. */
++libclass(angle,ansi)
++libh(core_cm4.h)
++libh(stm32f4xx.h)
++libh(*LLD.h)
+
+/* Silencing common non-MISRA info generated by PCLint in -w3 mode. All of
+ them have been controlled. Other infos have been fixed in the code.*/
+-e526 -e537
+-e714 -e716 -e717 -e757 -e758 -e759 -e768 -e773
+-e826 -e830 -e835 -e845
+
+/* Removing *advisory* directives and rules that would negatively impact
+ code readability or not avoidable.*/
+-e970 /* Dir-4.6 */
+-e9026 /* Dir-4.9 */
+-e756 /* Rule-2.3 */
+-e9058 /* Rule-2.4 */
+-e755 /* Rule-2.5 */
+-e9003 /* Rule-8.9 */
+-e9067 /* Rule-8.11 */
+-e818 /* Rule 8.13 */
+-e9078 /* Rule-11.4 */
+-e9079 /* Rule-11.5 */
+-e904 /* Rule-15.5 */
+-e9044 /* Rule-17.8 */
+-e9016 /* Rule-18.4 */
+-e844 -e954 /* Rule-18.13 */
+-e9018 /* Rule-19.2 */
+-e9024 /* Rule-20.10 */
+
+/* Waiver Directive 2.1, Rule 1.1, Rule 1.2, assembler is allowed in some
+ modules.*/
+-e950
+
+/* Waiver Directive 4.10, PCLint is confused by the guard used in the CMSIS
+ header files, the guard is present, suppressing the noise.*/
+-e451
+
+/* Waiver Rule 2.2, PCLint marks as pure functions that contain just arm
+ code, this does not mean that those functions do nothing.*/
+-e522
+
+/* Waiver Rule 3.1, the sequence "//" is mandated by standard license
+ headers included on top of all source files. The sequence is part of the
+ license URL and cannot be removed.*/
+-e9059
+
+/* Waiver Rule 8.7, the static analyzer has no visibility of functions called
+ from asm modules.*/
+-e765
+
+/* Waiver Rule 11.6, cast from integer to pointer is very commonly used
+ when accessing peripherals where the numeric address of the registers
+ block is cast to a structure pointer.*/
+-e923
+
+/* Waiver Rule 16.3, missing break into case. It is a common occurrence and
+ thoroughly checked.*/
+-e9090
+-e616
+-e825
+
+/* Waiver Rule 21.1, this is an operating system, its identifiers are
+ equivalent in importance to compiler symbols.*/
+-e9071
|