adlint 1.8.2 → 1.8.10

data/lib/adlint/c/message_shima.rb

@@ -386,8 +386,7 @@ module C #:nodoc:
 
     def check_filelocal_object_name(name, decl_or_def)
       if @function_def_level == 0
-        storage_class_specifier = decl_or_def.storage_class_specifier
-        if storage_class_specifier && storage_class_specifier.type == :STATIC
+        if scs = decl_or_def.storage_class_specifier and scs.type == :STATIC
           W(:W0809, decl_or_def.location, name)
         end
       end

data/lib/adlint/c/object.rb

@@ -263,7 +263,7 @@ module C #:nodoc:
       if @scope.global?
         super
       else
-        storage_class_specifiers.all? { |sc_spec| sc_spec.type == :EXTERN }
+        storage_class_specifiers.any? { |sc_spec| sc_spec.type == :EXTERN }
       end
     end
 

data/lib/adlint/c/type.rb

@@ -212,6 +212,10 @@ module C #:nodoc:
       self.real_type.unqualify == type.real_type.unqualify
     end
 
+    def parameter?
+      false
+    end
+
     def scalar?
       subclass_responsibility
     end
@@ -2019,7 +2023,7 @@ module C #:nodoc:
     end
 
     def same_as?(type)
-      false
+      type.void?
     end
 
     def scalar?
@@ -5334,6 +5338,21 @@ module C #:nodoc:
       false
     end
 
+    def same_as?(type)
+      lhs_unqualified = self.real_type.unqualify
+      rhs_unqualified = type.real_type.unqualify
+
+      if rhs_unqualified.pointer?
+        if lhs_unqualified.base_type.void?
+          true
+        else
+          lhs_unqualified.base_type.same_as?(rhs_unqualified.base_type)
+        end
+      else
+        false
+      end
+    end
+
     def pointer?
       true
     end
@@ -5526,6 +5545,24 @@ module C #:nodoc:
       type.array? && @base_type.coercible?(type.base_type)
     end
 
+    def same_as?(type)
+      lhs_unqualified = self.real_type.unqualify
+      rhs_unqualified = type.real_type.unqualify
+
+      case
+      when rhs_unqualified.array?
+        if lhs_unqualified.length
+          lhs_unqualified.length == rhs_unqualified.length
+        else
+          lhs_unqualified.base_type.same_as?(rhs_unqualified.base_type)
+        end
+      when rhs_unqualified.pointer?
+        lhs_unqualified.base_type.same_as?(rhs_unqualified.base_type)
+      else
+        false
+      end
+    end
+
     def scalar?
       false
     end
@@ -6834,6 +6871,11 @@ module C #:nodoc:
     def_delegator :@type, :incomplete?
     def_delegator :@type, :compatible?
     def_delegator :@type, :coercible?
+
+    def parameter?
+      true
+    end
+
     def_delegator :@type, :scalar?
     def_delegator :@type, :integer?
     def_delegator :@type, :floating?

data/lib/adlint/cpp/util.rb

@@ -79,6 +79,35 @@ module Cpp #:nodoc:
       string.chars.to_a - select_adapted(string)
     end
 
+    # NOTE: The ISO C99 standard saids;
+    #
+    # 5.2 Environmental considerations
+    # 5.2.1 Character sets
+    #
+    # 1 Two sets of characters and their associated collating sequences shall
+    #   be defined: the set in which source files are written (the source
+    #   character set), and the set interpreted in the execution environment
+    #   (the execution character set). Each set is further divided into a basic
+    #   character set, whose contents are given by this subclause, and a set of
+    #   zero or more locale-specific members (which are not members of the
+    #   basic character set) called extended characters. The combined set is
+    #   also called the extended character set. The values of the members of
+    #   the execution character set are implementation-defined.
+    #
+    # 3 Both the basic source and basic execution character sets shall have the
+    #   following members: the 26 uppercase letters of the Latin alphabet
+    #     A B C D E F G H I J K L M
+    #     N O P Q R S T U V W X Y Z
+    #   the 26 lowercase letters of the Latin alphabet
+    #     a b c d e f g h i j k l m
+    #     n o p q r s t u v w x y z
+    #   the 10 decimal digits
+    #     0 1 2 3 4 5 6 7 8 9
+    #   the following 29 graphic characters
+    #     ! " # % & ' ( ) * + , - . / :
+    #     ; < = > ? [ \ ] ^ _ { | } ~
+    #   the space character, and control characters representing horizontal
+    #   tab, vertical tab, and form feed.
     CHARS = [
       " ", "\t", "\v", "\f", "\n",
       "a", "b", "c", "d", "e", "f", "g", "h", "i", "j", "k", "l", "m",

data/lib/adlint/version.rb

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

data/share/demo/Makefile

@@ -36,6 +36,7 @@ incomplete_ifelse \
 incomplete_type \
 indirect_recur \
 inline_asm \
+integer_promotion \
 intro_demo \
 invalid_call \
 kandr_fundef \

data/share/demo/integer_promotion/integer_promotion.c

@@ -0,0 +1,17 @@
+/* ADLINT:TUNIT:[-W0118,-W0414,-W0425,-W0947,-W0948] */
+
+#define EOF (-1)
+
+extern int getchar(void);
+extern int printf(const char *, ...);
+
+int main(void)
+{
+    unsigned char c; /* ADLINT::[-W0100] */
+
+    while ((c = getchar()) != EOF) {
+	if ((int) c != '\n') printf("%d\n", (int) c);
+    }
+
+    return 0;
+}

data/share/doc/developers_guide_ja.html

@@ -1,8 +1,8 @@
 <html lang="ja">
 <head>
-<title>AdLint 1.8.2 開発者ガイド</title>
+<title>AdLint 1.8.10 開発者ガイド</title>
 <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
-<meta name="description" content="AdLint 1.8.2 開発者ガイド">
+<meta name="description" content="AdLint 1.8.10 開発者ガイド">
 <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.2 開発者ガイド</h1>
+<h1 class="settitle">AdLint 1.8.10 開発者ガイド</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.2 開発者ガイド
+@settitle AdLint 1.8.10 開発者ガイド
 
 @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.2 User's Guide</title>
+<title>AdLint 1.8.10 User's Guide</title>
 <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
-<meta name="description" content="AdLint 1.8.2 User's Guide">
+<meta name="description" content="AdLint 1.8.10 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.2 User's Guide</h1>
+<h1 class="settitle">AdLint 1.8.10 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.2 User's Guide
+@settitle AdLint 1.8.10 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.2 利用者ガイド</title>
+<title>AdLint 1.8.10 利用者ガイド</title>
 <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
-<meta name="description" content="AdLint 1.8.2 利用者ガイド">
+<meta name="description" content="AdLint 1.8.10 利用者ガイド">
 <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.2 利用者ガイド</h1>
+<h1 class="settitle">AdLint 1.8.10 利用者ガイド</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.2 利用者ガイド
+@settitle AdLint 1.8.10 利用者ガイド
 
 @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.2
+  version: 1.8.10
   prerelease: 
 platform: ruby
 authors:
@@ -9,7 +9,7 @@ authors:
 autorequire: 
 bindir: bin
 cert_chain: []
-date: 2012-05-08 00:00:00.000000000 Z
+date: 2012-05-18 00:00:00.000000000 Z
 dependencies: []
 description: ! 'AdLint is a source code static analyzer.
 
@@ -181,6 +181,7 @@ files:
 - share/demo/indirect_recur/indirect_recur_3.h
 - share/demo/indirect_recur/indirect_recur_4.c
 - share/demo/inline_asm/inline_asm.c
+- share/demo/integer_promotion/integer_promotion.c
 - share/demo/intro_demo/intro_demo.c
 - share/demo/intro_demo/intro_demo.h
 - share/demo/intro_demo/useless_header.h