diff options
author | Jung-uk Kim <jkim@FreeBSD.org> | 2009-06-01 21:02:40 +0000 |
---|---|---|
committer | Jung-uk Kim <jkim@FreeBSD.org> | 2009-06-01 21:02:40 +0000 |
commit | e83ee77d7b009e11006d75946be388f7b99f9990 (patch) | |
tree | 73c1236e3073233e35dc547eb58ea55eafda9edc /generate/lint | |
parent | 7029c194b68de13ac02301d603a5e3c180d220e6 (diff) | |
download | src-e83ee77d7b009e11006d75946be388f7b99f9990.tar.gz src-e83ee77d7b009e11006d75946be388f7b99f9990.zip |
Import ACPICA 20090521 (with three patches from ACPICA GIT).vendor/acpica/20090521
Notes
Notes:
svn path=/vendor-sys/acpica/dist/; revision=193267
svn path=/vendor-sys/acpica/20090521/; revision=193271; tag=vendor/acpica/20090521
Diffstat (limited to 'generate/lint')
-rw-r--r-- | generate/lint/files.lnt | 15 | ||||
-rw-r--r-- | generate/lint/lint.bat | 16 | ||||
-rw-r--r-- | generate/lint/lset.bat | 1 | ||||
-rw-r--r-- | generate/lint/options.lnt | 79 | ||||
-rw-r--r-- | generate/lint/readme.txt | 14 | ||||
-rw-r--r-- | generate/lint/std16.lnt | 16 | ||||
-rw-r--r-- | generate/lint/std32.lnt | 14 | ||||
-rw-r--r-- | generate/lint/std64.lnt | 18 |
8 files changed, 173 insertions, 0 deletions
diff --git a/generate/lint/files.lnt b/generate/lint/files.lnt new file mode 100644 index 000000000000..ac0a36e79188 --- /dev/null +++ b/generate/lint/files.lnt @@ -0,0 +1,15 @@ +// +// Basic ACPICA components +// +..\..\source\components\debugger\*.c +..\..\source\components\disassembler\*.c +..\..\source\components\dispatcher\*.c +..\..\source\components\events\*.c +..\..\source\components\executer\*.c +..\..\source\components\hardware\*.c +..\..\source\components\namespace\*.c +..\..\source\components\parser\*.c +..\..\source\components\resources\*.c +..\..\source\components\tables\*.c +..\..\source\components\utilities\*.c + diff --git a/generate/lint/lint.bat b/generate/lint/lint.bat new file mode 100644 index 000000000000..18fde838db50 --- /dev/null +++ b/generate/lint/lint.bat @@ -0,0 +1,16 @@ +del LintOut.txt +echo Begin 64-bit lint >> LintOut.txt + +"C:\Program Files\Lint\Lint-nt" +v std64.lnt +os(LintOut.txt) files.lnt + +echo 64-bit lint completed >> LintOut.txt +echo -------------------------------------------- >> LintOut.txt +echo Begin 32-bit lint >> LintOut.txt + +"C:\Program Files\Lint\Lint-nt" +v std32.lnt +os(LintOut.txt) files.lnt + +echo 32-bit lint completed >> LintOut.txt +@echo off +echo --- +echo Output placed in LintOut.txt + diff --git a/generate/lint/lset.bat b/generate/lint/lset.bat new file mode 100644 index 000000000000..9f7de30eba05 --- /dev/null +++ b/generate/lint/lset.bat @@ -0,0 +1 @@ +set path=%PATH%;$G diff --git a/generate/lint/options.lnt b/generate/lint/options.lnt new file mode 100644 index 000000000000..ca4f90beec08 --- /dev/null +++ b/generate/lint/options.lnt @@ -0,0 +1,79 @@ +// Please note -- this is a representative set of error suppression +// options. Please adjust to suit your own policies +// See manual (chapter LIVING WITH LINT) +// for further details. + +-i"..\..\source\include" +-i"..\..\source\include\platform" + +/* Global options */ + +-A // ANSI C only ++fie // Enum is integer +-dACPI_USE_DO_WHILE_0 +-dACPI_DEBUG_OUTPUT +//-dACPI_APPLICATION +-dACPI_DEBUGGER +-dACPI_DISASSEMBLER +-dACPI_ENABLE_OBJECT_CACHE +-dACPI_DBG_TRACK_ALLOCATIONS +-dACPI_USE_LOCAL_CACHE +-dACPI_CACHE_T=ACPI_MEMORY_LIST +-d_LINT=1 + +-printf(4, AcpiUtDebugPrint, AcpiUtDebugPrintRaw) +-printf(1, AcpiOsPrintf, AcpiOsVprintf) + +/* Macro exceptions */ + +-emacro( (413), ACPI_OFFSET ) // use of NULL pointer creates a stir +-emacro( (413), ACPI_TO_INTEGER ) // use of NULL pointer creates a stir +-emacro( (413), ACPI_TO_POINTER ) // use of NULL pointer creates a stir +-emacro( (413), ACPI_ADD_PTR ) // use of NULL pointer creates a stir +-emacro( (413), ACPI_PTR_DIFF ) // use of NULL pointer creates a stir +-emacro( (413), ACPI_FADT_OFFSET ) // use of NULL pointer creates a stir +-emacro( (413), ASL_RESDESC_OFFSET ) // use of NULL pointer creates a stir + +-emacro( 826, ACPI_NEXT_RESOURCE) // Pointer cast +-emacro( 826, ACPI_MOVE_UNALIGNED16_TO_16) // Pointer cast +-emacro( 826, ACPI_MOVE_UNALIGNED16_TO_32) // Pointer cast +-emacro( 826, ACPI_MOVE_UNALIGNED32_TO_32) // Pointer cast +-emacro( 826, ACPI_MOVE_32_TO_32) // Pointer cast +-emacro( 950, ACPI_INTERNAL_VAR_XFACE) // Uses non-ANSI +-emacro( 950, ACPI_SYSTEM_XFACE) // Uses non-ANSI +-emacro( 826, ACPI_CAST_PTR) // Pointer cast +-emacro( 826, ACPI_ADD_PTR) // Pointer cast +-emacro( 826, ACPI_LODWORD) // Pointer cast +-emacro( 826, ACPI_HIDWORD) // Pointer cast + +/* Symbol exceptions */ + +-esym( 528, _AcpiModuleName) // Symbol not always used, but always present +-esym( 550, CurrentSp) // Used to track stack use +-esym( 789, CurrentSp) // Used to track stack use +-esym( 534, AcpiDmDumpName) // Return value not always used +-esym( 534, AcpiDmCommaIfListMember) // Return value not always used + +// Suppress warning about redefinition during lint of multiple modules +-esym(767,_COMPONENT) + + +/* Symbol exceptions for generation of iASL compiler */ + +-esym( 534, TrWalkParseTree) // Return value not always used +-esym( 534, AslCompilerparse) // Return value not always used +-esym( 534, OpcSetOptimalIntegerSize) // Return value not always used +-esym( 534, AslCompilererror) // Return value not always used + +/* Global exceptions */ + +-e716 // Allow while(1) +-e717 // Allow do..while(0) +-e801 // Allow judicious use of goto without incurring complaint +-e818 // Don't make suggestions about const to avoid "const" pollution +-e715 // Ignore non-referenced formal parameters +-e750 // Ignore non-referenced local macros (_MODULE_NAME, _COMPONENT, etc.) +-e834 // - followed by + is "confusing" NOT. +-e820 // Allow Boolean test of a parenthesized assignment +-e778 // Allow constant expressions to evaluate to zero +-e831
\ No newline at end of file diff --git a/generate/lint/readme.txt b/generate/lint/readme.txt new file mode 100644 index 000000000000..3f427ad6bd67 --- /dev/null +++ b/generate/lint/readme.txt @@ -0,0 +1,14 @@ + +Lint files for PC-Lint (FlexLint) by Gimpel Software, Inc. + +These are the configuration and option files used to lint the +ACPI-CA software. + +lset.bat - adds lint directory to the command line search path +lint.bat - lint batch file for 32 and 64 bit lint +std16.lnt - 16-bit options +std32.lnt - 32-bit options +std64.lnt - 64-bit options +options.lnt - common options +others - windows/dos compiler option files + diff --git a/generate/lint/std16.lnt b/generate/lint/std16.lnt new file mode 100644 index 000000000000..c3a116a6e41b --- /dev/null +++ b/generate/lint/std16.lnt @@ -0,0 +1,16 @@ +// Microsoft C and Visual C++ 4.x, -mL -si2 -spN2 -spF4, lib-win.lnt +// Standard lint options + + +c:\acpi\generate\lint\co-msc40.lnt +//c:\acpi\generate\lint\lib-win.lnt + +-dMSDOS +-dACPI_MACHINE_WIDTH=16 +//-d_MSC_VER + +-e747 // Compiler supports parameter conversions + + +options.lnt -mL -si2 -spN2 -spF4 -sl4 + diff --git a/generate/lint/std32.lnt b/generate/lint/std32.lnt new file mode 100644 index 000000000000..37e5c36be104 --- /dev/null +++ b/generate/lint/std32.lnt @@ -0,0 +1,14 @@ +// Generic Compilers, -si4 -sp4 +// Standard lint options + +-dACPI_MACHINE_WIDTH=32 +-dWIN32=1 +-d_MSC_VER=1 ++fll // enable long long ++rw(__asm) // enable in-line assembly +-esym( 950, __asm) + // Used to track stack use +-si4 -sp4 + +co.lnt +options.lnt diff --git a/generate/lint/std64.lnt b/generate/lint/std64.lnt new file mode 100644 index 000000000000..441c9756a3a1 --- /dev/null +++ b/generate/lint/std64.lnt @@ -0,0 +1,18 @@ +// Generic Compilers, -si4 -sl4 -sp8 +// Standard lint options + +-dACPI_MACHINE_WIDTH=64 + +-e747 // Compiler supports parameter conversions +-e46 // Compiler supports bitfields other than int +-d_IA64 +-dWIN64 +-d_WIN64 +-d_MAC ++fll // enable long long + +-si4 -sl4 -sp8 -sll8 + +co.lnt +options.lnt + |