2012-08-14 18:07:04 -04:00
|
|
|
//////////////////////////////////////////////////////////////////////////////
|
|
|
|
|
// Product: PC-Lint 9.x option file for linting QP/C applications
|
2013-02-12 10:04:39 -05:00
|
|
|
// Last Updated for Version: 4.5.04
|
|
|
|
|
// Date of the Last Update: Feb 01, 2013
|
2012-08-14 18:07:04 -04:00
|
|
|
//
|
|
|
|
|
// Q u a n t u m L e a P s
|
|
|
|
|
// ---------------------------
|
|
|
|
|
// innovating embedded systems
|
|
|
|
|
//
|
2013-02-12 10:04:39 -05:00
|
|
|
// Copyright (C) 2002-2013 Quantum Leaps, LLC. All rights reserved.
|
2012-08-14 18:07:04 -04:00
|
|
|
//
|
2013-02-12 10:04:39 -05:00
|
|
|
// This program is open source software: you can redistribute it and/or
|
|
|
|
|
// modify it under the terms of the GNU General Public License as published
|
|
|
|
|
// by the Free Software Foundation, either version 2 of the License, or
|
|
|
|
|
// (at your option) any later version.
|
2012-08-14 18:07:04 -04:00
|
|
|
//
|
2013-02-12 10:04:39 -05:00
|
|
|
// Alternatively, this program may be distributed and modified under the
|
2012-08-14 18:07:04 -04:00
|
|
|
// terms of Quantum Leaps commercial licenses, which expressly supersede
|
2013-02-12 10:04:39 -05:00
|
|
|
// the GNU General Public License and are specifically designed for
|
|
|
|
|
// licensees interested in retaining the proprietary status of their code.
|
|
|
|
|
//
|
|
|
|
|
// This program is distributed in the hope that it will be useful,
|
|
|
|
|
// but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
|
|
|
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
|
|
|
// GNU General Public License for more details.
|
|
|
|
|
//
|
|
|
|
|
// You should have received a copy of the GNU General Public License
|
|
|
|
|
// along with this program. If not, see <http://www.gnu.org/licenses/>.
|
2012-08-14 18:07:04 -04:00
|
|
|
//
|
|
|
|
|
// Contact information:
|
2013-02-12 10:04:39 -05:00
|
|
|
// Quantum Leaps Web sites: http://www.quantum-leaps.com
|
|
|
|
|
// http://www.state-machine.com
|
2012-08-14 18:07:04 -04:00
|
|
|
// e-mail: info@quantum-leaps.com
|
|
|
|
|
//////////////////////////////////////////////////////////////////////////////
|
|
|
|
|
|
|
|
|
|
// the location of the IAR ARM includes (need to adjust!!!)
|
2013-02-12 10:04:39 -05:00
|
|
|
-iC:\tools\IAR\ARM_6.5\arm\inc\c
|
2012-08-14 18:07:04 -04:00
|
|
|
|
|
|
|
|
// the location of the QTools lint directory (need to adjust!!!)
|
|
|
|
|
-iC:\tools\qtools\lint
|
|
|
|
|
|
|
|
|
|
-i%QPC%\include // QP/C includes
|
|
|
|
|
-i%QPC%\ports\arm-cortex\qk\iar // QP/C port includes
|
|
|
|
|
-i..\cmsis // CMSIS directory
|
|
|
|
|
-i..\display // display driver
|
|
|
|
|
|
|
|
|
|
co-iar-arm.lnt // IAR ARM compiler
|
|
|
|
|
au-misra2.lnt // MISRA-C:2004 rules
|
|
|
|
|
au-ds.lnt // Dan Saks recommendations
|
|
|
|
|
lib-qpc.lnt // QP/C options
|
|
|
|
|
//-strong(AXJ) // Strong type checking
|
|
|
|
|
|
|
|
|
|
// library headers
|
|
|
|
|
-wlib(1) // ignore warnings from library headers
|
|
|
|
|
+libclass(angle) // consider only <...> headers as library
|
|
|
|
|
+libdir(..\cmsis)
|
|
|
|
|
+libdir(..\display)
|
|
|
|
|
//-vf // print names of all header & source files
|
|
|
|
|
|
|
|
|
|
-emacro(923, UINT2PTR_CAST) // cast from unsigned int to pointer
|
|
|
|
|
-emacro(946, PHILO_ID) // MISRA04-17.2(req), subtraction of pointers
|
|
|
|
|
-emacro(947, PHILO_ID) // MISRA04-17.2(req), subtraction of pointers
|
|
|
|
|
-emacro(960, PHILO_ID) // MISRA04-17.4(req), pointer arithmetic
|
|
|
|
|
-estring(961, // MISRA04-19.7(adv) Function-like macro
|
|
|
|
|
PHILO_ID,
|
|
|
|
|
RIGHT,
|
|
|
|
|
LEFT)
|
|
|
|
|
-emacro(717, // do ... while(0);
|
|
|
|
|
QK_ISR_ENTRY,
|
|
|
|
|
QK_ISR_EXIT)
|
|
|
|
|
|
|
|
|
|
// not referenced symbols
|
|
|
|
|
-e714 // symbol '...' not referenced
|
|
|
|
|
-e755 // global macro '...' not referenced
|
|
|
|
|
-e756 // global typedef '...' not referenced
|
|
|
|
|
-e757 // global declarator '...' not referenced
|
|
|
|
|
-e768 // struct member '...' not referenced
|
