adlint 1.8.10 → 1.10.0

data/ChangeLog

@@ -1,3 +1,261 @@
+Wed Jun  6 10:19:58 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* release.ga : 1.10.0
+	  - Add W0716 detection.
+	  - Add W0717 detection.
+	  - Add W0718 detection.
+	  - Fix W0500 detection not to warn when two standalone binary
+	    arithmetic expressions are appears at 2nd and 3rd expressions of a
+	    conditional-expression.
+	  - Fix W0501 detection not to duplicate warnings about a
+	    conditional-expression.
+	  - Fix W0582, W0583 and W0584 detections in order to consider type
+	    convertibility correctly.
+	  - Fix W1031 detection not to warn when the declaration with `static'
+	    and definition without storage-class-specifier.
+	  - Fix lack of sequence-point notification of controlling
+	    expressions.
+	  - Add unit specification of C type models.
+	  - Add W0001, W0002, W0003, W0007, W0010, W0013, W0109, W0583, W0606,
+	    W0698, W0699, W0703, W0716, W0717, W0718, W0723 and W1031
+	    functional specifications.
+
+Tue Jun  5 16:45:06 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* release.rc : 1.9.2
+	  - Fix W1031 detection to correctly warn when the declaration with
+	    `extern' and the definition with `static'.
+	  - Remove initialization semantics of the program execution which is
+	    not comply with the ISO C99 standard.
+
+Tue Jun  5 15:58:40 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* lib/adlint/c/interp.rb : Remove initialization semantics of the
+	  program execution which is not comply with the ISO C99 standard.
+	* lib/adlint/c/object.rb : Ditto.
+
+Tue Jun  5 13:44:28 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* features/message_detection/W0703.feature : Add W0703 functional
+	  specification to reproduce a known bug.
+	* features/message_detection/W0109.feature : Add W0109 functional
+	  specification to reproduce a known bug.
+	* MANIFEST : Ditto.
+
+Mon Jun  4 18:23:48 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* lib/adlint/c/message.rb : Fix W1031 detection to correctly warn when
+	  the declaration with `extern' and the definition with `static'.
+
+	* lib/adlint/c/interp.rb : Add notification about function-definition.
+	* lib/adlint/c/mediator.rb : Ditto.
+	* lib/adlint/c/message.rb : Ditto.
+	* lib/adlint/c/code.rb : Ditto.
+
+	* lib/adlint/c/object.rb : Fix bad linkage determination logic.
+
+	* features/message_detection/W1031.feature : Add W1031 functional
+	  specification to reproduce a known bug.
+
+Fri Jun  1 19:50:31 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* release.rc : 1.9.1
+	  - Fix W1031 detection not to warn when the declaration with `static'
+	    and definition without storage-class-specifier.
+	  - Support initialization semantics preceding the program starup in
+	    order to correctly evaluate expressions in initializers of the
+	    static storage duration object definition.
+	  - Add W0606, W0698 and W0699 functional specifications.
+
+Fri Jun  1 19:01:13 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* lib/adlint/c/interp.rb : Support initialization semantics preceding
+	  the program starup in order to correctly evaluate expressions in
+	  initializers of the static storage duration object definition.
+	* lib/adlint/c/phase.rb : Ditto.
+	* lib/adlint/c/mediator.rb : Ditto.
+	* lib/adlint/c/object.rb : Ditto.
+
+	* lib/adlint/c/option.rb : Add new module `option.rb' to define whole
+	  option constants.
+	* lib/adlint/c/type.rb : Ditto.
+	* lib/adlint/c/branch.rb : Ditto.
+	* lib/adlint/c/ctrlexpr.rb : Ditto.
+	* lib/adlint/c/message.rb : Ditto.
+	* lib/adlint/c.rb : Ditto.
+	* MANIFEST : Ditto.
+
+Fri Jun  1 15:42:00 2012  Rie Shima  <rkakuuchi@users.sourceforge.net>
+
+	* features/message_detection/W0606.feature : Add W0606 functional
+	  specification.
+	* features/message_detection/W0698.feature : Add W0698 functional
+	  specification.
+	* features/message_detection/W0699.feature : Add W0699 functional
+	  specification.
+	* MANIFEST : Add W0606, W0698 and W0699 functional specifications.
+
+Thu May 31 11:46:58 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* features/message_detection/W0723.feature : Add W0723 functional
+	  specification to reproduce a known bug.
+
+Thu May 31 11:32:16 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* features/message_detection/W1031.feature : Add W1031 functional
+	  specification to reproduce a known bug.
+
+	* lib/adlint/c/message.rb : Fix W1031 detection not to warn when the
+	  declaration with `static' and definition without
+	  storage-class-specifier.
+
+Thu May 31 09:43:09 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* release.rc : 1.9.0
+	  - This is the initial release candidate for 1.10.0 GA release.
+	  - Add W0716 detection.
+	  - Add W0717 detection.
+	  - Add W0718 detection.
+	  - Fix W0501 detection not to duplicate warnings about a
+	    conditional-expression.
+	  - Fix W0500 detection not to warn when two standalone binary
+	    arithmetic expressions are appears at 2nd and 3rd expressions of a
+	    conditional-expression.
+	  - Fix lack of sequence-point notification of controlling
+	    expressions.
+	  - Fix W0582, W0583 and W0584 detections in order to consider type
+	    convertibility correctly.
+	  - Add unit specification of C type models.
+	  - Add W0001, W0002, W0003, W0007, W0010, W0013, W0583, W0716, W0717
+	    and W0718 functional specifications.
+
+Wed May 30 22:23:41 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* spec/adlint/c/type_spec.rb : Add `more cv-qualified' unit
+	  specification.
+
+Wed May 30 20:17:38 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* lib/adlint/c/conv.rb : Fix Type#same_as? method invocation to
+	  conform with lhs and rhs order of other invocations.
+	* lib/adlint/c/expr.rb : Ditto.
+	* lib/adlint/c/object.rb : Ditto.
+	* lib/adlint/c/message.rb : Ditto.
+
+	* lib/adlint/c/format.rb : Fix too strict argument type checkings in
+	  order to consider type convertibility correctly.
+
+	* lib/adlint/c/message.rb : Fix W0582, W0583 and W0584 detections in
+	  order to consider type convertibility correctly.
+
+Wed May 30 19:18:11 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* lib/adlint/c/type.rb : Add Type#convertible?(to_type) method to
+	  check whether a type is implicitly convertible to another type.
+
+	* spec/adlint/c/type_spec.rb : Add unit specification of C type
+	  models.
+
+Wed May 30 15:38:00 2012  Rie Shima  <rkakuuchi@users.sourceforge.net>
+
+	* share/doc/users_guide_ja.texi : Update descriptions about added
+	  warning messages.
+	* share/doc/users_guide_en.texi : Ditto.
+
+Tue May 29 16:18:00 2012  Rie Shima  <rkakuuchi@users.sourceforge.net>
+
+	* lib/adlint/c/message_shima.rb : Add W0716, W0717 and W0718
+	  detections.
+	* lib/adlint/c/phase.rb : Ditto.
+
+	* features/message_detection/W0716.feature : Add W0716 functional
+	  specification.
+	* features/message_detection/W0717.feature : Add W0717 functional
+	  specification.
+	* features/message_detection/W0718.feature : Add W0718 functional
+	  specification.
+	* MANIFEST : Add W0716, W0717 and W0718 functional specifications.
+
+Tue May 29 15:04:31 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* lib/adlint/c/interp.rb : Fix abend problem of conditional-expression
+	  evaluation with the controlling variable's value domain management.
+
+Tue May 29 13:11:02 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* features/message_detection/W0013.feature : Add W0013 functional
+	  specification.
+	* MANIFEST : Ditto.
+
+Tue May 29 11:55:44 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* lib/adlint/c/ctrlexpr.rb : Fix lack of sequence-point notification
+	  of controlling expressions.
+
+Mon May 28 17:42:19 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* features/message_detection/W0010.feature : Add W0010 functional
+	  specification.
+	* MANIFEST : Ditto.
+
+Mon May 28 17:27:02 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* lib/adlint/c/message.rb : Fix W0500 detection not to warn when two
+	  standalone binary arithmetic expressions are appears at 2nd and 3rd
+	  expressions of a conditional-expression.
+
+Mon May 28 17:14:53 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* lib/adlint/c/message.rb : Fix W0501 detection not to duplicate
+	  warnings about a conditional-expression.
+
+Mon May 28 13:53:09 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* lib/adlint/c/expr.rb : Move responsibility of conditional-expression
+	  evaluation to the upper layer in order to manage value domain of the
+	  controlling variable.
+	* lib/adlint/c/interp.rb : Ditto.
+
+Mon May 28 11:52:57 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* features/message_detection/W0007.feature : Add W0007 functional
+	  specification.
+	* MANIFEST : Ditto.
+
+Mon May 28 11:03:47 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* features/message_detection/W0003.feature : Add W0003 functional
+	  specification.
+	* MANIFEST : Ditto.
+
+Mon May 28 10:36:06 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* features/message_detection/W0002.feature : Add W0002 functional
+	  specification.
+	* MANIFEST : Ditto.
+
+Mon May 27 12:35:29 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* features/message_detection/W0001.feature : Add W0001 functional
+	  specification.
+	* MANIFEST : Ditto.
+
+Tue May 22 12:12:08 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* features/message_detection/W0583.feature : Add W0583 functional
+	  specification to reproduce a known bug.
+	* MANIFEST : Ditto.
+
+	* Rakefile : Add `features' task to run Cucumber features.
+
+Mon May 21 16:33:19 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* spec/adlint/c/type_spec.rb : Add unit specification of C type
+	  models.
+	* MANIFEST : Ditto.
+
+	* Rakefile : Add `spec' task to run RSpec code examples.
+
 Fri May 18 22:04:23 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
 
 	* release.ga : 1.8.10
@@ -502,8 +760,8 @@ Mon Apr  9 23:21:08 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
 	  if-else-if statement chains) metric measurement.
 
 	* share/demo/Makefile : Add `incomplete_ifelse' demo.
-	* share/demo/incomplete_ifelse/incomplete_ifelse.c : Ditto. 
-	* MANIFEST : Ditto. 
+	* share/demo/incomplete_ifelse/incomplete_ifelse.c : Ditto.
+	* MANIFEST : Ditto.
 
 Mon Apr  9 20:34:51 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
 
@@ -1221,7 +1479,7 @@ Fri Mar 23 14:11:20 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
 Fri Mar 23 13:39:12 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
 
 	* lib/adlint/c/syntax.rb : Add DeclarationSpecifiersHolder module to
-	  commonalize accessors of DeclarationSpecifiers. 
+	  commonalize accessors of DeclarationSpecifiers.
 
 Fri Mar 23 12:07:52 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
 

data/MANIFEST

@@ -28,6 +28,25 @@ 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/W0001.feature
+features/message_detection/W0002.feature
+features/message_detection/W0003.feature
+features/message_detection/W0007.feature
+features/message_detection/W0010.feature
+features/message_detection/W0013.feature
+features/message_detection/W0109.feature
+features/message_detection/W0583.feature
+features/message_detection/W0606.feature
+features/message_detection/W0698.feature
+features/message_detection/W0699.feature
+features/message_detection/W0703.feature
+features/message_detection/W0716.feature
+features/message_detection/W0717.feature
+features/message_detection/W0718.feature
+features/message_detection/W0723.feature
+features/message_detection/W1031.feature
+features/step_definitions/message_detection_steps.rb
+features/support/env.rb
 lib/adlint.rb
 lib/adlint/analyzer.rb
 lib/adlint/c.rb
@@ -49,6 +68,7 @@ lib/adlint/c/message.rb
 lib/adlint/c/message_shima.rb
 lib/adlint/c/metric.rb
 lib/adlint/c/object.rb
+lib/adlint/c/option.rb
 lib/adlint/c/parser.y
 lib/adlint/c/parser.rb
 lib/adlint/c/phase.rb
@@ -483,4 +503,8 @@ 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/MUST_WRITE_SPECS_WITH_RSPEC
+spec/spec_helper.rb
+spec/adlint/c/type_spec.rb
+spec/conf.d/empty_cinit.h
+spec/conf.d/empty_pinit.h
+spec/conf.d/default_traits.yml

data/NEWS

@@ -21,6 +21,30 @@
 
 ++
 
+=== \AdLint 1.10.0 is released (2012-06-06)
+
+==== Changes since the 1.8.10 release
+
+* Add W0716 detection
+* Add W0717 detection
+* Add W0718 detection
+* Fix W0500 detection not to warn when two standalone binary arithmetic
+  expressions are appears at 2nd and 3rd expressions of a
+  conditional-expression
+* Fix W0501 detection not to duplicate warnings about a conditional-expression
+* Fix W0582, W0583 and W0584 detections in order to consider type
+  convertibility correctly
+* Fix W1031 detection not to warn when the declaration with `static' and
+  definition without storage-class-specifier
+* Fix lack of sequence-point notification of controlling expressions
+* Add unit specification of C type models
+* Add W0001, W0002, W0003, W0007, W0010, W0013, W0109, W0583, W0606, W0698,
+  W0699, W0703, W0716, W0717, W0718, W0723 and W1031 functional specifications
+
+See the file
+{ChangeLog}[http://adlint.sourceforge.net/pmwiki/upload.d/Main/ChangeLog]
+for more details.
+
 === \AdLint 1.8.10 is released (2012-05-18)
 
 ==== Changes since the 1.8.2 release
@@ -32,7 +56,7 @@
   pointer type whose base type is cv-qualified
 * Fix W0583 detection not to warn when the argument type is a cv-qualified one
   of the corresponding parameter's type
-* Fix W0112 detection not to warn about floating point relational-expressions.
+* Fix W0112 detection not to warn about floating point relational-expressions
 * Fix W0117 and W0118 detection not to misunderstand linkage of object
   definitions
 * Fix W0101, W0102, W0103 and W0107 detections not to warn when an address of
@@ -57,10 +81,6 @@
 * Fix degraded W0118 detection to warn when all declarations of an object are
   in the source file
 
-See the file
-{ChangeLog}[http://adlint.sourceforge.net/pmwiki/upload.d/Main/ChangeLog]
-for more details.
-
 === \AdLint 1.8.2 is released (2012-05-08)
 
 ==== Changes since the 1.8.0 release

data/Rakefile

@@ -23,6 +23,8 @@
 
 require "rubygems/package_task"
 require "rdoc/task"
+require "rspec/core/rake_task"
+require "cucumber/rake/task"
 
 $: << File.expand_path("lib", File.dirname(__FILE__))
 require "adlint/version"
@@ -136,6 +138,15 @@ task :clobber => :clean do
   rm_f "tags"
 end
 
+RSpec::Core::RakeTask.new(:spec) do |t|
+  t.ruby_opts = %w(-w)
+  t.rspec_opts = %w(-f html -o spec.html)
+end
+
+Cucumber::Rake::Task.new(:features) do |t|
+  t.cucumber_opts = %w(--strict --quiet -f html -o features.html)
+end
+
 def racc(files)
   files.each do |file|
     sh "racc #{file} -o #{File.basename(file, ".y")}.rb"

data/TODO

@@ -21,7 +21,6 @@
 
 ++
 
-* Write unit and functional tests with RSpec
 * Support many more preset build environments
 * Implement automatic traits files generator
 * Improve performance

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.10"
+version: "1.10.0"
 
 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.10"
+version: "1.10.0"
 
 message_definition:
   X0001: "不明な例外条件 `%s' を検出しました。"

data/features/message_detection/W0001.feature

@@ -0,0 +1,41 @@
+Feature: W0001
+
+  W0001 detects that a number of the expression grouping is greater than 32.
+
+  Scenario: deeply grouped in initializer
+    Given a target source named "W0001.c" with:
+      """
+      static void foo(void)
+      {
+          const int a = 10;
+          const int b = 20;
+          const int c = (((((((((((((((((((((((((((((((((a + b))))))))))))))))))))))))))))))))); /* W0001 */
+      }
+      """
+    When I successfully run `adlint W0001.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0629 | 1    | 13     |
+      | W0001 | 5    | 51     |
+      | W0628 | 1    | 13     |
+
+  Scenario: deeply grouped in expression-statement
+    Given a target source named "W0001.c" with:
+      """
+      static void foo(void)
+      {
+          const int a = 10;
+          const int b = 20;
+          int c;
+          c = (((((((((((((((((((((((((((((((((a + b))))))))))))))))))))))))))))))))); /* W0001 */
+      }
+      """
+    When I successfully run `adlint W0001.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0100 | 5    | 9      |
+      | W0629 | 1    | 13     |
+      | W0001 | 6    | 41     |
+      | W0628 | 1    | 13     |
+
+# vim:ts=2:sw=2:sts=2:et:

data/features/message_detection/W0002.feature

@@ -0,0 +1,68 @@
+Feature: W0002
+
+  W0002 detects that an old style function-definition is found.
+
+  Scenario: all arguments are type specified
+    Given a target source named "W0002.c" with:
+      """
+      int func(arg1, arg2) /* W0002 */
+      int arg1;
+      char arg2;
+      {
+          return 0;
+      }
+      """
+    When I successfully run `adlint W0002.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 1    | 5      |
+      | W0031 | 2    | 5      |
+      | W0031 | 3    | 6      |
+      | W0104 | 2    | 5      |
+      | W0104 | 3    | 6      |
+      | W0002 | 1    | 5      |
+      | W0628 | 1    | 5      |
+
+  Scenario: no arguments are type specified
+    Given a target source named "W0002.c" with:
+      """
+      int func(arg1, arg2) /* W0002 */
+      {
+          return 0;
+      }
+      """
+    When I successfully run `adlint W0002.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 1    | 5      |
+      | W0031 | 1    | 10     |
+      | W0031 | 1    | 16     |
+      | W0104 | 1    | 10     |
+      | W0104 | 1    | 16     |
+      | W0002 | 1    | 5      |
+      | W0458 | 1    | 10     |
+      | W0458 | 1    | 16     |
+      | W0628 | 1    | 5      |
+
+  Scenario: arguments are partly type specified
+    Given a target source named "W0002.c" with:
+      """
+      int func(arg1, arg2) /* W0002 */
+      char arg2;
+      {
+          return 0;
+      }
+      """
+    When I successfully run `adlint W0002.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 1    | 5      |
+      | W0031 | 1    | 10     |
+      | W0031 | 2    | 6      |
+      | W0104 | 1    | 10     |
+      | W0104 | 2    | 6      |
+      | W0002 | 1    | 5      |
+      | W0458 | 1    | 10     |
+      | W0628 | 1    | 5      |
+
+# vim:ts=2:sw=2:sts=2:et:

data/features/message_detection/W0003.feature

@@ -0,0 +1,134 @@
+Feature: W0003
+
+  W0003 detects that no default clause is in the switch-statement.
+
+  Scenario: no default clause
+    Given a target source named "W0003.c" with:
+      """
+      int foo(int i)
+      {
+          int j;
+
+          switch(i) { /* W0003 */
+          case 1:
+              j = 1;
+              break;
+          case 2:
+              j = 2;
+              break;
+          case 3:
+              j = 3;
+              break;
+          }
+
+          return j;
+      }
+      """
+    When I successfully run `adlint W0003.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 1    | 5      |
+      | W0460 | 17   | 12     |
+      | W0104 | 1    | 13     |
+      | W0003 | 5    | 5      |
+      | W0628 | 1    | 5      |
+
+  Scenario: a default clause at the bottom
+    Given a target source named "W0003.c" with:
+      """
+      int foo(int i)
+      {
+          int j;
+
+          switch(i) { /* OK */
+          case 1:
+              j = 1;
+              break;
+          case 2:
+              j = 2;
+              break;
+          case 3:
+              j = 3;
+              break;
+          default:
+              j = 4;
+              break;
+          }
+
+          return j;
+      }
+      """
+    When I successfully run `adlint W0003.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 1    | 5      |
+      | W0104 | 1    | 13     |
+      | W0628 | 1    | 5      |
+
+  Scenario: a default clause at the middle
+    Given a target source named "W0003.c" with:
+      """
+      int foo(int i)
+      {
+          int j;
+
+          switch(i) { /* OK */
+          case 1:
+              j = 1;
+              break;
+          default:
+              j = 4;
+              break;
+          case 2:
+              j = 2;
+              break;
+          case 3:
+              j = 3;
+              break;
+          }
+
+          return j;
+      }
+      """
+    When I successfully run `adlint W0003.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 1    | 5      |
+      | W0104 | 1    | 13     |
+      | W0538 | 9    | 5      |
+      | W0628 | 1    | 5      |
+
+  Scenario: a default clause at the top
+    Given a target source named "W0003.c" with:
+      """
+      int foo(int i)
+      {
+          int j;
+
+          switch(i) { /* OK */
+          default:
+              j = 4;
+              break;
+          case 1:
+              j = 1;
+              break;
+          case 2:
+              j = 2;
+              break;
+          case 3:
+              j = 3;
+              break;
+          }
+
+          return j;
+      }
+      """
+    When I successfully run `adlint W0003.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 1    | 5      |
+      | W0104 | 1    | 13     |
+      | W0538 | 6    | 5      |
+      | W0628 | 1    | 5      |
+
+# vim:ts=2:sw=2:sts=2:et: