RubyGems - adlint - Versions diffs - 2.6.14 → 3.0.0 - Mend

adlint 2.6.14 → 3.0.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (401) hide show

data/AUTHORS +1 -3
data/ChangeLog +511 -0
data/INSTALL +1 -1
data/MANIFEST +57 -37
data/NEWS +36 -7
data/README +2 -2
data/Rakefile +6 -6
data/TODO +1 -1
data/bin/adlint +25 -16
data/bin/adlint_chk +22 -12
data/bin/adlint_cma +17 -12
data/bin/adlint_sma +22 -12
data/bin/adlintize +98 -17
data/etc/conf.d/fallback/cinit.erb +1 -1
data/etc/conf.d/fallback/traits.erb +37 -37
data/etc/conf.d/i686-cygwin/cinit-gcc_4.3.4.erb +1 -1
data/etc/conf.d/i686-cygwin/traits-gcc_4.3.4.erb +41 -41
data/etc/conf.d/i686-devkit/cinit-gcc_4.5.2.erb +1 -1
data/etc/conf.d/i686-devkit/traits-gcc_4.5.2.erb +40 -40
data/etc/conf.d/i686-linux/cinit-gcc_4.5.1.erb +1 -1
data/etc/conf.d/i686-linux/traits-gcc_4.5.1.erb +40 -40
data/etc/conf.d/i686-mingw/cinit-gcc_4.6.1.erb +1 -1
data/etc/conf.d/i686-mingw/traits-gcc_4.6.1.erb +40 -40
data/etc/conf.d/noarch/GNUmakefile.erb +1 -1
data/etc/conf.d/noarch/adlint_all_bat.erb +1 -1
data/etc/conf.d/noarch/adlint_all_sh.erb +1 -1
data/etc/conf.d/noarch/pinit.erb +1 -1
data/etc/conf.d/x86_64-ubuntu_12.04/cinit-gcc_4.6.3.erb +1 -1
data/etc/conf.d/x86_64-ubuntu_12.04/traits-gcc_4.6.3.erb +42 -42
data/etc/mesg.d/c_builtin/en_US/messages.yml +33 -33
data/etc/mesg.d/c_builtin/ja_JP/messages.yml +5 -5
data/etc/mesg.d/core/en_US/messages.yml +2 -2
data/etc/mesg.d/core/ja_JP/messages.yml +2 -2
data/features/code_check/W0018.feature +197 -0
data/features/code_check/W0019.feature +79 -0
data/features/code_check/W0021.feature +81 -0
data/features/code_check/W0023.feature +203 -0
data/features/code_check/W0024.feature +226 -0
data/features/code_check/W0025.feature +5 -0
data/features/code_check/W0088.feature +2 -2
data/features/code_check/W0109.feature +2 -2
data/features/code_check/W0477.feature +0 -3
data/features/code_check/W0478.feature +0 -1
data/features/code_check/W0582.feature +3 -3
data/features/code_check/W0583.feature +4 -7
data/features/code_check/W0646.feature +0 -1
data/features/code_check/W0695.feature +0 -1
data/features/code_check/W0705.feature +8 -0
data/features/code_check/W0723.feature +0 -1
data/features/code_check/W0745.feature +1 -0
data/features/code_check/W0781.feature +1 -0
data/features/code_check/W1057.feature +141 -0
data/features/code_check/W1058.feature +93 -0
data/features/code_check/W1059.feature +86 -0
data/features/code_check/W1060.feature +77 -0
data/features/code_check/W1061.feature +143 -0
data/features/code_check/W1062.feature +162 -0
data/features/code_check/W1063.feature +123 -0
data/features/code_check/W1064.feature +83 -0
data/features/code_check/W1065.feature +82 -0
data/features/code_check/W9003.feature +2 -0
data/features/step_definitions/code_check_steps.rb +1 -0
data/features/support/env.rb +16 -13
data/lib/adlint.rb +7 -4
data/lib/adlint/analyzer.rb +131 -157
data/lib/adlint/annot.rb +149 -0
data/lib/adlint/cc1.rb +57 -0
data/lib/adlint/{c → cc1}/branch.rb +74 -62
data/lib/adlint/{c → cc1}/builtin.rb +21 -21
data/lib/adlint/{c → cc1}/const.rb +119 -117
data/lib/adlint/{c → cc1}/conv.rb +76 -78
data/lib/adlint/{c → cc1}/ctrlexpr.rb +69 -86
data/lib/adlint/cc1/domain.rb +8103 -0
data/lib/adlint/{c → cc1}/enum.rb +3 -3
data/lib/adlint/{c → cc1}/environ.rb +21 -21
data/lib/adlint/{c → cc1}/expr.rb +232 -218
data/lib/adlint/{c → cc1}/format.rb +305 -342
data/lib/adlint/{c → cc1}/interp.rb +269 -220
data/lib/adlint/cc1/lexer.rb +246 -0
data/lib/adlint/{c → cc1}/mediator.rb +78 -84
data/lib/adlint/{c → cc1}/object.rb +261 -264
data/lib/adlint/{c → cc1}/operator.rb +7 -7
data/lib/adlint/{c → cc1}/option.rb +4 -3
data/lib/adlint/{c → cc1}/parser.rb +274 -506
data/lib/adlint/{c → cc1}/parser.y +69 -301
data/lib/adlint/cc1/phase.rb +138 -0
data/lib/adlint/{c → cc1}/resolver.rb +66 -78
data/lib/adlint/{c → cc1}/scanner.rb +57 -49
data/lib/adlint/{c → cc1}/scope.rb +3 -3
data/lib/adlint/{c → cc1}/seqp.rb +13 -5
data/lib/adlint/{c → cc1}/syntax.rb +819 -1122
data/lib/adlint/{c → cc1}/type.rb +1498 -1479
data/lib/adlint/{c → cc1}/util.rb +20 -12
data/lib/adlint/{c → cc1}/value.rb +699 -642
data/lib/adlint/code.rb +163 -164
data/lib/adlint/cpp.rb +2 -2
data/lib/adlint/cpp/asm.rb +13 -14
data/lib/adlint/cpp/constexpr.rb +42 -38
data/lib/adlint/cpp/constexpr.y +44 -40
data/lib/adlint/cpp/eval.rb +435 -435
data/lib/adlint/cpp/lexer.rb +343 -340
data/lib/adlint/cpp/macro.rb +188 -190
data/lib/adlint/cpp/phase.rb +66 -45
data/lib/adlint/cpp/scanner.rb +14 -17
data/lib/adlint/cpp/source.rb +49 -55
data/lib/adlint/cpp/subst.rb +65 -65
data/lib/adlint/cpp/syntax.rb +155 -275
data/lib/adlint/cpp/util.rb +22 -19
data/lib/adlint/driver.rb +86 -93
data/lib/adlint/error.rb +33 -52
data/lib/adlint/exam.rb +158 -24
data/lib/adlint/exam/c_builtin.rb +7 -7
data/lib/adlint/exam/c_builtin/cc1_check.rb +20522 -0
data/lib/adlint/exam/c_builtin/cc1_check_shima.rb +957 -0
data/lib/adlint/exam/c_builtin/cc1_code.rb +459 -0
data/lib/adlint/exam/c_builtin/cc1_metric.rb +794 -0
data/lib/adlint/exam/c_builtin/cpp_check.rb +486 -441
data/lib/adlint/exam/c_builtin/cpp_check_shima.rb +36 -39
data/lib/adlint/exam/c_builtin/cpp_code.rb +63 -65
data/lib/adlint/exam/c_builtin/ld_check.rb +136 -129
data/lib/adlint/exam/c_builtin/ld_metric.rb +11 -11
data/lib/adlint/lang.rb +25 -25
data/lib/adlint/ld.rb +2 -2
data/lib/adlint/ld/object.rb +220 -188
data/lib/adlint/ld/phase.rb +94 -63
data/lib/adlint/ld/typedef.rb +22 -11
data/lib/adlint/ld/util.rb +43 -35
data/lib/adlint/lexer.rb +59 -56
data/lib/adlint/location.rb +140 -0
data/lib/adlint/memo.rb +157 -0
data/lib/adlint/message.rb +207 -156
data/lib/adlint/metric.rb +139 -217
data/lib/adlint/monitor.rb +45 -43
data/lib/adlint/phase.rb +56 -29
data/lib/adlint/prelude.rb +66 -54
data/lib/adlint/report.rb +253 -332
data/lib/adlint/source.rb +26 -27
data/lib/adlint/supp.rb +131 -0
data/lib/adlint/symbol.rb +14 -16
data/lib/adlint/token.rb +19 -91
data/lib/adlint/traits.rb +242 -226
data/lib/adlint/util.rb +116 -205
data/lib/adlint/version.rb +8 -8
data/share/HEADER +2 -2
data/share/doc/developers_guide_ja.html +148 -19
data/share/doc/developers_guide_ja.texi +141 -11
data/share/doc/samples/GNUmakefile +1 -1
data/share/doc/samples/adlint_traits.yml +45 -36
data/share/doc/users_guide_en.html +1321 -1252
data/share/doc/users_guide_en.texi +475 -408
data/share/doc/users_guide_ja.html +1932 -1878
data/share/doc/users_guide_ja.texi +324 -273
data/share/sample/bison-2.5/adlint/GNUmakefile +5 -1
data/share/sample/bison-2.5/adlint/adlint_traits.yml +38 -38
data/share/sample/bison-2.5/adlint/lib/GNUmakefile +1 -1
data/share/sample/bison-2.5/adlint/lib/adlint_cinit.h +1 -1
data/share/sample/bison-2.5/adlint/lib/adlint_pinit.h +1 -1
data/share/sample/bison-2.5/adlint/lib/adlint_traits.yml +50 -42
data/share/sample/bison-2.5/adlint/src/GNUmakefile +1 -1
data/share/sample/bison-2.5/adlint/src/adlint_cinit.h +1 -1
data/share/sample/bison-2.5/adlint/src/adlint_pinit.h +1 -1
data/share/sample/bison-2.5/adlint/src/adlint_traits.yml +50 -42
data/share/sample/ctags-5.8/adlint/GNUmakefile +1 -1
data/share/sample/ctags-5.8/adlint/adlint_cinit.h +1 -1
data/share/sample/ctags-5.8/adlint/adlint_pinit.h +1 -1
data/share/sample/ctags-5.8/adlint/adlint_traits.yml +50 -42
data/share/sample/flex-2.5.35/adlint/GNUmakefile +1 -1
data/share/sample/flex-2.5.35/adlint/adlint_cinit.h +1 -1
data/share/sample/flex-2.5.35/adlint/adlint_pinit.h +1 -1
data/share/sample/flex-2.5.35/adlint/adlint_traits.yml +50 -42
data/share/sample/ruby-1.9.3-p0/adlint/GNUmakefile +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/adlint_traits.yml +46 -38
data/share/sample/ruby-1.9.3-p0/adlint/core/GNUmakefile +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/core/adlint_cinit.h +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/core/adlint_pinit.h +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/core/adlint_traits.yml +50 -42
data/share/sample/ruby-1.9.3-p0/adlint/enc-trans/GNUmakefile +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/enc-trans/adlint_cinit.h +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/enc-trans/adlint_pinit.h +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/enc-trans/adlint_traits.yml +50 -42
data/share/sample/ruby-1.9.3-p0/adlint/enc/GNUmakefile +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/enc/adlint_cinit.h +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/enc/adlint_pinit.h +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/enc/adlint_traits.yml +50 -42
data/share/sample/ruby-1.9.3-p0/adlint/ext-bigdecimal/GNUmakefile +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-bigdecimal/adlint_cinit.h +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-bigdecimal/adlint_pinit.h +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-bigdecimal/adlint_traits.yml +50 -42
data/share/sample/ruby-1.9.3-p0/adlint/ext-continuation/GNUmakefile +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-continuation/adlint_cinit.h +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-continuation/adlint_pinit.h +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-continuation/adlint_traits.yml +50 -42
data/share/sample/ruby-1.9.3-p0/adlint/ext-coverage/GNUmakefile +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-coverage/adlint_cinit.h +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-coverage/adlint_pinit.h +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-coverage/adlint_traits.yml +50 -42
data/share/sample/ruby-1.9.3-p0/adlint/ext-curses/GNUmakefile +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-curses/adlint_cinit.h +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-curses/adlint_pinit.h +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-curses/adlint_traits.yml +50 -42
data/share/sample/ruby-1.9.3-p0/adlint/ext-date/GNUmakefile +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-date/adlint_cinit.h +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-date/adlint_pinit.h +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-date/adlint_traits.yml +50 -42
data/share/sample/ruby-1.9.3-p0/adlint/ext-dbm/GNUmakefile +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-dbm/adlint_cinit.h +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-dbm/adlint_pinit.h +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-dbm/adlint_traits.yml +50 -42
data/share/sample/ruby-1.9.3-p0/adlint/ext-digest-bubblebabble/GNUmakefile +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-digest-bubblebabble/adlint_cinit.h +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-digest-bubblebabble/adlint_pinit.h +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-digest-bubblebabble/adlint_traits.yml +50 -42
data/share/sample/ruby-1.9.3-p0/adlint/ext-digest-md5/GNUmakefile +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-digest-md5/adlint_cinit.h +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-digest-md5/adlint_pinit.h +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-digest-md5/adlint_traits.yml +50 -42
data/share/sample/ruby-1.9.3-p0/adlint/ext-digest-rmd160/GNUmakefile +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-digest-rmd160/adlint_cinit.h +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-digest-rmd160/adlint_pinit.h +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-digest-rmd160/adlint_traits.yml +50 -42
data/share/sample/ruby-1.9.3-p0/adlint/ext-digest-sha1/GNUmakefile +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-digest-sha1/adlint_cinit.h +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-digest-sha1/adlint_pinit.h +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-digest-sha1/adlint_traits.yml +50 -42
data/share/sample/ruby-1.9.3-p0/adlint/ext-digest-sha2/GNUmakefile +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-digest-sha2/adlint_cinit.h +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-digest-sha2/adlint_pinit.h +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-digest-sha2/adlint_traits.yml +50 -42
data/share/sample/ruby-1.9.3-p0/adlint/ext-digest/GNUmakefile +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-digest/adlint_cinit.h +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-digest/adlint_pinit.h +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-digest/adlint_traits.yml +50 -42
data/share/sample/ruby-1.9.3-p0/adlint/ext-dl-callback/GNUmakefile +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-dl-callback/adlint_cinit.h +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-dl-callback/adlint_pinit.h +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-dl-callback/adlint_traits.yml +50 -42
data/share/sample/ruby-1.9.3-p0/adlint/ext-dl/GNUmakefile +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-dl/adlint_cinit.h +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-dl/adlint_pinit.h +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-dl/adlint_traits.yml +50 -42
data/share/sample/ruby-1.9.3-p0/adlint/ext-etc/GNUmakefile +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-etc/adlint_cinit.h +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-etc/adlint_pinit.h +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-etc/adlint_traits.yml +50 -42
data/share/sample/ruby-1.9.3-p0/adlint/ext-fcntl/GNUmakefile +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-fcntl/adlint_cinit.h +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-fcntl/adlint_pinit.h +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-fcntl/adlint_traits.yml +50 -42
data/share/sample/ruby-1.9.3-p0/adlint/ext-fiber/GNUmakefile +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-fiber/adlint_cinit.h +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-fiber/adlint_pinit.h +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-fiber/adlint_traits.yml +50 -42
data/share/sample/ruby-1.9.3-p0/adlint/ext-fiddle/GNUmakefile +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-fiddle/adlint_cinit.h +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-fiddle/adlint_pinit.h +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-fiddle/adlint_traits.yml +50 -42
data/share/sample/ruby-1.9.3-p0/adlint/ext-gdbm/GNUmakefile +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-gdbm/adlint_cinit.h +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-gdbm/adlint_pinit.h +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-gdbm/adlint_traits.yml +50 -42
data/share/sample/ruby-1.9.3-p0/adlint/ext-iconv/GNUmakefile +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-iconv/adlint_cinit.h +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-iconv/adlint_pinit.h +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-iconv/adlint_traits.yml +50 -42
data/share/sample/ruby-1.9.3-p0/adlint/ext-io-console/GNUmakefile +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-io-console/adlint_cinit.h +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-io-console/adlint_pinit.h +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-io-console/adlint_traits.yml +50 -42
data/share/sample/ruby-1.9.3-p0/adlint/ext-io-nonblock/GNUmakefile +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-io-nonblock/adlint_cinit.h +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-io-nonblock/adlint_pinit.h +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-io-nonblock/adlint_traits.yml +50 -42
data/share/sample/ruby-1.9.3-p0/adlint/ext-io-wait/GNUmakefile +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-io-wait/adlint_cinit.h +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-io-wait/adlint_pinit.h +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-io-wait/adlint_traits.yml +50 -42
data/share/sample/ruby-1.9.3-p0/adlint/ext-json-generator/GNUmakefile +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-json-generator/adlint_cinit.h +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-json-generator/adlint_pinit.h +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-json-generator/adlint_traits.yml +50 -42
data/share/sample/ruby-1.9.3-p0/adlint/ext-json-parser/GNUmakefile +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-json-parser/adlint_cinit.h +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-json-parser/adlint_pinit.h +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-json-parser/adlint_traits.yml +50 -42
data/share/sample/ruby-1.9.3-p0/adlint/ext-mathn-complex/GNUmakefile +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-mathn-complex/adlint_cinit.h +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-mathn-complex/adlint_pinit.h +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-mathn-complex/adlint_traits.yml +50 -42
data/share/sample/ruby-1.9.3-p0/adlint/ext-mathn-rational/GNUmakefile +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-mathn-rational/adlint_cinit.h +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-mathn-rational/adlint_pinit.h +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-mathn-rational/adlint_traits.yml +50 -42
data/share/sample/ruby-1.9.3-p0/adlint/ext-nkf/GNUmakefile +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-nkf/adlint_cinit.h +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-nkf/adlint_pinit.h +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-nkf/adlint_traits.yml +50 -42
data/share/sample/ruby-1.9.3-p0/adlint/ext-openssl/GNUmakefile +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-openssl/adlint_cinit.h +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-openssl/adlint_pinit.h +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-openssl/adlint_traits.yml +50 -42
data/share/sample/ruby-1.9.3-p0/adlint/ext-pathname/GNUmakefile +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-pathname/adlint_cinit.h +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-pathname/adlint_pinit.h +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-pathname/adlint_traits.yml +50 -42
data/share/sample/ruby-1.9.3-p0/adlint/ext-psych/GNUmakefile +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-psych/adlint_cinit.h +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-psych/adlint_pinit.h +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-psych/adlint_traits.yml +50 -42
data/share/sample/ruby-1.9.3-p0/adlint/ext-pty/GNUmakefile +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-pty/adlint_cinit.h +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-pty/adlint_pinit.h +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-pty/adlint_traits.yml +50 -42
data/share/sample/ruby-1.9.3-p0/adlint/ext-racc-cparse/GNUmakefile +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-racc-cparse/adlint_cinit.h +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-racc-cparse/adlint_pinit.h +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-racc-cparse/adlint_traits.yml +50 -42
data/share/sample/ruby-1.9.3-p0/adlint/ext-readline/GNUmakefile +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-readline/adlint_cinit.h +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-readline/adlint_pinit.h +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-readline/adlint_traits.yml +50 -42
data/share/sample/ruby-1.9.3-p0/adlint/ext-ripper/GNUmakefile +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-ripper/adlint_cinit.h +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-ripper/adlint_pinit.h +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-ripper/adlint_traits.yml +50 -42
data/share/sample/ruby-1.9.3-p0/adlint/ext-sdbm/GNUmakefile +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-sdbm/adlint_cinit.h +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-sdbm/adlint_pinit.h +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-sdbm/adlint_traits.yml +50 -42
data/share/sample/ruby-1.9.3-p0/adlint/ext-socket/GNUmakefile +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-socket/adlint_cinit.h +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-socket/adlint_pinit.h +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-socket/adlint_traits.yml +50 -42
data/share/sample/ruby-1.9.3-p0/adlint/ext-stringio/GNUmakefile +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-stringio/adlint_cinit.h +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-stringio/adlint_pinit.h +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-stringio/adlint_traits.yml +50 -42
data/share/sample/ruby-1.9.3-p0/adlint/ext-strscan/GNUmakefile +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-strscan/adlint_cinit.h +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-strscan/adlint_pinit.h +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-strscan/adlint_traits.yml +50 -42
data/share/sample/ruby-1.9.3-p0/adlint/ext-syck/GNUmakefile +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-syck/adlint_cinit.h +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-syck/adlint_pinit.h +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-syck/adlint_traits.yml +50 -42
data/share/sample/ruby-1.9.3-p0/adlint/ext-syslog/GNUmakefile +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-syslog/adlint_cinit.h +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-syslog/adlint_pinit.h +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-syslog/adlint_traits.yml +50 -42
data/share/sample/ruby-1.9.3-p0/adlint/ext-zlib/GNUmakefile +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-zlib/adlint_cinit.h +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-zlib/adlint_pinit.h +1 -1
data/share/sample/ruby-1.9.3-p0/adlint/ext-zlib/adlint_traits.yml +50 -42
data/share/sample/screen-4.0.3/adlint/GNUmakefile +1 -1
data/share/sample/screen-4.0.3/adlint/adlint_cinit.h +1 -1
data/share/sample/screen-4.0.3/adlint/adlint_pinit.h +1 -1
data/share/sample/screen-4.0.3/adlint/adlint_traits.yml +50 -42
data/share/sample/vim-7.3/adlint/vim/GNUmakefile +1 -1
data/share/sample/vim-7.3/adlint/vim/adlint_cinit.h +1 -1
data/share/sample/vim-7.3/adlint/vim/adlint_pinit.h +1 -1
data/share/sample/vim-7.3/adlint/vim/adlint_traits.yml +50 -42
data/share/sample/vim-7.3/adlint/xxd/GNUmakefile +1 -1
data/share/sample/vim-7.3/adlint/xxd/adlint_cinit.h +1 -1
data/share/sample/vim-7.3/adlint/xxd/adlint_pinit.h +1 -1
data/share/sample/vim-7.3/adlint/xxd/adlint_traits.yml +49 -41
data/share/sample/zsh-4.3.15/adlint/GNUmakefile +1 -1
data/share/sample/zsh-4.3.15/adlint/adlint_traits.yml +46 -38
data/share/sample/zsh-4.3.15/adlint/builtins/GNUmakefile +1 -1
data/share/sample/zsh-4.3.15/adlint/builtins/adlint_cinit.h +1 -1
data/share/sample/zsh-4.3.15/adlint/builtins/adlint_pinit.h +1 -1
data/share/sample/zsh-4.3.15/adlint/builtins/adlint_traits.yml +50 -42
data/share/sample/zsh-4.3.15/adlint/core/GNUmakefile +1 -1
data/share/sample/zsh-4.3.15/adlint/core/adlint_cinit.h +1 -1
data/share/sample/zsh-4.3.15/adlint/core/adlint_pinit.h +1 -1
data/share/sample/zsh-4.3.15/adlint/core/adlint_traits.yml +50 -42
data/share/sample/zsh-4.3.15/adlint/modules/GNUmakefile +1 -1
data/share/sample/zsh-4.3.15/adlint/modules/adlint_cinit.h +1 -1
data/share/sample/zsh-4.3.15/adlint/modules/adlint_pinit.h +1 -1
data/share/sample/zsh-4.3.15/adlint/modules/adlint_traits.yml +50 -42
data/share/sample/zsh-4.3.15/adlint/zle/GNUmakefile +1 -1
data/share/sample/zsh-4.3.15/adlint/zle/adlint_cinit.h +1 -1
data/share/sample/zsh-4.3.15/adlint/zle/adlint_pinit.h +1 -1
data/share/sample/zsh-4.3.15/adlint/zle/adlint_traits.yml +50 -42
data/spec/adlint/{c → cc1}/ctrlexpr_spec.rb +51 -49
data/spec/adlint/{c → cc1}/domain_spec.rb +210 -179
data/spec/adlint/{c → cc1}/operator_spec.rb +3 -3
data/spec/adlint/{c → cc1}/syntax_spec.rb +10 -12
data/spec/adlint/{c → cc1}/type_spec.rb +61 -68
data/{lib/adlint/c.rb → spec/adlint/location_spec.rb} +24 -29
data/spec/conf.d/default_traits.yml +38 -37
data/spec/conf.d/empty_cinit.h +1 -1
data/spec/conf.d/empty_pinit.h +1 -1
data/spec/conf.d/project/foo.c +0 -0
data/spec/spec_helper.rb +2 -2
metadata +60 -40
data/lib/adlint/c/domain.rb +0 -7931
data/lib/adlint/c/lexer.rb +0 -252
data/lib/adlint/c/phase.rb +0 -135
data/lib/adlint/exam/c_builtin/c_check.rb +0 -20745
data/lib/adlint/exam/c_builtin/c_check_shima.rb +0 -983
data/lib/adlint/exam/c_builtin/c_code.rb +0 -477
data/lib/adlint/exam/c_builtin/c_metric.rb +0 -818

data/AUTHORS CHANGED Viewed

@@ -3,7 +3,7 @@
     /   |  / _  |/ /   / / | / /__  __/            Source Code Static Analyzer
    / /| | / / / / /   / /  |/ /  / /                    AdLint - Advanced Lint
   / __  |/ /_/ / /___/ / /|  /  / /
- /_/  |_|_____/_____/_/_/ |_/  /_/    Copyright (C) 2010-2012, OGIS-RI Co.,Ltd.
+ /_/  |_|_____/_____/_/_/ |_/  /_/    Copyright (C) 2010-2013, OGIS-RI Co.,Ltd.
  This file is part of AdLint.
@@ -21,7 +21,5 @@
 ++
-=== Authors
 * Yutaka Yanoh <mailto:yanoh@users.sourceforge.net>
 * Rie Shima <mailto:rkakuuchi@users.sourceforge.net>

data/ChangeLog CHANGED Viewed

@@ -1,3 +1,514 @@
+Tue Mar 26 17:01:16 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+	* release.ga : 3.0.0
+	  - Support pathname based code-exam selection.
+	  - Improve performance of code-exams.
+	  - Add ad-hoc traits schema migration for 3.0.0 release.
+	  - Support message-class based code-check selection.
+	  - Support annotation based message suppression.
+	  - Fix traits object freezing in order not to over-freeze memoizing
+	    objects.
+	  - Rename `individual_selection' item in the traits file to
+	    `individual_suppression'.
+	  - Fix sma-time annotation parser in order to correctly evaluate
+	    suppression specifiers including new-line characters.
+	  - Fix cma-time annotation parser in order to correctly evaluate
+	    suppression specifiers including new-line characters.
+	  - Fix cma-time annotation parser in order to handle the location of
+	    each annotation correctly.
+	  - Add new field indicates whether the function is declared implicitly
+	    or explicitly to DCL(F) record of the metrics file.
+	  - Fix bad output validation that lines of the analysis result is
+	    fewer than one of the specification.
+	  - Add missing function reference notification after insertion of the
+	    implicit function declaration.
+	  - Fix missing function-call notification problem of the
+	    control-breaking standard library functions such as exit(3).
+	  - Fix W1063 code check in order to warn when the function returns
+	    value of non-constant inconsistent enum-typed expression.
+	  - Fix W1062 code check in order to warn when an enum type of the rhs
+	    operand is not consistent to one of the lhs operand.
+	  - Fix W1061 code check in order to warn when an enum type of the
+	    argument expression is not consistent to one of the corresponding
+	    parameter.
+	  - Fix W0023 code check in order to warn only when the pointer operand
+	    appears in an arithmetic expressions.
+	  - Improve library interface to support concurrent analysis.
+	  - Fix missing literal_prefix of LIT record for the octal-constant.
+	  - Improve library interface not to use thread local storage in the
+	    library core.
+	  - Rename AdLint::C namespace to AdLint::Cc1 in order to distinguish
+	    `c' as a language and `cc1' as a analysis phase.
+	  - Add missing reference notification of the controlling expression
+	    value in switch-statement.
+	  - Fix fall-through logic of switch-statement in order to work
+	    correctly with consecutive case and default labels.
+	  - Fix normalized controlling-expression derivation logic of
+	    switch-statement's case and default clause in order to work
+	    correctly with consecutive case and default labels.
+	  - Fix W0003 code check not to misunderstand that the switch-statement
+	    has no default clause when the switch-statement contains
+	    consecutive case and default labels.
+	  - Fix switch-statement evaluation in order to correctly fall-through
+	    when the switch-statement has consecutive case labels.
+	  - Fix bad value domain management in order to correctly thin a value
+	    domain of the terminating execution path.
+Tue Mar 23 19:21:08 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+	* release.rc : 2.7.11
+	  - Fix bad value domain management in order to correctly thin a value
+	    domain of the terminating execution path.
+Tue Mar 22 21:19:43 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+	* lib/adlint/cc1/interp.rb : Fix bad value domain management in order
+	  to correctly thin a value domain of the terminating execution path.
+	* lib/adlint/cc1/branch.rb : Ditto.
+	* lib/adlint/cc1/option.rb : Ditto.
+	* lib/adlint/cc1/ctrlexpr.rb : Ditto.
+	* lib/adlint/cc1/value.rb : Ditto.
+Tue Mar 20 13:27:15 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+	* release.rc : 2.7.10
+	  - Fix switch-statement evaluation in order to correctly fall-through
+	    when the switch-statement has consecutive case labels.
+Tue Mar 19 16:44:41 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+	* lib/adlint/cc1/interp.rb : Fix switch-statement evaluation in order
+	  to correctly fall-through when the switch-statement has consecutive
+	  case labels.
+Tue Mar 19 11:30:46 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+	* release.rc : 2.7.9
+	  - Add missing reference notification of the controlling expression
+	    value in switch-statement.
+	  - Fix fall-through logic of switch-statement in order to work
+	    correctly with consecutive case and default labels.
+	  - Fix normalized controlling-expression derivation logic of
+	    switch-statement's case and default clause in order to work
+	    correctly with consecutive case and default labels.
+	  - Fix W0003 code check not to misunderstand that the switch-statement
+	    has no default clause when the switch-statement contains
+	    consecutive case and default labels.
+Mon Mar 18 16:05:49 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+	* lib/adlint/cc1/interp.rb : Fix fall-through logic of switch-statement
+	  in order to work correctly with consecutive case and default labels.
+	* lib/adlint/cc1/syntax.rb : Fix normalized controlling-expression
+	  derivation logic of switch-statement's case and default clause in
+	  order to work correctly with consecutive case and default labels.
+	* lib/adlint/exam/c_builtin/cc1_check.rb : Fix W0003 code check not to
+	  misunderstand that the switch-statement has no default clause when
+	  the switch-statement contains consecutive case and default labels.
+Fri Mar 15 17:40:52 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+	* lib/adlint/cc1/interp.rb : Add missing reference notification of the
+	  controlling expression value in switch-statement.
+Thu Mar 14 17:45:37 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+	* release.rc : 2.7.8
+	  - Improve library interface not to use thread local storage in the
+	    library core.
+	  - Rename AdLint::C namespace to AdLint::Cc1 in order to distinguish
+	    `c' as a language and `cc1' as a analysis phase.
+Thu Mar 14 17:43:10 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+	* lib/adlint/**/* : Rename AdLint::C namespace to AdLint::Cc1 in order
+	  to distinguish `c' as a language and `cc1' as a analysis phase.
+Tue Feb 19 14:19:46 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+	* lib/adlint/**/* : Improve library interface not to use thread local
+	  storage in the library core.
+	* bin/adlint : Ditto.
+	* bin/adlint_sma : Ditto.
+	* bin/adlint_cma : Ditto.
+	* bin/adlint_chk : Ditto.
+Tue Feb 12 17:34:51 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+	* release.rc : 2.7.7
+	  - Add missing function reference notification after insertion of the
+	    implicit function declaration.
+	  - Fix missing function-call notification problem of the
+	    control-breaking standard library functions such as exit(3).
+	  - Fix W1063 code check in order to warn when the function returns
+	    value of non-constant inconsistent enum-typed expression.
+	  - Fix W1062 code check in order to warn when an enum type of the rhs
+	    operand is not consistent to one of the lhs operand.
+	  - Fix W1061 code check in order to warn when an enum type of the
+	    argument expression is not consistent to one of the corresponding
+	    parameter.
+	  - Fix W0023 code check in order to warn only when the pointer operand
+	    appears in an arithmetic expressions.
+	  - Improve library interface to support concurrent analysis.
+	  - Fix missing literal_prefix of LIT record for the octal-constant.
+Fri Feb  8 18:41:53 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+	* lib/adlint/c/syntax.rb : Fix missing literal_prefix of LIT record for
+	  the octal-constant.
+Fri Feb  8 15:11:47 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+	* lib/adlint/**/* : Improve library interface to support concurrent
+	  analysis and refactor thoroughly.
+	* bin/adlint : Ditto.
+	* bin/adlint_sma : Ditto.
+	* bin/adlint_cma : Ditto.
+	* bin/adlint_chk : Ditto.
+Mon Feb  4 15:58:49 2013  Rie Shima  <rkakuuchi@users.sourceforge.net>
+	* features/code_check/W0023.feature : Add W0023 specification.
+	* features/code_check/W0024.feature : Add W0024 specification.
+Fri Feb  1 11:29:53 2013  Rie Shima  <rkakuuchi@users.sourceforge.net>
+	* lib/adlint/exam/c_builtin/c_check.rb : Fix W0023 code check in order
+	  to warn only when the pointer operand appears in an arithmetic
+	  expressions.
+Thu Jan 31 15:13:23 2013  Rie Shima  <rkakuuchi@users.sourceforge.net>
+	* features/code_check/W0018.feature : Add W0018 specification.
+	* features/code_check/W0019.feature : Add W0019 specification.
+	* features/code_check/W0021.feature : Add W0021 specification.
+Thu Jan 24 17:44:57 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+	* features/code_check/W1057.feature : Add W1057 specification.
+Thu Jan 24 14:56:55 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+	* features/code_check/W1058.feature : Add W1058 specification.
+Thu Jan 24 14:01:53 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+	* features/code_check/W1059.feature : Add W1059 specification.
+Thu Jan 24 13:38:43 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+	* features/code_check/W1060.feature : Add W1060 specification.
+Thu Jan 24 13:20:13 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+	* features/code_check/W1061.feature : Add W1061 specification.
+	* lib/adlint/exam/c_builtin/c_check.rb : Fix W1061 code check in order
+	  to warn when an enum type of the argument expression is not
+	  consistent to one of the corresponding parameter.
+Thu Jan 24 11:27:28 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+	* features/code_check/W1062.feature : Add W1062 specification.
+	* lib/adlint/exam/c_builtin/c_check.rb : Fix W1062 code check in order
+	  to warn when an enum type of the rhs operand is not consistent to one
+	  of the lhs operand.
+Thu Jan 24 11:00:16 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+	* etc/mesg.d/c_builtin/ja_JP/messages.yml : Clarify W1062 and W1063
+	  message text.
+	* share/doc/users_guide_ja.texi : Ditto.
+Wed Jan 23 17:25:33 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+	* lib/adlint/exam/c_builtin/c_check.rb : Fix W1063 code check in order
+	  to warn when the function returns value of non-constant inconsistent
+	  enum-typed expression.
+	* features/code_check/W1064.feature : Fix W1064 specification.
+	* features/code_check/W1063.feature : Fix W1063 specification.
+	* features/code_check/W1065.feature : Fix W1065 specification.
+Tue Jan 22 13:09:31 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+	* lib/adlint/c/expr.rb : Fix missing function-call notification problem
+	  of the control-breaking standard library functions such as exit(3).
+Tue Jan 22 11:00:13 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+	* lib/adlint/c/expr.rb : Add missing function reference notification
+	  after insertion of the implicit function declaration.
+Mon Jan 21 19:49:45 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+	* release.rc : 2.7.6
+	  - Fix sma-time annotation parser in order to correctly evaluate
+	    suppression specifiers including new-line characters.
+	  - Fix cma-time annotation parser in order to correctly evaluate
+	    suppression specifiers including new-line characters.
+	  - Fix cma-time annotation parser in order to handle the location of
+	    each annotation correctly.
+	  - Add new field indicates whether the function is declared implicitly
+	    or explicitly to DCL(F) record of the metrics file.
+	  - Fix bad output validation that lines of the analysis result is
+	    fewer than one of the specification.
+Mon Jan 21 19:45:59 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+	* lib/adlint/c/expr.rb : Correct to run on Ruby 1.9.3-p374 without
+	  warnings.
+Mon Jan 21 19:39:56 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+	* features/step_definitions/code_check_steps.rb : Fix bad output
+	  validation that lines of the analysis result is fewer than one of the
+	  specification.
+	* features/support/env.rb : Ditto.
+Mon Jan 21 18:40:33 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+	* lib/adlint/c/expr.rb : Add notification about insertion of implicit
+	  function declarations.
+	* lib/adlint/c/interp.rb : Ditto.
+	* lib/adlint/c/mediator.rb : Ditto.
+	* lib/adlint/c/object.rb : Add FunctionTable#declare_implicitly for
+	  implicit function declaration.
+	* lib/adlint/code.rb : Add new field indicates whether the function is
+	  declared implicitly or explicitly to DCL(F) record of the metrics
+	  file.
+	* lib/adlint/metric.rb : Ditto.
+	* lib/adlint/report.rb : Ditto.
+	* lib/adlint/ld/object.rb : Ditto.
+	* lib/adlint/exam/c_builtin/c_code.rb : Ditto.
+	* lib/adlint/exam/c_builtin/c_check.rb : Correct W0109 code check not
+	  to warn about function-calls of same implicitly declared function.
+	* lib/adlint/exam/c_builtin/ld_check.rb : Correct W0770 and W1037 code
+	  checks to check only about explicitly declared functions.
+Mon Jan 21 14:44:40 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+	* lib/adlint/ld/phase.rb : Fix cma-time annotation parser in order to
+	  handle the location of each annotation correctly.
+Sat Jan 19 14:56:09 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+	* lib/adlint/ld/phase.rb : Fix cma-time annotation parser in order to
+	  correctly evaluate suppression specifiers including new-line
+	  characters.
+Fri Jan 18 15:30:41 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+	* lib/adlint/annot.rb : Fix sma-time annotation parser in order to
+	  correctly evaluate suppression specifiers including new-line
+	  characters.
+Thu Jan 17 17:14:58 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+	* release.rc : 2.7.5
+	  - Rename `individual_selection' item in the traits file to
+	    `individual_suppression'.
+Thu Jan 17 16:57:27 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+	* lib/adlint/traits.rb : Rename `individual_selection' item in the
+	  traits file to `individual_suppression'.
+	* lib/adlint/cpp/phase.rb : Ditto.
+	* lib/adlint/ld/phase.rb : Ditto.
+	* bin/adlintize : Ditto.
+	* etc/conf.d/**/traits*.erb : Ditto.
+	* features/support/env.rb : Ditto.
+	* spec/conf.d/default_traits.yml : Ditto.
+Thu Jan 17 13:57:11 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+	* release.rc : 2.7.4
+	  - Fix traits object freezing in order not to over-freeze memoizing
+	    objects.
+Thu Jan 17 13:32:11 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+	* lib/adlint/traits.rb : Fix traits object freezing in order not to
+	  over-freeze memoizing objects.
+Thu Jan 17 10:46:03 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+	* release.rc : 2.7.3
+	  - Support annotation based message suppression.
+Thu Jan 17 09:25:47 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+	* lib/adlint/ld/phase.rb : Support cma-time evaluation of annotations
+	  for message suppression.
+	* lib/adlint/ld/typedef.rb : Ditto.
+	* lib/adlint/ld/object.rb : Ditto.
+	* lib/adlint/analyzer.rb : Ditto.
+Thu Jan 15 18:47:43 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+	* lib/adlint/report.rb : Simplify message output interface and support
+	  deferred message output.
+	* lib/adlint/exam.rb : Ditto.
+	* lib/adlint/driver.rb : Ditto.
+	* lib/adlint/supp.rb : Add annotation based message suppression.
+	* MANIFEST : Ditto.
+	* lib/adlint/message.rb : Bump pair of package name and message name to
+	  new MessageId object.
+	* lib/adlint/traits.rb : Ditto.
+	* lib/adlint/error.rb : Ditto.
+	* lib/adlint/exam.rb : Ditto.
+	* lib/adlint/report.rb : Ditto.
+	* lib/adlint/cpp/phase.rb : Support sma-time evaluation of annotations
+	  for message suppression.
+	* lib/adlint/analyzer.rb : Ditto.
+	* lib/adlint/exam/c_builtin/c_check.rb : Revise output method of
+	  context messages.
+	* lib/adlint/exam/c_builtin/ld_check.rb : Ditto.
+	* lib/adlint/exam.rb : Support deferred warning message output.
+	* lib/adlint/phase.rb : Ditto.
+	* lib/adlint/exam/c_builtin/cpp_check.rb : Ditto.
+Thu Jan 10 15:06:15 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+	* lib/adlint/annot.rb : Add inline annotation feature.
+	* MANIFEST : Ditto.
+Mon Jan  7 11:13:12 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+	* release.rc : 2.7.2
+	  - Support message-class based code-check selection.
+Mon Jan  7 09:35:21 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+	* lib/adlint/exam.rb : Support message-class based code-check
+	  selection.
+	* lib/adlint/phase.rb : Ditto.
+	* lib/adlint/message.rb : Ditto.
+	* lib/adlint/traits.rb : Ditto.
+Fri Dec 28 11:05:20 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+	* release.rc : 2.7.1
+	  - Add ad-hoc traits schema migration for 3.0.0 release.
+Fri Dec 28 10:58:26 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+	* bin/adlintize : Add ad-hoc traits schema migration for 3.0.0 release.
+Thu Dec 27 14:40:05 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+	* release.rc : 2.7.0
+	  - Support pathname based code-exam selection.
+	  - Improve performance of code-exams.
+Wed Dec 26 17:01:36 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+	* lib/adlint/traits.rb : Revise format of the traits file to remove
+	  `message_with_class' controls format of the message file.
+	* lib/adlint/message.rb : Ditto.
+	* etc/conf.d/**/traits*.erb : Ditto.
+	* features/support/env.rb : Ditto.
+	* spec/conf.d/default_traits.yml : Ditto.
+Wed Dec 26 14:53:47 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+	* lib/adlint/prelude.rb : Improve performance of methods of Pathname.
+Tue Dec 25 16:07:02 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+	* lib/adlint/metric.rb : Fix bad cma behavior that all locations of
+	  source files are converted into absolute pathnames not relative
+	  pathnames from cma's cwd.
+Tue Dec 25 15:26:48 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+	* lib/adlint/exam/c_builtin/c_check.rb : Fix W0117 and W0118 code check
+	  to keep existing behavior after supporting pathname based code-exam
+	  selection.
+Tue Dec 25 14:38:38 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+	* lib/adlint/cpp/util.rb : Fix bad definition of basic source character
+	  set table in order to correct W0576 code check.
+Tue Dec 25 11:00:55 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+	* lib/adlint/memo.rb : Add new file to split responsibilities for
+	  method memoization.
+	* lib/adlint/util.rb : Ditto.
+	* lib/adlint/c/syntax.rb : Fix abend problem when an array parameter
+	  declaration without identifier appears.
+	* lib/adlint/metric.rb : Fix abend problem when the working directory
+	  of cma is different with one of sma.
+	* lib/adlint/ld/object.rb : Ditto.
+	* lib/adlint/ld/typedef.rb : Ditto.
+Fri Dec 21 18:43:45 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+	* lib/adlint/location.rb : Improve performance of #in_analysis_target?
+	  predicate method.
+	* lib/adlint/util.rb : Fix Memoizable#memoize to support result caching
+	  of predicate methods ends with `?'.
+	* lib/adlint/prelude.rb : Override Pathname#realpath to cache result in
+	  order to reduce file-system access.
+Fri Dec 21 16:43:35 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+	* lib/adlint/exam.rb : Support pathname based code-exam selection.
+	* lib/adlint/exam/c_builtin/cpp_check.rb : Ditto.
+	* lib/adlint/exam/c_builtin/cpp_check_shima.rb : Ditto.
+	* lib/adlint/exam/c_builtin/cpp_code.rb : Ditto.
+	* lib/adlint/exam/c_builtin/c_check.rb : Ditto.
+	* lib/adlint/exam/c_builtin/c_check_shima.rb : Ditto.
+	* lib/adlint/exam/c_builtin/c_code.rb : Ditto.
+	* lib/adlint/exam/c_builtin/c_metric.rb : Ditto.
+	* lib/adlint/exam/c_builtin/ld_check.rb : Ditto.
+	* lib/adlint/exam/c_builtin/ld_metric.rb : Ditto.
+	* lib/adlint/cpp/syntax.rb : Add #analysis_target? predicate method to
+	  location aware entities.
+	* lib/adlint/cpp/macro.rb : Ditto.
+	* lib/adlint/c/syntax.rb : Ditto.
+	* lib/adlint/c/seqp.rb : Ditto.
+	* lib/adlint/ld/typedef.rb : Ditto.
+	* lib/adlint/ld/object.rb : Ditto.
+	* lib/adlint/location.rb : Add new file to split responsibilities for
+	  code location management.
+	* lib/adlint/token.rb : Ditto.
+	* spec/adlint/location_spec.rb : Ditto.
+	* MANIFEST : Ditto.
+	* lib/adlint/prelude.rb : Add #identical? and #under? methods to
+	  standard Pathname class.
+Tue Dec 18 19:43:46 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+	* lib/adlint/traits.rb : Revise format of the traits file to support
+	  useless warning suppression and selective code checking.
+	* lib/adlint/cpp/eval.rb : Ditto.
+	* lib/adlint/cpp/subst.rb : Ditto.
+	* lib/adlint/c/type.rb : Ditto.
+	* etc/conf.d/**/traits*.erb : Ditto.
+	* features/support/env.rb : Ditto.
+	* spec/conf.d/default_traits.yml : Ditto.
 Mon Dec 17 15:14:46 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
 	* release.ga : 2.6.14