adlint 1.16.0 → 1.18.0

data/MANIFEST

@@ -28,6 +28,7 @@ etc/conf.d/noarch/adlint_all_sh.erb
 etc/conf.d/noarch/pinit.erb
 etc/mesg.d/en_US/messages.yml
 etc/mesg.d/ja_JP/messages.yml
+features/message_detection/E0013.feature
 features/message_detection/W0001.feature
 features/message_detection/W0002.feature
 features/message_detection/W0003.feature
@@ -39,9 +40,13 @@ features/message_detection/W0104.feature
 features/message_detection/W0109.feature
 features/message_detection/W0583.feature
 features/message_detection/W0606.feature
+features/message_detection/W0641.feature
 features/message_detection/W0643.feature
+features/message_detection/W0644.feature
 features/message_detection/W0645.feature
 features/message_detection/W0646.feature
+features/message_detection/W0649.feature
+features/message_detection/W0650.feature
 features/message_detection/W0687.feature
 features/message_detection/W0688.feature
 features/message_detection/W0689.feature
@@ -54,26 +59,47 @@ features/message_detection/W0698.feature
 features/message_detection/W0699.feature
 features/message_detection/W0700.feature
 features/message_detection/W0703.feature
+features/message_detection/W0705.feature
+features/message_detection/W0707.feature
+features/message_detection/W0711.feature
+features/message_detection/W0712.feature
+features/message_detection/W0713.feature
+features/message_detection/W0714.feature
+features/message_detection/W0715.feature
 features/message_detection/W0716.feature
 features/message_detection/W0717.feature
 features/message_detection/W0718.feature
+features/message_detection/W0719.feature
 features/message_detection/W0723.feature
 features/message_detection/W0732.feature
 features/message_detection/W0733.feature
 features/message_detection/W0734.feature
 features/message_detection/W0735.feature
+features/message_detection/W0745.feature
+features/message_detection/W0780.feature
+features/message_detection/W0783.feature
+features/message_detection/W0792.feature
+features/message_detection/W0793.feature
+features/message_detection/W0794.feature
 features/message_detection/W0805.feature
 features/message_detection/W0811.feature
+features/message_detection/W0830.feature
+features/message_detection/W0833.feature
+features/message_detection/W0834.feature
+features/message_detection/W1026.feature
 features/message_detection/W1031.feature
+features/message_detection/W1039.feature
 features/message_detection/W1040.feature
 features/message_detection/W1041.feature
 features/message_detection/W1046.feature
+features/message_detection/W1047.feature
 features/message_detection/W1052.feature
 features/message_detection/W1066.feature
 features/message_detection/W1067.feature
 features/message_detection/W1068.feature
 features/message_detection/W1069.feature
 features/message_detection/W1070.feature
+features/message_detection/W1071.feature
 features/message_detection/W1072.feature
 features/message_detection/W1073.feature
 features/message_detection/W1074.feature
@@ -107,8 +133,8 @@ lib/adlint/c/metric.rb
 lib/adlint/c/object.rb
 lib/adlint/c/operator.rb
 lib/adlint/c/option.rb
-lib/adlint/c/parser.y
 lib/adlint/c/parser.rb
+lib/adlint/c/parser.y
 lib/adlint/c/phase.rb
 lib/adlint/c/resolver.rb
 lib/adlint/c/scanner.rb
@@ -122,8 +148,8 @@ lib/adlint/code.rb
 lib/adlint/cpp.rb
 lib/adlint/cpp/asm.rb
 lib/adlint/cpp/code.rb
-lib/adlint/cpp/constexpr.y
 lib/adlint/cpp/constexpr.rb
+lib/adlint/cpp/constexpr.y
 lib/adlint/cpp/eval.rb
 lib/adlint/cpp/lexer.rb
 lib/adlint/cpp/macro.rb
@@ -172,6 +198,7 @@ share/demo/bad_const/bad_const.c
 share/demo/bad_conv/bad_conv.c
 share/demo/bad_enum/bad_enum.c
 share/demo/bad_include/bad_include.c
+share/demo/bad_include/test"1".h
 share/demo/bad_include/test'1'.h
 share/demo/bad_include/test'2'.h
 share/demo/bad_indent/bad_indent.c
@@ -258,8 +285,8 @@ share/demo/should_be_typedef/should_be_typedef.c
 share/demo/static_paths/static_paths.c
 share/demo/static_vars/static_vars.c
 share/demo/tag_hiding/tag_hiding.c
-share/demo/typedef_each_src/typedef_each_src.c
 share/demo/tricky_incdec/tricky_incdec.c
+share/demo/typedef_each_src/typedef_each_src.c
 share/demo/undefined_macro/undefined_macro.c
 share/demo/uninit_vars/uninit_vars.c
 share/demo/union_type/union_type.c
@@ -297,16 +324,16 @@ share/doc/adlint_on_eclipse_en.png
 share/doc/adlint_on_eclipse_ja.png
 share/doc/adlint_on_vim_en.png
 share/doc/adlint_on_vim_ja.png
-share/doc/developers_guide_ja.texi
 share/doc/developers_guide_ja.html
+share/doc/developers_guide_ja.texi
 share/doc/gen_mesg_sections.rb
 share/doc/samples/GNUmakefile
 share/doc/samples/adlint_traits.yml
 share/doc/texinfo.css
-share/doc/users_guide_en.texi
 share/doc/users_guide_en.html
-share/doc/users_guide_ja.texi
+share/doc/users_guide_en.texi
 share/doc/users_guide_ja.html
+share/doc/users_guide_ja.texi
 share/logo/adlint-110.png
 share/logo/adlint-524.png
 share/logo/adlint.svg
@@ -541,12 +568,12 @@ share/sample/zsh-4.3.15/adlint/zle/GNUmakefile
 share/sample/zsh-4.3.15/adlint/zle/adlint_cinit.h
 share/sample/zsh-4.3.15/adlint/zle/adlint_pinit.h
 share/sample/zsh-4.3.15/adlint/zle/adlint_traits.yml
-spec/spec_helper.rb
 spec/adlint/c/ctrlexpr_spec.rb
 spec/adlint/c/domain_spec.rb
 spec/adlint/c/operator_spec.rb
 spec/adlint/c/syntax_spec.rb
 spec/adlint/c/type_spec.rb
+spec/conf.d/default_traits.yml
 spec/conf.d/empty_cinit.h
 spec/conf.d/empty_pinit.h
-spec/conf.d/default_traits.yml
+spec/spec_helper.rb

data/NEWS

@@ -21,6 +21,56 @@
 
 ++
 
+=== \AdLint 1.18.0 is released (2012-08-01)
+
+==== Changes since the 1.16.0 release
+
+* Add W0641 detection
+* Add W0644 detection
+* Add W0649 detection
+* Add W0650 detection
+* Add W0707 detection
+* Add W0719 detection
+* Add W0780 detection
+* Add W0783 detection
+* Add W0792 detection
+* Add W0793 detection
+* Add W0794 detection
+* Add W0830 detection
+* Add W0833 detection
+* Add W0834 detection
+* Add W1026 detection
+* Add W1039 detection
+* Add W1047 detection
+* Add W1071 detection
+* Fix W0459 detection to output outermost variable name when the uninitialized
+  variable is an array element or a member of struct or union
+* Fix W0705 and W0745 detections to warn about not only
+  array-subscript-expressions but also indirection-expressions only when the
+  subscript is constant
+* Revise expression evaluation not to give up when a operand is typed as `void'
+* Revise arithmetic type resolution not to abort when one type is `void'
+* Fix declarator evaluation in order to construct a function object which
+  returns a function pointer correctly when the function-definition written
+  without typedefed function pointer
+* Implement missing semantics of union object initialization
+* Revise function-like macro replacement in order to evaluate `#' operator
+  makes an empty string-literal when the parameter corresponding to the operand
+  has no argument
+* Fix bad sequence-point timing of logical-and-expression and
+  logical-or-expression
+* Add extra notification of variable value reference in evaluation of
+  cast-expression in order not to misunderstand that a return value of a
+  function is discarded when the return value is casted before assigning to a
+  variable
+* Fix evaluation of prefix-increment-expression and prefix-decrement-expression
+  to make rvalue of the new incremented or decremented value in order to comply
+  with the ISO C99 standard
+
+See the file
+{ChangeLog}[http://adlint.sourceforge.net/pmwiki/upload.d/Main/ChangeLog]
+for more details.
+
 === \AdLint 1.16.0 is released (2012-07-18)
 
 ==== Changes since the 1.14.0 release
@@ -47,10 +97,6 @@
 * Add missing notification of variable value reference in comparison
   expressions
 
-See the file
-{ChangeLog}[http://adlint.sourceforge.net/pmwiki/upload.d/Main/ChangeLog]
-for more details.
-
 === \AdLint 1.14.0 is released (2012-07-04)
 
 ==== Changes since the 1.12.0 release

data/bin/adlint

@@ -45,9 +45,9 @@ $:.unshift($libdir.to_s)
 
 require "adlint"
 
-ADLINT_VERSION = "AdLint all in one analyzer #{AdLint::VERSION}"
+$version = "AdLint all in one analyzer #{AdLint::VERSION}"
 
-USAGE = <<EOS
+$usage = <<EOS
 Usage: adlint [options] [source-file...]
 Options:
   -t FILE, --traits FILE         Use FILE as traits file (mandatory)
@@ -95,7 +95,7 @@ begin
     when "--verbose"
       verbose = true
     when "--version"
-      puts ADLINT_VERSION, AdLint::AUTHOR
+      puts $version, AdLint::AUTHOR
       exit 0
     when "--copyright"
       puts AdLint::COPYRIGHT
@@ -104,12 +104,12 @@ begin
       puts $prefix
       exit 0
     when "--help"
-      puts USAGE
+      puts $usage
       exit 0
     end
   end
 rescue
-  $stderr.puts USAGE
+  $stderr.puts $usage
   exit 1
 end
 
@@ -121,13 +121,13 @@ end
 
 if fpaths.empty?
   $stderr.puts "#{File.basename(__FILE__)}: no input files"
-  $stderr.puts USAGE
+  $stderr.puts $usage
   exit 1
 end
 
 unless traits_fpath
   $stderr.puts "#{File.basename(__FILE__)}: no traits file"
-  $stderr.puts USAGE
+  $stderr.puts $usage
   exit 1
 end
 

data/bin/adlint_chk

@@ -45,9 +45,9 @@ $:.unshift($libdir.to_s)
 
 require "adlint"
 
-VERSION = "AdLint configuration validator #{AdLint::VERSION}"
+$version = "AdLint configuration validator #{AdLint::VERSION}"
 
-USAGE = <<EOS
+$usage = <<EOS
 Usage: adlint_chk [options] source-file...
 Options:
   -t FILE, --traits FILE         Use FILE as traits file (mandatory)
@@ -90,7 +90,7 @@ begin
     when "--verbose"
       verbose = true
     when "--version"
-      puts VERSION, AdLint::AUTHOR
+      puts $version, AdLint::AUTHOR
       exit 0
     when "--copyright"
       puts AdLint::COPYRIGHT
@@ -99,12 +99,12 @@ begin
       puts $prefix
       exit 0
     when "--help"
-      puts USAGE
+      puts $usage
       exit 0
     end
   end
 rescue
-  $stderr.puts USAGE
+  $stderr.puts $usage
   exit 1
 end
 
@@ -112,13 +112,13 @@ fpaths = ARGV.map { |str| Pathname.new(str) }
 
 if fpaths.empty?
   $stderr.puts "#{File.basename(__FILE__)}: no input files"
-  $stderr.puts USAGE
+  $stderr.puts $usage
   exit 1
 end
 
 unless traits_fpath
   $stderr.puts "#{File.basename(__FILE__)}: no traits file"
-  $stderr.puts USAGE
+  $stderr.puts $usage
   exit 1
 end
 

data/bin/adlint_cma

@@ -45,9 +45,9 @@ $:.unshift($libdir.to_s)
 
 require "adlint"
 
-ADLINT_VERSION = "AdLint cross module analyzer #{AdLint::VERSION}"
+$version = "AdLint cross module analyzer #{AdLint::VERSION}"
 
-USAGE = <<EOS
+$usage = <<EOS
 Usage: adlint_cma [options] sma-metric-file...
 Options:
   -t FILE, --traits FILE         Use FILE as traits file (mandatory)
@@ -83,7 +83,7 @@ begin
     when "--verbose"
       verbose = true
     when "--version"
-      puts ADLINT_VERSION, AdLint::AUTHOR
+      puts $version, AdLint::AUTHOR
       exit 0
     when "--copyright"
       puts AdLint::COPYRIGHT
@@ -92,12 +92,12 @@ begin
       puts $prefix
       exit 0
     when "--help"
-      puts USAGE
+      puts $usage
       exit 0
     end
   end
 rescue
-  $stderr.puts USAGE
+  $stderr.puts $usage
   exit 1
 end
 
@@ -105,13 +105,13 @@ fpaths = ARGV.map { |str| Pathname.new(str) }
 
 if fpaths.empty?
   $stderr.puts "#{File.basename(__FILE__)}: no input files"
-  $stderr.puts USAGE
+  $stderr.puts $usage
   exit 1
 end
 
 unless traits_fpath
   $stderr.puts "#{File.basename(__FILE__)}: no traits file"
-  $stderr.puts USAGE
+  $stderr.puts $usage
   exit 1
 end
 

data/bin/adlint_sma

@@ -45,9 +45,9 @@ $:.unshift($libdir.to_s)
 
 require "adlint"
 
-ADLINT_VERSION = "AdLint single module analyzer #{AdLint::VERSION}"
+$version = "AdLint single module analyzer #{AdLint::VERSION}"
 
-USAGE = <<EOS
+$usage = <<EOS
 Usage: adlint_sma [options] source-file...
 Options:
   -t FILE, --traits FILE         Use FILE as traits file (mandatory)
@@ -90,7 +90,7 @@ begin
     when "--verbose"
       verbose = true
     when "--version"
-      puts ADLINT_VERSION, AdLint::AUTHOR
+      puts $version, AdLint::AUTHOR
       exit 0
     when "--copyright"
       puts AdLint::COPYRIGHT
@@ -99,12 +99,12 @@ begin
       puts $prefix
       exit 0
     when "--help"
-      puts USAGE
+      puts $usage
       exit 0
     end
   end
 rescue
-  $stderr.puts USAGE
+  $stderr.puts $usage
   exit 1
 end
 
@@ -112,13 +112,13 @@ fpaths = ARGV.map { |str| Pathname.new(str) }
 
 if fpaths.empty?
   $stderr.puts "#{File.basename(__FILE__)}: no input files"
-  $stderr.puts USAGE
+  $stderr.puts $usage
   exit 1
 end
 
 unless traits_fpath
   $stderr.puts "#{File.basename(__FILE__)}: no traits file"
-  $stderr.puts USAGE
+  $stderr.puts $usage
   exit 1
 end
 

data/bin/adlintize

@@ -42,9 +42,9 @@ $:.unshift($libdir.to_s)
 
 require "adlint"
 
-ADLINT_VERSION = "AdLint project generator #{AdLint::VERSION}"
+$version = "AdLint project generator #{AdLint::VERSION}"
 
-USAGE = <<EOS
+$usage = <<EOS
 Usage: adlintize [options] [project-name]
 Options:
   -t FILE, --traits FILE         Write traits to FILE
@@ -142,7 +142,7 @@ begin
     when "--force"
       force_overwrite = true
     when "--version"
-      puts ADLINT_VERSION, AdLint::AUTHOR
+      puts $version, AdLint::AUTHOR
       exit 0
     when "--copyright"
       puts AdLint::COPYRIGHT
@@ -151,12 +151,12 @@ begin
       puts $prefix
       exit 0
     when "--help"
-      puts USAGE
+      puts $usage
       exit 0
     end
   end
 rescue
-  $stderr.puts USAGE
+  $stderr.puts $usage
   exit 1
 end