adlint 1.0.0

data/share/sample/ctags-5.8/adlint/adlint_cinit.h

@@ -0,0 +1,219 @@
+/*     ___    ____  __    ___   _________
+ *    /   |  / _  |/ /   / / | / /__  __/          Source Code Static Analyzer
+ *   / /| | / / / / /   / /  |/ /  / /                  AdLint - Advanced Lint
+ *  / __  |/ /_/ / /___/ / /|  /  / /
+ * /_/  |_|_____/_____/_/_/ |_/  /_/  Copyright (C) 2010-2012, OGIS-RI Co.,Ltd.
+ *
+ * Initial header for GCC 4.5.1 on Linux generated by adlintize 0.6.5
+ * at 2012-02-20 11:27:29 +0900.
+ */
+
+#define __DBL_MIN_EXP__ (-1021)
+#define __pentiumpro__ 1
+#define __UINT_LEAST16_MAX__ 65535
+#define __FLT_MIN__ 1.17549435082228750797e-38F
+#define __UINT_LEAST8_TYPE__ unsigned char
+#define __INTMAX_C(c) c ## LL
+#define __CHAR_BIT__ 8
+#define __UINT8_MAX__ 255
+#define __WINT_MAX__ 4294967295U
+#define __SIZE_MAX__ 4294967295U
+#define __WCHAR_MAX__ 2147483647L
+#define __GCC_HAVE_SYNC_COMPARE_AND_SWAP_1 1
+#define __GCC_HAVE_SYNC_COMPARE_AND_SWAP_2 1
+#define __GCC_HAVE_SYNC_COMPARE_AND_SWAP_4 1
+#define __DBL_DENORM_MIN__ ((double)4.94065645841246544177e-324L)
+#define __GCC_HAVE_SYNC_COMPARE_AND_SWAP_8 1
+#define __FLT_EVAL_METHOD__ 2
+#define __unix__ 1
+#define __UINT_FAST64_MAX__ 18446744073709551615ULL
+#define __SIG_ATOMIC_TYPE__ int
+#define __DBL_MIN_10_EXP__ (-307)
+#define __FINITE_MATH_ONLY__ 0
+#define __GNUC_PATCHLEVEL__ 1
+#define __UINT_FAST8_MAX__ 255
+#define __DEC64_MAX_EXP__ 385
+#define __INT8_C(c) c
+#define __UINT_LEAST64_MAX__ 18446744073709551615ULL
+#define __SHRT_MAX__ 32767
+#define __LDBL_MAX__ 1.18973149535723176502e+4932L
+#define __UINT_LEAST8_MAX__ 255
+#define __UINTMAX_TYPE__ long long unsigned int
+#define __linux 1
+#define __DEC32_EPSILON__ 1E-6DF
+#define __unix 1
+#define __UINT32_MAX__ 4294967295U
+#define __LDBL_MAX_EXP__ 16384
+#define __WINT_MIN__ 0U
+#define __linux__ 1
+#define __SCHAR_MAX__ 127
+#define __WCHAR_MIN__ (-__WCHAR_MAX__ - 1)
+#define __INT64_C(c) c ## LL
+#define __DBL_DIG__ 15
+#define __SIZEOF_INT__ 4
+#define __SIZEOF_POINTER__ 4
+#define __USER_LABEL_PREFIX__
+#define __STDC_HOSTED__ 1
+#define __LDBL_HAS_INFINITY__ 1
+#define __FLT_EPSILON__ 1.19209289550781250000e-7F
+#define __LDBL_MIN__ 3.36210314311209350626e-4932L
+#define __DEC32_MAX__ 9.999999E96DF
+#define __INT32_MAX__ 2147483647
+#define __SIZEOF_LONG__ 4
+#define __UINT16_C(c) c
+#define __DECIMAL_DIG__ 21
+#define __gnu_linux__ 1
+#define __LDBL_HAS_QUIET_NAN__ 1
+#define __GNUC__ 4
+#define __FLT_HAS_DENORM__ 1
+#define __SIZEOF_LONG_DOUBLE__ 12
+#define __BIGGEST_ALIGNMENT__ 16
+#define __i686 1
+#define __DBL_MAX__ ((double)1.79769313486231570815e+308L)
+#define __INT_FAST32_MAX__ 2147483647
+#define __DBL_HAS_INFINITY__ 1
+#define __DEC32_MIN_EXP__ (-94)
+#define __INT_FAST16_TYPE__ int
+#define __LDBL_HAS_DENORM__ 1
+#define __DEC128_MAX__ 9.999999999999999999999999999999999E6144DL
+#define __INT_LEAST32_MAX__ 2147483647
+#define __DEC32_MIN__ 1E-95DF
+#define __DBL_MAX_EXP__ 1024
+#define __DEC128_EPSILON__ 1E-33DL
+#define __PTRDIFF_MAX__ 2147483647
+#define __LONG_LONG_MAX__ 9223372036854775807LL
+#define __SIZEOF_SIZE_T__ 4
+#define __SIZEOF_WINT_T__ 4
+#define __GXX_ABI_VERSION 1002
+#define __FLT_MIN_EXP__ (-125)
+#define __i686__ 1
+#define __INT_FAST64_TYPE__ long long int
+#define __DBL_MIN__ ((double)2.22507385850720138309e-308L)
+#define __DECIMAL_BID_FORMAT__ 1
+#define __DEC128_MIN__ 1E-6143DL
+#define __REGISTER_PREFIX__
+#define __UINT16_MAX__ 65535
+#define __DBL_HAS_DENORM__ 1
+#define __UINT8_TYPE__ unsigned char
+#define __NO_INLINE__ 1
+#define __i386 1
+#define __FLT_MANT_DIG__ 24
+#define __VERSION__ "4.5.1 20100924 (Red Hat 4.5.1-4)"
+#define __UINT64_C(c) c ## ULL
+#define __INT32_C(c) c
+#define __DEC64_EPSILON__ 1E-15DD
+#define __DEC128_MIN_EXP__ (-6142)
+#define __INT_FAST32_TYPE__ int
+#define __UINT_LEAST16_TYPE__ short unsigned int
+#define unix 1
+#define __INT16_MAX__ 32767
+#define __i386__ 1
+#define __SIZE_TYPE__ unsigned int
+#define __UINT64_MAX__ 18446744073709551615ULL
+#define __INT8_TYPE__ signed char
+#define __ELF__ 1
+#define __FLT_RADIX__ 2
+#define __INT_LEAST16_TYPE__ short int
+#define __LDBL_EPSILON__ 1.08420217248550443401e-19L
+#define __UINTMAX_C(c) c ## ULL
+#define __GNUC_RH_RELEASE__ 4
+#define __SIG_ATOMIC_MAX__ 2147483647
+#define __SIZEOF_PTRDIFF_T__ 4
+#define __DEC32_SUBNORMAL_MIN__ 0.000001E-95DF
+#define __pentiumpro 1
+#define __INT_FAST16_MAX__ 2147483647
+#define __UINT_FAST32_MAX__ 4294967295U
+#define __UINT_LEAST64_TYPE__ long long unsigned int
+#define __FLT_HAS_QUIET_NAN__ 1
+#define __FLT_MAX_10_EXP__ 38
+#define __LONG_MAX__ 2147483647L
+#define __DEC128_SUBNORMAL_MIN__ 0.000000000000000000000000000000001E-6143DL
+#define __FLT_HAS_INFINITY__ 1
+#define __UINT_FAST16_TYPE__ unsigned int
+#define __DEC64_MAX__ 9.999999999999999E384DD
+#define __CHAR16_TYPE__ short unsigned int
+#define __PRAGMA_REDEFINE_EXTNAME 1
+#define __INT_LEAST16_MAX__ 32767
+#define __DEC64_MANT_DIG__ 16
+#define __INT64_MAX__ 9223372036854775807LL
+#define __UINT_LEAST32_MAX__ 4294967295U
+#define __INT_LEAST64_TYPE__ long long int
+#define __INT16_TYPE__ short int
+#define __INT_LEAST8_TYPE__ signed char
+#define __DEC32_MAX_EXP__ 97
+#define __INT_FAST8_MAX__ 127
+#define __INTPTR_MAX__ 2147483647
+#define linux 1
+#define __LDBL_MANT_DIG__ 64
+#define __DBL_HAS_QUIET_NAN__ 1
+#define __SIG_ATOMIC_MIN__ (-__SIG_ATOMIC_MAX__ - 1)
+#define __INTPTR_TYPE__ int
+#define __UINT16_TYPE__ short unsigned int
+#define __WCHAR_TYPE__ long int
+#define __SIZEOF_FLOAT__ 4
+#define __UINTPTR_MAX__ 4294967295U
+#define __DEC64_MIN_EXP__ (-382)
+#define __INT_FAST64_MAX__ 9223372036854775807LL
+#define __FLT_DIG__ 6
+#define __UINT_FAST64_TYPE__ long long unsigned int
+#define __INT_MAX__ 2147483647
+#define __INT64_TYPE__ long long int
+#define __FLT_MAX_EXP__ 128
+#define __DBL_MANT_DIG__ 53
+#define __INT_LEAST64_MAX__ 9223372036854775807LL
+#define __DEC64_MIN__ 1E-383DD
+#define __WINT_TYPE__ unsigned int
+#define __UINT_LEAST32_TYPE__ unsigned int
+#define __SIZEOF_SHORT__ 2
+#define __LDBL_MIN_EXP__ (-16381)
+#define __INT_LEAST8_MAX__ 127
+#define __LDBL_MAX_10_EXP__ 4932
+#define __DBL_EPSILON__ ((double)2.22044604925031308085e-16L)
+#define __UINT8_C(c) c
+#define __INT_LEAST32_TYPE__ int
+#define __SIZEOF_WCHAR_T__ 4
+#define __UINT64_TYPE__ long long unsigned int
+#define __INT_FAST8_TYPE__ signed char
+#define __DEC_EVAL_METHOD__ 2
+#define __UINT32_C(c) c ## U
+#define __INTMAX_MAX__ 9223372036854775807LL
+#define __FLT_DENORM_MIN__ 1.40129846432481707092e-45F
+#define __INT8_MAX__ 127
+#define __UINT_FAST32_TYPE__ unsigned int
+#define __CHAR32_TYPE__ unsigned int
+#define __FLT_MAX__ 3.40282346638528859812e+38F
+#define __INT32_TYPE__ int
+#define __SIZEOF_DOUBLE__ 8
+#define __FLT_MIN_10_EXP__ (-37)
+#define __INTMAX_TYPE__ long long int
+#define i386 1
+#define __DEC128_MAX_EXP__ 6145
+#define __GNUC_MINOR__ 5
+#define __UINTMAX_MAX__ 18446744073709551615ULL
+#define __DEC32_MANT_DIG__ 7
+#define __DBL_MAX_10_EXP__ 308
+#define __LDBL_DENORM_MIN__ 3.64519953188247460253e-4951L
+#define __INT16_C(c) c
+#define __STDC__ 1
+#define __PTRDIFF_TYPE__ int
+#define __UINT32_TYPE__ unsigned int
+#define __UINTPTR_TYPE__ unsigned int
+#define __DEC64_SUBNORMAL_MIN__ 0.000000000000001E-383DD
+#define __DEC128_MANT_DIG__ 34
+#define __LDBL_MIN_10_EXP__ (-4931)
+#define __SIZEOF_LONG_LONG__ 8
+#define __LDBL_DIG__ 18
+#define __UINT_FAST16_MAX__ 4294967295U
+#define __GNUC_GNU_INLINE__ 1
+#define __UINT_FAST8_TYPE__ unsigned char
+
+#define __const const
+#define __restrict restrict
+#define __inline inline
+#define __builtin_va_list void *
+#define __builtin_va_start(a, b) (0)
+#define __builtin_va_end(a) (0)
+#define __builtin_va_arg(ar, t) (0)
+#define __builtin_va_copy(d, s) (0)
+#define __builtin_offsetof(type, member) (0)
+#define __alignof__(type) (0)

data/share/sample/ctags-5.8/adlint/adlint_pinit.h

@@ -0,0 +1,13 @@
+/*     ___    ____  __    ___   _________
+ *    /   |  / _  |/ /   / / | / /__  __/          Source Code Static Analyzer
+ *   / /| | / / / / /   / /  |/ /  / /                  AdLint - Advanced Lint
+ *  / __  |/ /_/ / /___/ / /|  /  / /
+ * /_/  |_|_____/_____/_/_/ |_/  /_/  Copyright (C) 2010-2012, OGIS-RI Co.,Ltd.
+ *
+ * Project specific initial header file generated by adlintize 0.6.5
+ * at 2012-02-20 11:27:29 +0900.
+ */
+
+/* Put project specific predefined macros and types here. */
+
+#define HAVE_CONFIG_H

data/share/sample/ctags-5.8/adlint/adlint_traits.yml

@@ -0,0 +1,225 @@
+#     ___    ____  __    ___   _________
+#    /   |  / _  |/ /   / / | / /__  __/           Source Code Static Analyzer
+#   / /| | / / / / /   / /  |/ /  / /                   AdLint - Advanced Lint
+#  / __  |/ /_/ / /___/ / /|  /  / /
+# /_/  |_|_____/_____/_/_/ |_/  /_/   Copyright (C) 2010-2012, OGIS-RI Co.,Ltd.
+#
+# Traits file generated by adlintize 0.6.5 at 2012-02-20 11:27:29 +0900.
+
+# Schema version of the traits file.
+# DO NOT EDIT MANUALLY!
+version: "1.0.0"
+
+#
+# Project specific traits section
+#
+project_traits:
+
+  # Project name.
+  project_name: "ctags-5.8"
+
+  # Project specific additional include paths.
+  # Ex.
+  #   include_path:
+  #     - "include/foo"
+  #     - "../include/bar"
+  #     - "/opt/baz/include"
+  include_path:
+    - "../ctags-5.8"
+
+  # Pathname of the project specific initial header file.
+  # This header file is automatically included above the first line of the
+  # target source file.
+  initial_header: "adlint_pinit.h"
+
+  #
+  # Project specific coding style section
+  #
+  coding_style:
+
+    # Indent style which is a convention governing the identation of blocks.
+    # Select from "K&R", "Allman" and "GNU".
+    #
+    # The value "K&R" means...
+    #   int foo(int i)
+    #   {
+    #       if (i == 0) {
+    #           return 0;
+    #       }
+    #       return i;
+    #   }
+    #
+    # The value "Allman" means...
+    #   int foo(int i)
+    #   {
+    #       if (i == 0)
+    #       {
+    #           return 0;
+    #       }
+    #       return i;
+    #   }
+    #
+    # The value "GNU" means...
+    #   int
+    #   foo(int i)
+    #   {
+    #     if (i == 0)
+    #       {
+    #         return 0;
+    #       }
+    #     return i;
+    #   }
+    indent_style: "K&R"
+
+    # Appearance width of a TAB character.
+    tab_width: 8
+
+    # Appearance width of 1-level of the indentation.
+    indent_width: 4
+
+  # Character encoding of source files.
+  file_encoding:
+
+#
+# Compiler specific traits section
+#
+compiler_traits:
+
+  # Pathname of the compiler specific initial header file.
+  # This header file is automatically included above the first line of the
+  # project specific initial header file.
+  initial_header: "adlint_cinit.h"
+
+  #
+  # Compiler specific standard type section
+  #
+  standard_type:
+
+    # Bit size of the `char' type family.
+    char_size: 8
+    # Bit size of the alignment of the `char' type family.
+    char_alignment: 8
+
+    # Bit size of the `short' type family.
+    short_size: 16
+    # Bit size of the alignment of the `short' type family.
+    short_alignment: 16
+
+    # Bit size of the `int' type family.
+    int_size: 32
+    # Bit size of the alignment of the `int' type family.
+    int_alignment: 32
+
+    # Bit size of the `long int' type family.
+    long_size: 32
+    # Bit size of the alignment of the `long int' type family.
+    long_alignment: 32
+
+    # Bit size of the `long long int' type family.
+    long_long_size: 64
+    # Bit size of the alignment of the `long long int' type family.
+    long_long_alignment: 64
+
+    # Bit size of the `float' type.
+    float_size: 32
+    # Bit size of the alignment of the `float' type.
+    float_alignment: 32
+
+    # Bit size of the `double' type.
+    double_size: 64
+    # Bit size of the alignment of the `double' type.
+    double_alignment: 64
+
+    # Bit size of the `long double' type.
+    long_double_size: 96
+    # Bit size of the alignment of the `long double' type.
+    long_double_alignment: 96
+
+    # Bit size of the pointer to functions.
+    code_ptr_size: 32
+    # Bit size of the alignment of the pointer to functions.
+    code_ptr_alignment: 32
+
+    # Bit size of the pointer to data.
+    data_ptr_size: 32
+    # Bit size of the alignment of the pointer to data.
+    data_ptr_alignment: 32
+
+    # Treat the `char' type as same as the `unsigned char' type?
+    char_as_unsigned_char: true
+
+  # Compiler specific include paths.
+  # Ex.
+  #   include_path:
+  #     - "/usr/include"
+  #     - "/usr/local/include"
+  include_path:
+    - "/usr/local/include"
+    - "/usr/include"
+    - "/usr/lib/gcc/i686-redhat-linux/4.5.1/include"
+
+  # Treat the `>>' operator as a logical shift, not an arithmetic shift?
+  arithmetic:
+    logical_right_shift: true
+
+  # Token substitution setting to warn the use of compiler specific extensions.
+  #
+  # If your compiler supports `__attribute__(...)' extension and you want to
+  # know the use of this extension, specify as below.
+  #   extension_substitution:
+  #     "__attribute__(__adlint__any)": ""
+  # The token sequence consists of `__attribute__', `(', any kind of tokens,
+  # `)' will be replaced with nothing (erased) after the preprocessing phase.
+  # And this substitution will be warned by the message W0061.
+  extension_substitution:
+    "__extension__": ""
+    "__attribute__(__adlint__any)": ""
+    "__inline__": "inline"
+    "__asm__ __adlint__any(__adlint__any)": ""
+
+  # Token substitution setting to silently ignore the use of compiler specific
+  # extensions.
+  #
+  # If your compiler supports `__asm__ volatile (...)' extension and you do not
+  # mind the use of this extension, specify as below.
+  #   arbitrary_substitution:
+  #     "__asm__ __adlint__any(__adlint__any)": ""
+  # The token sequence consists of `__asm__', any kind of tokens, `(', any kind
+  # of tokens, `)' will be replaced with nothing (erased) silently after the
+  # preprocessing phase.
+  arbitrary_substitution:
+    "typeof": "__typeof__"
+    "__typeof": "__typeof__"
+    "alignof": "__alignof__"
+    "__alignof": "__alignof__"
+    "__signed__": "signed"
+
+  # Max length of all symbols can be identified by the compiler.
+  identifier_max: 128
+
+#
+# Linker specific traits section
+#
+linker_traits:
+
+  # Max length of external symbols can be identified by the linker.
+  identifier_max: 128
+
+  # Are external symbols identified without case by the linker?
+  identifier_ignore_case: false
+
+#
+# Message traits section
+#
+message_traits:
+
+  # Language of the message text.
+  # Currently, "en_US" and "ja_JP" are supported.
+  # Please help to translate the message catalog into your language.
+  language: "ja_JP"
+
+  # Message text replacement.
+  # Ex.
+  #   change_list:
+  #     W9999: "Your custom message for the warning of #9999."
+  change_list:

data/share/sample/flex-2.5.35/adlint/GNUmakefile

@@ -0,0 +1,140 @@
+#     ___    ____  __    ___   _________
+#    /   |  / _  |/ /   / / | / /__  __/           Source Code Static Analyzer
+#   / /| | / / / / /   / /  |/ /  / /                   AdLint - Advanced Lint
+#  / __  |/ /_/ / /___/ / /|  /  / /
+# /_/  |_|_____/_____/_/_/ |_/  /_/   Copyright (C) 2010-2012, OGIS-RI Co.,Ltd.
+#
+# GNUmakefile generated by adlintize 0.6.5 at 2012-02-20 10:24:44 +0900.
+#
+# How...
+#   - to validate configuration files
+#     % make check
+#   - to analyze whole project with compiler like messages
+#     % make all
+#   - to do only single module analyses with compiler like messages
+#     % make sma-only
+#   - to analyze whole project with progress report
+#     % make verbose-all
+#   - to do only single module analyses with progress report
+#     % make verbose-sma-only
+#   - to do only cross module analysis with progress report
+#     % make verbose-cma-only
+#   - to analyze whole project *FAST* on 4-core processor machine
+#     % make -j 4 all
+#   - to analyze whole project *FAST* and silently with elapsed time
+#     % time make -j 4 all 2>/dev/null
+#   - to delete all result files
+#     % make clean
+#
+
+PROJECT = flex-2.5.35
+
+SOURCES = \
+  flex-2.5.35/libmain.c \
+  flex-2.5.35/libyywrap.c \
+  flex-2.5.35/dfa.c \
+  flex-2.5.35/ecs.c \
+  flex-2.5.35/scanflags.c \
+  flex-2.5.35/gen.c \
+  flex-2.5.35/main.c \
+  flex-2.5.35/misc.c \
+  flex-2.5.35/nfa.c \
+  flex-2.5.35/parse.c \
+  flex-2.5.35/scan.c \
+  flex-2.5.35/skel.c \
+  flex-2.5.35/sym.c \
+  flex-2.5.35/tblcmp.c \
+  flex-2.5.35/yylex.c \
+  flex-2.5.35/options.c \
+  flex-2.5.35/scanopt.c \
+  flex-2.5.35/buf.c \
+  flex-2.5.35/tables.c \
+  flex-2.5.35/tables_shared.c \
+  flex-2.5.35/filter.c \
+  flex-2.5.35/regex.c
+
+VPATH = ..
+VPATH_COMPONENTS = 1
+
+RUBY = ruby
+
+ADLINT = adlint
+ADLINT_FLAGS = -t adlint_traits.yml -o . -p $(VPATH_COMPONENTS)
+
+ADLINT_SMA = adlint_sma
+ADLINT_SMA_FLAGS = -t adlint_traits.yml -o . -p $(VPATH_COMPONENTS)
+
+ADLINT_CMA = adlint_cma
+ADLINT_CMA_FLAGS = -t adlint_traits.yml -o .
+
+ADLINT_CHK = adlint_chk
+ADLINT_CHK_FLAGS = -t adlint_traits.yml -o . -p $(VPATH_COMPONENTS)
+
+RM = $(RUBY) -r fileutils -e 'FileUtils.rm_f(ARGV)'
+
+VPATHED_SOURCES = $(addprefix $(VPATH)/, $(SOURCES))
+
+SMA_MSG_FILES = $(addsuffix .msg.csv, $(SOURCES))
+SMA_MET_FILES = $(addsuffix .met.csv, $(SOURCES))
+SMA_I_FILES = $(addsuffix .i, $(basename $(SOURCES)))
+SMA_LOG_FILES = $(addsuffix .log, $(SOURCES))
+
+CMA_MSG_FILE = $(PROJECT).msg.csv
+CMA_MET_FILE = $(PROJECT).met.csv
+CMA_LOG_FILE = $(PROJECT).log
+
+.SUFFIXES:
+
+%.c.msg.csv %.c.met.csv : %.c
+	$(ADLINT_SMA) $(ADLINT_SMA_FLAGS) $<
+
+$(CMA_MET_FILE) : $(SMA_MET_FILES)
+	$(ADLINT_CMA) $(ADLINT_CMA_FLAGS) $^
+
+.PHONY: adlint_sma-all
+adlint_sma-all : $(SMA_MET_FILES)
+
+.PHONY: adlint_cma-all
+adlint_cma-all : $(CMA_MET_FILE)
+
+.PHONY: adlint_chk-all
+adlint_chk-all :
+	$(ADLINT_CHK) $(ADLINT_CHK_FLAGS) -v $(VPATHED_SOURCES)
+
+.PHONY: adlint_verbose-all
+adlint_verbose-all :
+	$(ADLINT) $(ADLINT_FLAGS) -v $(VPATHED_SOURCES)
+
+.PHONY: adlint_verbose-sma-only
+adlint_verbose-sma-only :
+	$(ADLINT_SMA) $(ADLINT_SMA_FLAGS) -v $(VPATHED_SOURCES)
+
+.PHONY: adlint_verbose-cma-only
+adlint_verbose-cma-only : $(SMA_MET_FILES)
+	$(ADLINT_CMA) $(ADLINT_CMA_FLAGS) -v $^
+
+.PHONY: adlint_clean
+adlint_clean :
+	@$(RM) $(SMA_MSG_FILES) $(SMA_MET_FILES) $(SMA_I_FILES) \
+	       $(SMA_LOG_FILES) $(CMA_MSG_FILE) $(CMA_MET_FILE) $(CMA_LOG_FILE)
+
+.PHONY: all
+all : adlint_cma-all
+
+.PHONY: sma-only
+sma-only : adlint_sma-all
+
+.PHONY: verbose-all
+verbose-all : adlint_verbose-all
+
+.PHONY: verbose-sma-only
+verbose-sma-only : adlint_verbose-sma-only
+
+.PHONY: verbose-cma-only
+verbose-cma-only : adlint_verbose-cma-only
+
+.PHONY: check
+check : adlint_chk-all
+
+.PHONY: clean
+clean : adlint_clean