adlint 1.8.0 → 1.8.2

data/ChangeLog

@@ -1,3 +1,23 @@
+Mon May  7 22:56:02 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* release.ga : 1.8.2
+	  - Fix evaluation of array-subscript-expression not to convert the
+	    derived array object into a pointer in order to resolve a type of
+	    the nested array-subscript-expression correctly.
+
+Sat May  5 02:50:24 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* release.rc : 1.8.1
+	  - This is RC for the 1st patch release of the 1.8 series.
+	  - Fix evaluation of array-subscript-expression not to convert the
+	    derived array object into a pointer in order to resolve a type of
+	    the nested array-subscript-expression correctly.
+
+Fri May  4 20:59:19 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* lib/adlint/c/expr.rb : Fix evaluation of array-subscript-expression
+	  not to convert the derived array object into a pointer variable.
+
 Fri Apr 27 17:29:22 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
 
 	* release.ga : 1.8.0
@@ -15,7 +35,7 @@ Fri Apr 27 17:29:22 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
 	  - Add W0715 detection.
 	  - Add W0832 detection.
 	  - Fix W0629 detection not to warn when the translation-unit local
-	    function is referred to derive a pointer to the function.
+	    function is referred only to derive a pointer to the function.
 	  - Fix W0459 and W0460 detections not to warn about inner variables
 	    owned by a temporary variable.
 	  - Fix W0461 and W0462 detections not to warn when the length omitted

data/NEWS

@@ -21,6 +21,18 @@
 
 ++
 
+=== \AdLint 1.8.2 is released (2012-05-08)
+
+==== Changes since the 1.8.0 release
+
+* Fix evaluation of array-subscript-expression not to convert the derived array
+  object into a pointer in order to resolve a type of the nested
+  array-subscript-expression correctly
+
+See the file
+{ChangeLog}[http://adlint.sourceforge.net/pmwiki/upload.d/Main/ChangeLog]
+for more details.
+
 === \AdLint 1.8.0 is released (2012-04-27)
 
 ==== Changes since the 1.6.0 release
@@ -43,7 +55,7 @@
 * Fix W0459 and W0460 detections not to warn about inner variables owned by a
   temporary variable
 * Fix W0461 and W0462 detections not to warn when the length omitted array
-  parameter is specified as an argument.
+  parameter is specified as an argument
 * Fix W1031 detection not to warn when the storage-class-specifier of the
   object declaration is explicitly specified and the storage-class-specifier of
   following object definition is omitted
@@ -61,10 +73,6 @@
   measurement
 * Improve value version management of the abstract interpreter
 
-See the file
-{ChangeLog}[http://adlint.sourceforge.net/pmwiki/upload.d/Main/ChangeLog]
-for more details.
-
 === \AdLint 1.6.0 is released (2012-04-06)
 
 ==== Changes since the 1.4.0 release

data/etc/mesg.d/en_US/messages.yml

@@ -36,7 +36,7 @@
 #     X9999: "Your custom message for the fatal error of #9999."
 #     E9999: "Your custom message for the error of #9999."
 
-version: "1.8.0"
+version: "1.8.2"
 
 message_definition:
   X0001: "An unknown exception `%s' is found."

data/etc/mesg.d/ja_JP/messages.yml

@@ -36,7 +36,7 @@
 #     X9999: "Your custom message for the fatal error of #9999."
 #     E9999: "Your custom message for the error of #9999."
 
-version: "1.8.0"
+version: "1.8.2"
 
 message_definition:
   X0001: "不明な例外条件 `%s' を検出しました。"

data/lib/adlint/c/expr.rb

@@ -75,9 +75,7 @@ module C #:nodoc:
       end
 
       array_or_pointer = object
-
       result_type = array_or_pointer.type.unqualify.base_type
-      result_type = pointer_type(result_type) if result_type.array?
 
       case
       when array_or_pointer.type.array?

data/lib/adlint/c/parser.rb

@@ -26,7 +26,7 @@ def initialize(context, lexer)
   @lexer = lexer
   @symbol_table = context[:symbol_table]
   @token_array = []
-  @unnamed_type_no = 0
+  @unnamed_tag_no = 0
 end
 
 attr_reader :token_array
@@ -71,7 +71,7 @@ def value_of(token)
 end
 
 def create_unnamed_tag_name(base_token)
-  Token.new(:IDENTIFIER, "__adlint__unnamed_#{@unnamed_type_no += 1}",
+  Token.new(:IDENTIFIER, "__adlint__unnamed_#{@unnamed_tag_no += 1}",
             base_token.location)
 end
 

data/lib/adlint/c/parser.y

@@ -2034,7 +2034,7 @@ def initialize(context, lexer)
   @lexer = lexer
   @symbol_table = context[:symbol_table]
   @token_array = []
-  @unnamed_type_no = 0
+  @unnamed_tag_no = 0
 end
 
 attr_reader :token_array
@@ -2079,7 +2079,7 @@ def value_of(token)
 end
 
 def create_unnamed_tag_name(base_token)
-  Token.new(:IDENTIFIER, "__adlint__unnamed_#{@unnamed_type_no += 1}",
+  Token.new(:IDENTIFIER, "__adlint__unnamed_#{@unnamed_tag_no += 1}",
             base_token.location)
 end
 

data/lib/adlint/version.rb

@@ -33,8 +33,8 @@ module AdLint #:nodoc:
 
   MAJOR_VERSION = 1
   MINOR_VERSION = 8
-  PATCH_VERSION = 0
-  RELEASE_DATE  = "2012-04-27"
+  PATCH_VERSION = 2
+  RELEASE_DATE  = "2012-05-08"
 
   TRAITS_SCHEMA_VERSION = "1.0.0"
 

data/share/demo/array_range/array_range.c

@@ -49,7 +49,7 @@ static int foo(const int i)
 
     for (j = 0; j != 10; j++) {
         array[j] = 0;
-        array[j + 1] = 0;
+        array[j + 1] = 0; /* ADLINT::[-W0723] */
         if (j == 10) {
             break;
         }

data/share/demo/indirect_recur/indirect_recur_1.c

@@ -10,5 +10,5 @@ static int foo(void)
 
 int func_1(const int i)
 {
-    return func_2(g + i + foo());
+    return func_2(g + i + foo()); /* ADLINT::[-W0723] */
 }

data/share/demo/indirect_recur/indirect_recur_2.c

@@ -3,10 +3,10 @@
 static int foo(const int i)
 {
     extern int func_1(const int);
-    return func_3(i + 1) + func_1(i + 1);
+    return func_3(i + 1) + func_1(i + 1); /* ADLINT::[-W0723] */
 }
 
 int func_2(const int i)
 {
-    return foo(i + 1);
+    return foo(i + 1); /* ADLINT::[-W0723] */
 }

data/share/demo/indirect_recur/indirect_recur_3.c

@@ -2,5 +2,5 @@
 
 int func_3(const int i)
 {
-    return func_1(i + 1);
+    return func_1(i + 1); /* ADLINT::[-W0723] */
 }

data/share/demo/useless_funs/useless_funs_1.c

@@ -7,15 +7,25 @@ int foo(void)
 
 int bar(const int i) /* no caller of bar() in this project */
 {
-    return i + 1;
+    if (i < 100) {
+        return i + 1;
+    }
+    else {
+        return 0;
+    }
 }
 
 int baz(const int i) /* no caller of baz() in this project */
 {
-    return i * 2;
+    if (i < 100) {
+        return i + 2;
+    }
+    else {
+        return 1;
+    }
 }
 
 static int qux(void) /* no caller of qux() in this translation unit */
 {
-    return 1;
+    return 2;
 }

data/share/doc/developers_guide_ja.html

@@ -1,8 +1,8 @@
 <html lang="ja">
 <head>
-<title>AdLint 1.8.0 開発者ガイド</title>
+<title>AdLint 1.8.2 開発者ガイド</title>
 <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
-<meta name="description" content="AdLint 1.8.0 開発者ガイド">
+<meta name="description" content="AdLint 1.8.2 開発者ガイド">
 <meta name="generator" content="makeinfo 4.13">
 <link title="Top" rel="top" href="#Top">
 <link href="http://www.gnu.org/software/texinfo/" rel="generator-home" title="Texinfo Homepage">
@@ -44,7 +44,7 @@ td { border: 1px solid black; }
 --></style>
 </head>
 <body>
-<h1 class="settitle">AdLint 1.8.0 開発者ガイド</h1>
+<h1 class="settitle">AdLint 1.8.2 開発者ガイド</h1>
 <div class="contents">
 <h2>Table of Contents</h2>
 <ul>

data/share/doc/developers_guide_ja.texi

@@ -2,7 +2,7 @@
 @setfilename developers_guide_ja.info
 @documentlanguage ja
 @documentencoding utf-8
-@settitle AdLint 1.8.0 開発者ガイド
+@settitle AdLint 1.8.2 開発者ガイド
 
 @copying
 Copyright (C) 2010-2012, OGIS-RI Co.,Ltd.

data/share/doc/users_guide_en.html

@@ -1,8 +1,8 @@
 <html lang="en">
 <head>
-<title>AdLint 1.8.0 User's Guide</title>
+<title>AdLint 1.8.2 User's Guide</title>
 <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
-<meta name="description" content="AdLint 1.8.0 User's Guide">
+<meta name="description" content="AdLint 1.8.2 User's Guide">
 <meta name="generator" content="makeinfo 4.13">
 <link title="Top" rel="top" href="#Top">
 <link href="http://www.gnu.org/software/texinfo/" rel="generator-home" title="Texinfo Homepage">
@@ -44,7 +44,7 @@ td { border: 1px solid black; }
 --></style>
 </head>
 <body>
-<h1 class="settitle">AdLint 1.8.0 User's Guide</h1>
+<h1 class="settitle">AdLint 1.8.2 User's Guide</h1>
 <div class="node">
 <a name="Top"></a>
 <p><hr>

data/share/doc/users_guide_en.texi

@@ -2,7 +2,7 @@
 @setfilename users_guide_en.info
 @documentlanguage en
 @documentencoding utf-8
-@settitle AdLint 1.8.0 User's Guide
+@settitle AdLint 1.8.2 User's Guide
 
 @copying
 Copyright (C) 2010-2012, OGIS-RI Co.,Ltd.

data/share/doc/users_guide_ja.html

@@ -1,8 +1,8 @@
 <html lang="ja">
 <head>
-<title>AdLint 1.8.0 利用者ガイド</title>
+<title>AdLint 1.8.2 利用者ガイド</title>
 <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
-<meta name="description" content="AdLint 1.8.0 利用者ガイド">
+<meta name="description" content="AdLint 1.8.2 利用者ガイド">
 <meta name="generator" content="makeinfo 4.13">
 <link title="Top" rel="top" href="#Top">
 <link href="http://www.gnu.org/software/texinfo/" rel="generator-home" title="Texinfo Homepage">
@@ -44,7 +44,7 @@ td { border: 1px solid black; }
 --></style>
 </head>
 <body>
-<h1 class="settitle">AdLint 1.8.0 利用者ガイド</h1>
+<h1 class="settitle">AdLint 1.8.2 利用者ガイド</h1>
 <div class="node">
 <a name="Top"></a>
 <p><hr>

data/share/doc/users_guide_ja.texi

@@ -2,7 +2,7 @@
 @setfilename users_guide_ja.info
 @documentlanguage ja
 @documentencoding utf-8
-@settitle AdLint 1.8.0 利用者ガイド
+@settitle AdLint 1.8.2 利用者ガイド
 
 @copying
 Copyright (C) 2010-2012, OGIS-RI Co.,Ltd.

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: adlint
 version: !ruby/object:Gem::Version
-  version: 1.8.0
+  version: 1.8.2
   prerelease: 
 platform: ruby
 authors:
@@ -9,7 +9,7 @@ authors:
 autorequire: 
 bindir: bin
 cert_chain: []
-date: 2012-04-27 00:00:00.000000000 Z
+date: 2012-05-08 00:00:00.000000000 Z
 dependencies: []
 description: ! 'AdLint is a source code static analyzer.