00001 /****************************** -*- mode: C -*- ******************************/ 00014 #ifndef C4E_LINT_H 00015 #define C4E_LINT_H 00016 00017 00018 /* INCLUDES ******************************************************************/ 00019 00020 #include "c4e_arch.h" 00021 00022 00023 #ifdef __cplusplus 00024 extern "C" { 00025 #endif 00026 00027 00028 #if (C4E_ARCH_DIGIT_SIZE != C4E_ARCH_UINT_SIZE) 00029 /*lint -e701 Shift left of signed quantity (int) */ 00030 /*lint -e734 Loss of precision (Context) (Integer bits to Integer bits) */ 00031 /*lint -e845 The [left/right] argument to operator 'Name' is certain to be 0 */ 00032 #endif 00033 00034 #if (C4E_ARCH_DIGIT_SIZE > 4U) 00035 /*lint -emacro(929,C4E_ALGO32_CAST_UINT) safe because cast to smaller type */ 00036 /*lint -emacro(740,C4E_ALGO32_CAST_UINT) safe because cast to smaller type */ 00037 #endif 00038 00039 /*lint -strong(AB,C4eSysBool) */ 00040 /*lint -emacro(506,C4E_ASSERT) argument possibly is a constant boolean value */ 00041 /*lint -emacro(944,C4E_ASSERT,C4E_ELEM_ASSERT_IN) argument always evaluates to True/False is okay */ 00042 /*lint -emacro(948,C4E_ELEM_ASSERT_IN) always evaluates to True/False is okay */ 00043 /*lint -emacro(960,C4E_ECGF2N_ASSERT_IN) c4e_ecgf2n_validate() has no side effects */ 00044 /*lint -emacro(845,C4E_ALGO32_INIT,C4E_ALGO32_BYTE) */ 00045 /*lint -emacro(572,C4E_ALGO32_BYTE) excessive shift value is okay here */ 00046 /*lint -emacro(960,C4E_SYS_CAST) cast of complex expression changes signedness */ 00047 /*lint -emacro(926,C4E_SYS_CAST_UINT8PTR) a char to char cast is safe */ 00048 /*lint -emacro(928,C4E_SYS_CAST_UINT8PTR) this is a safe cast to char ptr */ 00049 /*lint -sem(c4e_bigint_cmp,pure) -esym(453,c4e_bigint_cmp) has no side effects */ 00050 /*lint -sem(c4e_ecgf2n_validate,pure) -esym(453,c4e_ecgf2n_validate) has no side effects */ 00051 /*lint -sem(c4e_poly_cmp,pure) -esym(453,c4e_poly_cmp) has no side effects */ 00052 /*lint -sem(c4e_elem_bits,pure) -esym(453,c4e_elem_bits) has no side effects */ 00053 /*lint -sem(memcmp,pure) -esym(453,memcmp) has no side effects */ 00054 00055 00056 00057 /* DEFINES *******************************************************************/ 00058 00059 #define C4E_LINT 1 00062 /* MACROS ********************************************************************/ 00063 00064 00065 /* PROTOTYPES ****************************************************************/ 00066 00067 00068 #ifdef __cplusplus 00069 } 00070 #endif 00071 00072 00073 00074 #endif /* C4E_SYS_H */ 00075 00076 00077 /*****************************************************************************/ 00078 /* END OF FILE */ 00079 /*****************************************************************************/