aboutsummaryrefslogtreecommitdiff
path: root/generate/lint
diff options
context:
space:
mode:
authorJung-uk Kim <jkim@FreeBSD.org>2009-06-01 21:02:40 +0000
committerJung-uk Kim <jkim@FreeBSD.org>2009-06-01 21:02:40 +0000
commite83ee77d7b009e11006d75946be388f7b99f9990 (patch)
tree73c1236e3073233e35dc547eb58ea55eafda9edc /generate/lint
parent7029c194b68de13ac02301d603a5e3c180d220e6 (diff)
downloadsrc-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.lnt15
-rw-r--r--generate/lint/lint.bat16
-rw-r--r--generate/lint/lset.bat1
-rw-r--r--generate/lint/options.lnt79
-rw-r--r--generate/lint/readme.txt14
-rw-r--r--generate/lint/std16.lnt16
-rw-r--r--generate/lint/std32.lnt14
-rw-r--r--generate/lint/std64.lnt18
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
+