/****************************************************************************** * File name : occam2c.lnt * Owner : OyT * Module Description : SPOC lint-file. * THIS IS NOT AN INDIRECT lint FILE, but a source- * level file, included in "occam2c.c". * The following files control lint: * 1. std.lnt * 2. options.lnt * 3. This file = occam2c.lnt * 4. Embedded filters directly in "occam2c.c" * 5. Embedded filters directly in "occam2c.h" * 6. Embedded filters in occam source lines * 7. Embedded filters in C source lines * Document name(s) : Undressing_spoc_output_with_pc-lint.htm * Main project name : RIFT/GL-100 (800620UN) * Sub project name : DSP CPU S.W (800821UN) * * Copyright Autronica AS 1996-97 * 7005 TRONDHEIM, NORWAY * * Ver. yy-mm-dd Author Approved Description * ---- -------- ------ -------- ---------------------------------------------- * 1.24 25Aug98 OyT First version (38 filters) * 1.24 01Dec98 OyT 528,750,754,763 not needed ******************************************************************************/ #ifndef OCCAM2C_LNT_RESTORE_F //lint -width(300,4) /*{{{ PC-lint filters "enable"*/ //lint -save -e506 ........... Constant value Boolean //lint -save -e527 ........... Unreachable //lint -save -e563 ........... Label not referenced //lint -save -e616 ........... control flows into case/default //lint -save -e713 ........... Loss of precision //lint -save -e716 ........... while(1) //lint -save -e737 ........... Loss of sign in promotion //lint -save -e740 ........... Unusual pointer cast (incompatible indirect types) //lint -save -e774 ........... Boolean within 'if' always evaluates to .. //lint -save -e782 ........... Line exceeds 600 characters //lint -save -e793 ........... ANSI limit exceeded //lint -save -esym(529,FP) ... FP not subsequently referenced //lint -save -esym(550,TMP) .. not accessed // ========================================================================== // For module wrap-up (can only be filtered automatically at lnt-file level): // -------------------------------------------------------------------------- //lint -save -esym(526,_setjmp) .. not defined //.... ..... -esym(528,.......) .. not referenced //lint -save -esym(528,) //lint -save -esym(528, MSG_AIM, MSG_ASM, MSG_ARM, MSG_CITL, MSG_EACF, MSG_EFROL) //lint -save -esym(528, MSG_ELBCF, MSG_ERCF, MSG_EUBCF) //lint -save -esym(528, MSG_I0_CODE_CKSUM_ERR, MSG_I1_CODE_CKSUM_ERR) //lint -save -esym(528, MSG_ALBUM_ERR) // m_boot1.c only //lint -save -esym(528, schedCnt, MSG_INT, MSG_SP) //lint -save -esym(528, DONE_SETERR, ALLOCVEC, ChanIn2) /*}}} */ #define OCCAM2C_LNT_USED_AVOID_e766_F 1 #endif #ifdef OCCAM2C_LNT_RESTORE_F /*{{{ PC-lint filters "disable"*/ // lint will not complain if these "restore" are not here, but it will not // unwrap to write out error messages either! // Therefore: balance the number of "restore" with number of "save"! //lint -restore //lint -restore //lint -restore //lint -restore //lint -restore //lint -restore //lint -restore //lint -restore //lint -restore //lint -restore //lint -restore //lint -restore //lint -restore //lint -restore //lint -restore //lint -restore //lint -restore //lint -restore //lint -restore //lint -restore //lint -restore /*}}} */ #endif