adlint 3.0.10 → 3.2.0

data/lib/adlint/exam/c_builtin/cc1_check_shima.rb

@@ -240,12 +240,12 @@ module CBuiltin #:nodoc:
       @cur_fun = nil
     end
 
-    def check(retn_stmt)
+    def check(ret_stmt)
       return unless @cur_fun.explicitly_typed?
 
-      if retn_type = @cur_fun.type.return_type
-        if !retn_type.void? && retn_stmt.expression.nil?
-          W(retn_stmt.location, @cur_fun.identifier.value)
+      if ret_type = @cur_fun.type.return_type
+        if !ret_type.void? && ret_stmt.expression.nil?
+          W(ret_stmt.location, @cur_fun.identifier.value)
         end
       end
     end
@@ -259,11 +259,11 @@ module CBuiltin #:nodoc:
     mark_as_unique
 
     private
-    def check(retn_stmt)
+    def check(ret_stmt)
       return unless @cur_fun.implicitly_typed?
 
-      if retn_stmt.expression.nil?
-        W(retn_stmt.location, @cur_fun.identifier.value)
+      if ret_stmt.expression.nil?
+        W(ret_stmt.location, @cur_fun.identifier.value)
       end
     end
   end
@@ -294,9 +294,9 @@ module CBuiltin #:nodoc:
       @cur_fun = nil
     end
 
-    def check_explicit_return(retn_stmt, *)
+    def check_explicit_return(ret_stmt, *)
       if @cur_fun
-        if @cur_fun.implicitly_typed? && retn_stmt.expression.nil?
+        if @cur_fun.implicitly_typed? && ret_stmt.expression.nil?
           W(@cur_fun.location, @cur_fun.identifier.value)
         end
       end
@@ -469,11 +469,11 @@ module CBuiltin #:nodoc:
     mark_as_unique
 
     private
-    def check(retn_stmt)
-      if retn_stmt.expression
-        if retn_type = @cur_fun.type.return_type
-          if retn_type.void? && (retn_type.const? || retn_type.volatile?)
-            W(retn_stmt.location, @cur_fun.identifier.value)
+    def check(ret_stmt)
+      if ret_stmt.expression
+        if ret_type = @cur_fun.type.return_type
+          if ret_type.void? && (ret_type.const? || ret_type.volatile?)
+            W(ret_stmt.location, @cur_fun.identifier.value)
           end
         end
       end
@@ -771,8 +771,8 @@ module CBuiltin #:nodoc:
 
     private
     def check(dcl_or_def)
-      if retn_type = dcl_or_def.type.return_type
-        if retn_type.const? || retn_type.volatile?
+      if ret_type = dcl_or_def.type.return_type
+        if ret_type.const? || ret_type.volatile?
           W(dcl_or_def.location)
         end
       end
@@ -782,6 +782,8 @@ module CBuiltin #:nodoc:
   class W1066 < PassiveCodeCheck
     def_registrant_phase Cc1::Prepare2Phase
 
+    include Cc1::InterpreterMediator
+
     # NOTE: All messages of cc1-phase code check should be unique till function
     #       step-in analysis is supported.
     mark_as_unique
@@ -827,11 +829,15 @@ module CBuiltin #:nodoc:
     end
 
     def from_type
-      @interp.float_t
+      float_t
     end
 
     def to_type
-      @interp.double_t
+      double_t
+    end
+
+    def interpreter
+      @interp
     end
   end
 
@@ -844,11 +850,11 @@ module CBuiltin #:nodoc:
 
     private
     def from_type
-      @interp.float_t
+      float_t
     end
 
     def to_type
-      @interp.long_double_t
+      long_double_t
     end
   end
 
@@ -861,11 +867,11 @@ module CBuiltin #:nodoc:
 
     private
     def from_type
-      @interp.double_t
+      double_t
     end
 
     def to_type
-      @interp.long_double_t
+      long_double_t
     end
   end
 

data/lib/adlint/exam/c_builtin/cc1_code.rb

@@ -309,10 +309,10 @@ module CBuiltin #:nodoc:
 
     def initialize(phase_ctxt)
       super
-      @interp = phase_ctxt[:cc1_interpreter]
-      @interp.on_function_started          += T(:update_caller)
-      @interp.on_function_ended            += T(:clear_caller)
-      @interp.on_function_call_expr_evaled += T(:extract_function_call)
+      interp = phase_ctxt[:cc1_interpreter]
+      interp.on_function_started          += T(:update_caller)
+      interp.on_function_ended            += T(:clear_caller)
+      interp.on_function_call_expr_evaled += T(:extract_function_call)
       @caller = nil
     end
 

data/lib/adlint/exam/c_builtin/cc1_metric.rb

@@ -473,9 +473,9 @@ module CBuiltin #:nodoc:
       traversal.enter_continue_statement        += T(:enter_statement)
       traversal.enter_break_statement           += T(:enter_statement)
       traversal.enter_return_statement          += T(:count_return)
-      @cur_fun   = nil
-      @retn_cnt  = 0
-      @last_stmt = nil
+      @cur_fun  = nil
+      @ret_cnt  = 0
+      @lst_stmt = nil
     end
 
     private
@@ -485,39 +485,39 @@ module CBuiltin #:nodoc:
     def enter_function(fun_def)
       if @fpath == fun_def.location.fpath
         @cur_fun  = fun_def
-        @retn_cnt  = 0
-        @last_stmt = nil
+        @ret_cnt  = 0
+        @lst_stmt = nil
       end
     end
 
     def leave_function(*)
       if @cur_fun
         if @cur_fun.type.return_type.void? &&
-            !(@last_stmt.kind_of?(Cc1::ReturnStatement))
+            !(@lst_stmt.kind_of?(Cc1::ReturnStatement))
           FN_RETN(FunctionId.new(@cur_fun.identifier.value,
                                  @cur_fun.signature.to_s),
-                  @cur_fun.location, @retn_cnt + 1)
+                  @cur_fun.location, @ret_cnt + 1)
         else
           FN_RETN(FunctionId.new(@cur_fun.identifier.value,
                                  @cur_fun.signature.to_s),
-                  @cur_fun.location, @retn_cnt)
+                  @cur_fun.location, @ret_cnt)
         end
-        @cur_fun   = nil
-        @retn_cnt  = 0
-        @last_stmt = nil
+        @cur_fun  = nil
+        @ret_cnt  = 0
+        @lst_stmt = nil
       end
     end
 
     def enter_statement(node)
       if @cur_fun
-        @last_stmt = node if node.executed?
+        @lst_stmt = node if node.executed?
       end
     end
 
     def count_return(node)
       if @cur_fun
-        @retn_cnt += 1
-        @last_stmt = node
+        @ret_cnt += 1
+        @lst_stmt = node
       end
     end
   end

data/lib/adlint/location.rb

@@ -34,6 +34,8 @@ module AdLint #:nodoc:
   # == DESCRIPTION
   # Location identifier of tokens.
   class Location
+    include Comparable
+
     # === Constructs a location identifier.
     #
     # Param:: _fpath_ (Pathname) Path name of the file contains the token.
@@ -76,8 +78,8 @@ module AdLint #:nodoc:
     #       the performance.
     memoize :in_analysis_target?, force_nullary: true
 
-    def ==(rhs)
-      self.to_a == rhs.to_a
+    def <=>(rhs)
+      self.to_a <=> rhs.to_a
     end
 
     def eql?(rhs)
@@ -103,11 +105,7 @@ module AdLint #:nodoc:
     # === RETURN VALUE
     # String -- String representation of this location identifier.
     def to_s
-      str = ""
-      str += "#{@fpath}:" if @fpath
-      str += "#{@line_no}:" if @line_no
-      str += "#{@column_no}" if @column_no
-      str
+      "#{@fpath}:#{@line_no}:#{@column_no}"
     end
 
     # === DESCRIPTION

data/lib/adlint/metric.rb

@@ -133,8 +133,8 @@ module AdLint #:nodoc:
   end
 
   class FN_RETN_Metric < FunctionMetric
-    def initialize(fun_id, loc, retn_cnt)
-      super("FN_RETN", fun_id, loc, retn_cnt)
+    def initialize(fun_id, loc, ret_cnt)
+      super("FN_RETN", fun_id, loc, ret_cnt)
     end
   end
 

data/lib/adlint/prelude.rb

@@ -102,9 +102,13 @@ class Integer
 
   def logical_right_shift(rhs)
     return self if rhs < 0
-    bits = to_s(2).split("")
+    bits = to_s(2)
     shift_width = [rhs, SHIFT_MAX_BITS].min
-    bits.length < shift_width ? 0 : bits[-1..(-shift_width - 1)].join.to_i(2)
+    if bits.length < shift_width
+      0
+    else
+      ("0" * shift_width + bits[0..-(shift_width + 1)]).to_i(2)
+    end
   end
 
   def arithmetic_right_shift(rhs)

data/lib/adlint/report.rb

@@ -502,8 +502,8 @@ module AdLint #:nodoc:
     end
     alias :FN_GOTO :write_FN_GOTO
 
-    def write_FN_RETN(fun_id, loc, retn_cnt)
-      write_code_metric(FN_RETN_Metric.new(fun_id, loc, retn_cnt))
+    def write_FN_RETN(fun_id, loc, ret_cnt)
+      write_code_metric(FN_RETN_Metric.new(fun_id, loc, ret_cnt))
     end
     alias :FN_RETN :write_FN_RETN
 

data/lib/adlint/version.rb

@@ -32,9 +32,9 @@
 module AdLint #:nodoc:
 
   MAJOR_VERSION = 3
-  MINOR_VERSION = 0
-  PATCH_VERSION = 10
-  RELEASE_DATE  = "2013-06-28"
+  MINOR_VERSION = 2
+  PATCH_VERSION = 0
+  RELEASE_DATE  = "2013-08-28"
 
   TRAITS_SCHEMA_VERSION = "3.0.0"
 

data/share/doc/developers_guide_ja.html

@@ -1,8 +1,8 @@
 <html lang="ja">
 <head>
-<title>AdLint 3.0.10 開発者ガイド</title>
+<title>AdLint 3.2.0 開発者ガイド</title>
 <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
-<meta name="description" content="AdLint 3.0.10 開発者ガイド">
+<meta name="description" content="AdLint 3.2.0 開発者ガイド">
 <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 3.0.10 開発者ガイド</h1>
+<h1 class="settitle">AdLint 3.2.0 開発者ガイド</h1>
 <div class="contents">
 <h2>Table of Contents</h2>
 <ul>
@@ -223,7 +223,7 @@ context                -> ctxt
 exception              -> ex
 template               -> tmpl
 format                 -> fmt
-return                 -> retn
+return                 -> ret
 current                -> cur
 replacement            -> repl
 index                  -> idx
@@ -285,6 +285,12 @@ temporary              -> tmp
 referrer-function      -> ref_fun
 sample                 -> smpl
 representative         -> repr
+descendant             -> desc
+transition             -> trans
+contributor            -> contrib
+positive               -> pos
+negative               -> neg
+evidence               -> evid
 </pre>
 
 <div class="node">

data/share/doc/developers_guide_ja.texi

@@ -2,7 +2,7 @@
 @setfilename developers_guide_ja.info
 @documentlanguage ja
 @documentencoding utf-8
-@settitle AdLint 3.0.10 開発者ガイド
+@settitle AdLint 3.2.0 開発者ガイド
 
 @copying
 Copyright (C) 2010-2013, OGIS-RI Co.,Ltd.
@@ -152,7 +152,7 @@ context                -> ctxt
 exception              -> ex
 template               -> tmpl
 format                 -> fmt
-return                 -> retn
+return                 -> ret
 current                -> cur
 replacement            -> repl
 index                  -> idx
@@ -214,6 +214,12 @@ temporary              -> tmp
 referrer-function      -> ref_fun
 sample                 -> smpl
 representative         -> repr
+descendant             -> desc
+transition             -> trans
+contributor            -> contrib
+positive               -> pos
+negative               -> neg
+evidence               -> evid
 @end verbatim
 
 

data/share/doc/users_guide_en.html

@@ -1,8 +1,8 @@
 <html lang="en">
 <head>
-<title>AdLint 3.0.10 User's Guide</title>
+<title>AdLint 3.2.0 User's Guide</title>
 <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
-<meta name="description" content="AdLint 3.0.10 User's Guide">
+<meta name="description" content="AdLint 3.2.0 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 3.0.10 User's Guide</h1>
+<h1 class="settitle">AdLint 3.2.0 User's Guide</h1>
 <div class="node">
 <a name="Top"></a>
 <p><hr>
@@ -3083,6 +3083,13 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Top">Top</a>
 <li><a href="#W9002">W9002</a>: There is no line feed character at the end of file. 
 <li><a href="#W9003">W9003</a>: An object typed `%s' is implicitly converted into an object of type `%s'. 
 <li><a href="#C0001">C0001</a>: A warning is detected as a pair of this identifier `%s'. 
+<li><a href="#C1000">C1000</a>: Warning above is detected in the following context. 
+<li><a href="#C1001">C1001</a>: This controlling-expression is evaluated to be true. 
+<li><a href="#C1002">C1002</a>: This controlling-expression is evaluated to be false. 
+<li><a href="#C1003">C1003</a>: The problematic variable is defined here without initializer. 
+<li><a href="#C1004">C1004</a>: NULL value is assigned to the the problematic variable. 
+<li><a href="#C1005">C1005</a>: A value possibly be NULL is assigned to the problematic variable. 
+<li><a href="#C1006">C1006</a>: New value is assigned to the problematic variable. 
 </ul>
 
 <div class="node">
@@ -6168,7 +6175,12 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 
 <h4 class="subsection">6.80.4 Related message</h4>
 
-<p>None.
+     <ul>
+<li><a href="#C1000">C1000</a> Warning above is detected in the following context. 
+<li><a href="#C1001">C1001</a> This controlling-expression is evaluated to be true. 
+<li><a href="#C1002">C1002</a> This controlling-expression is evaluated to be false. 
+<li><a href="#C1006">C1006</a> New value is assigned to the problematic variable. 
+</ul>
 
 <h4 class="subsection">6.80.5 Since</h4>
 
@@ -6204,7 +6216,12 @@ int b = 10 / A; /* W0096 */
 
 <h4 class="subsection">6.81.4 Related message</h4>
 
-<p>None.
+     <ul>
+<li><a href="#C1000">C1000</a> Warning above is detected in the following context. 
+<li><a href="#C1001">C1001</a> This controlling-expression is evaluated to be true. 
+<li><a href="#C1002">C1002</a> This controlling-expression is evaluated to be false. 
+<li><a href="#C1006">C1006</a> New value is assigned to the problematic variable. 
+</ul>
 
 <h4 class="subsection">6.81.5 Since</h4>
 
@@ -6249,7 +6266,12 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 
 <h4 class="subsection">6.82.4 Related message</h4>
 
-<p>None.
+     <ul>
+<li><a href="#C1000">C1000</a> Warning above is detected in the following context. 
+<li><a href="#C1001">C1001</a> This controlling-expression is evaluated to be true. 
+<li><a href="#C1002">C1002</a> This controlling-expression is evaluated to be false. 
+<li><a href="#C1006">C1006</a> New value is assigned to the problematic variable. 
+</ul>
 
 <h4 class="subsection">6.82.5 Since</h4>
 
@@ -6753,6 +6775,10 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 
      <ul>
 <li><a href="#W0116">W0116</a> Unsigned left shift operator `&lt;&lt;' can be drop high-order bit. 
+<li><a href="#C1000">C1000</a> Warning above is detected in the following context. 
+<li><a href="#C1001">C1001</a> This controlling-expression is evaluated to be true. 
+<li><a href="#C1002">C1002</a> This controlling-expression is evaluated to be false. 
+<li><a href="#C1006">C1006</a> New value is assigned to the problematic variable. 
 </ul>
 
 <h4 class="subsection">6.95.5 Since</h4>
@@ -6794,6 +6820,10 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 
      <ul>
 <li><a href="#W0115">W0115</a> Unsigned left shift operator `&lt;&lt;' drop the high-order bit. 
+<li><a href="#C1000">C1000</a> Warning above is detected in the following context. 
+<li><a href="#C1001">C1001</a> This controlling-expression is evaluated to be true. 
+<li><a href="#C1002">C1002</a> This controlling-expression is evaluated to be false. 
+<li><a href="#C1006">C1006</a> New value is assigned to the problematic variable. 
 </ul>
 
 <h4 class="subsection">6.96.5 Since</h4>
@@ -25231,7 +25261,13 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 
 <h4 class="subsection">6.394.4 Related message</h4>
 
-<p>None.
+     <ul>
+<li><a href="#C1000">C1000</a> Warning above is detected in the following context. 
+<li><a href="#C1001">C1001</a> This controlling-expression is evaluated to be true. 
+<li><a href="#C1002">C1002</a> This controlling-expression is evaluated to be false. 
+<li><a href="#C1004">C1004</a> NULL value is assigned to the the problematic variable. 
+<li><a href="#C1005">C1005</a> A value possibly be NULL is assigned to the problematic variable. 
+</ul>
 
 <h4 class="subsection">6.394.5 Since</h4>
 
@@ -25274,7 +25310,13 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 
 <h4 class="subsection">6.395.4 Related message</h4>
 
-<p>None.
+     <ul>
+<li><a href="#C1000">C1000</a> Warning above is detected in the following context. 
+<li><a href="#C1001">C1001</a> This controlling-expression is evaluated to be true. 
+<li><a href="#C1002">C1002</a> This controlling-expression is evaluated to be false. 
+<li><a href="#C1004">C1004</a> NULL value is assigned to the the problematic variable. 
+<li><a href="#C1005">C1005</a> A value possibly be NULL is assigned to the problematic variable. 
+</ul>
 
 <h4 class="subsection">6.395.5 Since</h4>
 
@@ -25316,7 +25358,13 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 
 <h4 class="subsection">6.396.4 Related message</h4>
 
-<p>None.
+     <ul>
+<li><a href="#C1000">C1000</a> Warning above is detected in the following context. 
+<li><a href="#C1001">C1001</a> This controlling-expression is evaluated to be true. 
+<li><a href="#C1002">C1002</a> This controlling-expression is evaluated to be false. 
+<li><a href="#C1004">C1004</a> NULL value is assigned to the the problematic variable. 
+<li><a href="#C1005">C1005</a> A value possibly be NULL is assigned to the problematic variable. 
+</ul>
 
 <h4 class="subsection">6.396.5 Since</h4>
 
@@ -25359,7 +25407,13 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 
 <h4 class="subsection">6.397.4 Related message</h4>
 
-<p>None.
+     <ul>
+<li><a href="#C1000">C1000</a> Warning above is detected in the following context. 
+<li><a href="#C1001">C1001</a> This controlling-expression is evaluated to be true. 
+<li><a href="#C1002">C1002</a> This controlling-expression is evaluated to be false. 
+<li><a href="#C1004">C1004</a> NULL value is assigned to the the problematic variable. 
+<li><a href="#C1005">C1005</a> A value possibly be NULL is assigned to the problematic variable. 
+</ul>
 
 <h4 class="subsection">6.397.5 Since</h4>
 
@@ -25942,6 +25996,10 @@ if(a > 0) { /* W0459 */
 <li><a href="#W0460">W0460</a> A value of variable `%s' wouldn't set when this expression is evaluated. 
 <li><a href="#W0461">W0461</a> A pointer which points the undetermined variable is used for the actual argument of the function. This program is danger. 
 <li><a href="#W0462">W0462</a> A pointer which the value will probably not set is used for the actual argument of the function. 
+<li><a href="#C1000">C1000</a> Warning above is detected in the following context. 
+<li><a href="#C1001">C1001</a> This controlling-expression is evaluated to be true. 
+<li><a href="#C1002">C1002</a> This controlling-expression is evaluated to be false. 
+<li><a href="#C1003">C1003</a> The problematic variable is defined here without initializer. 
 </ul>
 
 <h4 class="subsection">6.412.5 Since</h4>
@@ -25990,6 +26048,10 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <li><a href="#W0459">W0459</a> A value of variable `%s' doesn't set when this expression is evaluated. This program is danger. 
 <li><a href="#W0461">W0461</a> A pointer which points the undetermined variable is used for the actual argument of the function. This program is danger. 
 <li><a href="#W0462">W0462</a> A pointer which the value will probably not set is used for the actual argument of the function. 
+<li><a href="#C1000">C1000</a> Warning above is detected in the following context. 
+<li><a href="#C1001">C1001</a> This controlling-expression is evaluated to be true. 
+<li><a href="#C1002">C1002</a> This controlling-expression is evaluated to be false. 
+<li><a href="#C1003">C1003</a> The problematic variable is defined here without initializer. 
 </ul>
 
 <h4 class="subsection">6.413.5 Since</h4>
@@ -26034,6 +26096,10 @@ void func2(int a)
 <li><a href="#W0459">W0459</a> A value of variable `%s' doesn't set when this expression is evaluated. This program is danger. 
 <li><a href="#W0460">W0460</a> A value of variable `%s' wouldn't set when this expression is evaluated. 
 <li><a href="#W0462">W0462</a> A pointer which the value will probably not set is used for the actual argument of the function. 
+<li><a href="#C1000">C1000</a> Warning above is detected in the following context. 
+<li><a href="#C1001">C1001</a> This controlling-expression is evaluated to be true. 
+<li><a href="#C1002">C1002</a> This controlling-expression is evaluated to be false. 
+<li><a href="#C1003">C1003</a> The problematic variable is defined here without initializer. 
 </ul>
 
 <h4 class="subsection">6.414.5 Since</h4>
@@ -26083,6 +26149,10 @@ int func2(int a)
 <li><a href="#W0459">W0459</a> A value of variable `%s' doesn't set when this expression is evaluated. This program is danger. 
 <li><a href="#W0460">W0460</a> A value of variable `%s' wouldn't set when this expression is evaluated. 
 <li><a href="#W0461">W0461</a> A pointer which points the undetermined variable is used for the actual argument of the function. This program is danger. 
+<li><a href="#C1000">C1000</a> Warning above is detected in the following context. 
+<li><a href="#C1001">C1001</a> This controlling-expression is evaluated to be true. 
+<li><a href="#C1002">C1002</a> This controlling-expression is evaluated to be false. 
+<li><a href="#C1003">C1003</a> The problematic variable is defined here without initializer. 
 </ul>
 
 <h4 class="subsection">6.415.5 Since</h4>
@@ -28355,6 +28425,10 @@ int b = -5 &lt;&lt; 1; /* W0568 */
      <ul>
 <li><a href="#W0569">W0569</a> The result of left shift operation against the signed expression value is undefined. 
 <li><a href="#W0570">W0570</a> This signed left shift operation may make undefined value. 
+<li><a href="#C1000">C1000</a> Warning above is detected in the following context. 
+<li><a href="#C1001">C1001</a> This controlling-expression is evaluated to be true. 
+<li><a href="#C1002">C1002</a> This controlling-expression is evaluated to be false. 
+<li><a href="#C1006">C1006</a> New value is assigned to the problematic variable. 
 </ul>
 
 <h4 class="subsection">6.470.5 Since</h4>
@@ -28403,6 +28477,10 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
      <ul>
 <li><a href="#W0568">W0568</a> The result of left shift operation against the signed constant expression value is undefined. 
 <li><a href="#W0570">W0570</a> This signed left shift operation may make undefined value. 
+<li><a href="#C1000">C1000</a> Warning above is detected in the following context. 
+<li><a href="#C1001">C1001</a> This controlling-expression is evaluated to be true. 
+<li><a href="#C1002">C1002</a> This controlling-expression is evaluated to be false. 
+<li><a href="#C1006">C1006</a> New value is assigned to the problematic variable. 
 </ul>
 
 <h4 class="subsection">6.471.5 Since</h4>
@@ -28451,6 +28529,10 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
      <ul>
 <li><a href="#W0568">W0568</a> The result of left shift operation against the signed constant expression value is undefined. 
 <li><a href="#W0569">W0569</a> The result of left shift operation against the signed expression value is undefined. 
+<li><a href="#C1000">C1000</a> Warning above is detected in the following context. 
+<li><a href="#C1001">C1001</a> This controlling-expression is evaluated to be true. 
+<li><a href="#C1002">C1002</a> This controlling-expression is evaluated to be false. 
+<li><a href="#C1006">C1006</a> New value is assigned to the problematic variable. 
 </ul>
 
 <h4 class="subsection">6.472.5 Since</h4>
@@ -29592,6 +29674,10 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 
      <ul>
 <li><a href="#W0608">W0608</a> An integer expression which the value might be minus converted to unsigned type. 
+<li><a href="#C1000">C1000</a> Warning above is detected in the following context. 
+<li><a href="#C1001">C1001</a> This controlling-expression is evaluated to be true. 
+<li><a href="#C1002">C1002</a> This controlling-expression is evaluated to be false. 
+<li><a href="#C1006">C1006</a> New value is assigned to the problematic variable. 
 </ul>
 
 <h4 class="subsection">6.498.5 Since</h4>
@@ -29635,6 +29721,10 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 
      <ul>
 <li><a href="#W0607">W0607</a> An integer expression which the value which the value is minus converted to unsigned type. 
+<li><a href="#C1000">C1000</a> Warning above is detected in the following context. 
+<li><a href="#C1001">C1001</a> This controlling-expression is evaluated to be true. 
+<li><a href="#C1002">C1002</a> This controlling-expression is evaluated to be false. 
+<li><a href="#C1006">C1006</a> New value is assigned to the problematic variable. 
 </ul>
 
 <h4 class="subsection">6.499.5 Since</h4>
@@ -33946,7 +34036,12 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 
 <h4 class="subsection">6.581.4 Related message</h4>
 
-<p>None.
+     <ul>
+<li><a href="#C1000">C1000</a> Warning above is detected in the following context. 
+<li><a href="#C1001">C1001</a> This controlling-expression is evaluated to be true. 
+<li><a href="#C1002">C1002</a> This controlling-expression is evaluated to be false. 
+<li><a href="#C1006">C1006</a> New value is assigned to the problematic variable. 
+</ul>
 
 <h4 class="subsection">6.581.5 Since</h4>
 
@@ -33986,7 +34081,12 @@ int foo(void)
 
 <h4 class="subsection">6.582.4 Related message</h4>
 
-<p>None.
+     <ul>
+<li><a href="#C1000">C1000</a> Warning above is detected in the following context. 
+<li><a href="#C1001">C1001</a> This controlling-expression is evaluated to be true. 
+<li><a href="#C1002">C1002</a> This controlling-expression is evaluated to be false. 
+<li><a href="#C1006">C1006</a> New value is assigned to the problematic variable. 
+</ul>
 
 <h4 class="subsection">6.582.5 Since</h4>
 
@@ -34429,7 +34529,12 @@ signed char sc4 = (signed char) -129.5; /* W0720 */
 
 <h4 class="subsection">6.593.4 Related message</h4>
 
-<p>None.
+     <ul>
+<li><a href="#C1000">C1000</a> Warning above is detected in the following context. 
+<li><a href="#C1001">C1001</a> This controlling-expression is evaluated to be true. 
+<li><a href="#C1002">C1002</a> This controlling-expression is evaluated to be false. 
+<li><a href="#C1006">C1006</a> New value is assigned to the problematic variable. 
+</ul>
 
 <h4 class="subsection">6.593.5 Since</h4>
 
@@ -35448,7 +35553,12 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 
 <h4 class="subsection">6.617.4 Related message</h4>
 
-<p>None.
+     <ul>
+<li><a href="#C1000">C1000</a> Warning above is detected in the following context. 
+<li><a href="#C1001">C1001</a> This controlling-expression is evaluated to be true. 
+<li><a href="#C1002">C1002</a> This controlling-expression is evaluated to be false. 
+<li><a href="#C1006">C1006</a> New value is assigned to the problematic variable. 
+</ul>
 
 <h4 class="subsection">6.617.5 Since</h4>
 
@@ -39752,6 +39862,10 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <li><a href="#W1050">W1050</a> The result of conversion to signed integer type in integer expression is not express by a signed type. 
 <li><a href="#W1051">W1051</a> The result of unsigned arithmetic expression typed `%s' is going around 0 by overflow. 
 <li><a href="#W1052">W1052</a> The result of unsigned arithmetic expression typed `%s' can be going around by overflow. 
+<li><a href="#C1000">C1000</a> Warning above is detected in the following context. 
+<li><a href="#C1001">C1001</a> This controlling-expression is evaluated to be true. 
+<li><a href="#C1002">C1002</a> This controlling-expression is evaluated to be false. 
+<li><a href="#C1006">C1006</a> New value is assigned to the problematic variable. 
 </ul>
 
 <h4 class="subsection">6.713.5 Since</h4>
@@ -39805,6 +39919,10 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <li><a href="#W1049">W1049</a> The result of conversion to signed integer type in integer expression might not be expressed by a signed type. 
 <li><a href="#W1051">W1051</a> The result of unsigned arithmetic expression typed `%s' is going around 0 by overflow. 
 <li><a href="#W1052">W1052</a> The result of unsigned arithmetic expression typed `%s' can be going around by overflow. 
+<li><a href="#C1000">C1000</a> Warning above is detected in the following context. 
+<li><a href="#C1001">C1001</a> This controlling-expression is evaluated to be true. 
+<li><a href="#C1002">C1002</a> This controlling-expression is evaluated to be false. 
+<li><a href="#C1006">C1006</a> New value is assigned to the problematic variable. 
 </ul>
 
 <h4 class="subsection">6.714.5 Since</h4>
@@ -41237,6 +41355,7 @@ static void bar(void)
 <div class="node">
 <a name="C0001"></a>
 <p><hr>
+Next:&nbsp;<a rel="next" accesskey="n" href="#C1000">C1000</a>,
 Previous:&nbsp;<a rel="previous" accesskey="p" href="#W9003">W9003</a>,
 Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 
@@ -41271,6 +41390,487 @@ int very_long_long_long_long_long_long_long_identifier_2 = 1; /* W0052 */
 
 <p>1.0.0
 
+<div class="node">
+<a name="C1000"></a>
+<p><hr>
+Next:&nbsp;<a rel="next" accesskey="n" href="#C1001">C1001</a>,
+Previous:&nbsp;<a rel="previous" accesskey="p" href="#C0001">C0001</a>,
+Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
+
+</div>
+
+<h3 class="section">6.746 C1000</h3>
+
+<p><a name="index-C1000-793"></a>
+
+<h4 class="subsection">6.746.1 Message body</h4>
+
+<p>Warning above is detected in the following context.
+
+<h4 class="subsection">6.746.2 Content</h4>
+
+<p>This message indicates that the above <a href="#W0093">W0093</a>, <a href="#W0096">W0096</a>,
+<a href="#W0097">W0097</a>, <a href="#W0115">W0115</a>, <a href="#W0116">W0116</a>, <a href="#W0421">W0421</a>,
+<a href="#W0422">W0422</a>, <a href="#W0423">W0423</a>, <a href="#W0424">W0424</a>, <a href="#W0459">W0459</a>,
+<a href="#W0460">W0460</a>, <a href="#W0461">W0461</a>, <a href="#W0462">W0462</a>, <a href="#W0568">W0568</a>,
+<a href="#W0569">W0569</a>, <a href="#W0570">W0570</a>, <a href="#W0607">W0607</a>, <a href="#W0608">W0608</a>,
+<a href="#W0705">W0705</a>, <a href="#W0707">W0707</a>, <a href="#W0720">W0720</a>, <a href="#W0745">W0745</a>,
+<a href="#W1049">W1049</a> and <a href="#W1050">W1050</a> warnings are detected in the context
+described by the following messages.
+
+<h4 class="subsection">6.746.3 Sample code</h4>
+
+<pre class="verbatim"> 1: int foo(int i)
+ 2: {
+ 3:     int j; /* C1003 */
+ 4: 
+ 5:     if (i &lt; 0) { /* C1001 */
+ 6:         if (i &lt; -10) { /* C1002 */
+ 7:             j = 2;
+ 8:         }
+ 9:         else if (i &lt; -5) { /* C1002 */
+10:             j = 3;
+11:         }
+12:     }
+13:     else {
+14:         j = 1;
+15:     }
+16: 
+17:     return j; /* W0460 */
+18: }
+
+a.c:17:12:warning:c_builtin:W0460:UNC:X99:A value of variable `j' wouldn't set when this expression is evaluated.
+:::context:c_builtin:C1000:INF:X99:Warning above is detected in the following context.
+a.c:3:9:context:c_builtin:C1003:INF:X99:The problematic variable is defined here without initializer.
+a.c:5:11:context:c_builtin:C1001:INF:X99:This controlling-expression is evaluated to be true.
+a.c:6:15:context:c_builtin:C1002:INF:X99:This controlling-expression is evaluated to be false.
+a.c:9:20:context:c_builtin:C1002:INF:X99:This controlling-expression is evaluated to be false.
+</pre>
+
+<h4 class="subsection">6.746.4 Related message</h4>
+
+     <ul>
+<li><a href="#C1001">C1001</a> This controlling-expression is evaluated to be true. 
+<li><a href="#C1002">C1002</a> This controlling-expression is evaluated to be false. 
+<li><a href="#C1003">C1003</a> The problematic variable is defined here without initializer. 
+<li><a href="#C1004">C1004</a> NULL value is assigned to the the problematic variable. 
+<li><a href="#C1005">C1005</a> A value possibly be NULL is assigned to the problematic variable. 
+<li><a href="#C1006">C1006</a> New value is assigned to the problematic variable. 
+</ul>
+
+<h4 class="subsection">6.746.5 Since</h4>
+
+<p>3.2.0
+
+<div class="node">
+<a name="C1001"></a>
+<p><hr>
+Next:&nbsp;<a rel="next" accesskey="n" href="#C1002">C1002</a>,
+Previous:&nbsp;<a rel="previous" accesskey="p" href="#C1000">C1000</a>,
+Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
+
+</div>
+
+<h3 class="section">6.747 C1001</h3>
+
+<p><a name="index-C1001-794"></a>
+
+<h4 class="subsection">6.747.1 Message body</h4>
+
+<p>This controlling-expression is evaluated to be true.
+
+<h4 class="subsection">6.747.2 Content</h4>
+
+<p>This message indicates that the controlling-expression was evaluated as true in
+the context of detecting <a href="#W0093">W0093</a>, <a href="#W0096">W0096</a>,
+<a href="#W0097">W0097</a>, <a href="#W0115">W0115</a>, <a href="#W0116">W0116</a>, <a href="#W0421">W0421</a>,
+<a href="#W0422">W0422</a>, <a href="#W0423">W0423</a>, <a href="#W0424">W0424</a>, <a href="#W0459">W0459</a>,
+<a href="#W0460">W0460</a>, <a href="#W0461">W0461</a>, <a href="#W0462">W0462</a>, <a href="#W0568">W0568</a>,
+<a href="#W0569">W0569</a>, <a href="#W0570">W0570</a>, <a href="#W0607">W0607</a>, <a href="#W0608">W0608</a>,
+<a href="#W0705">W0705</a>, <a href="#W0707">W0707</a>, <a href="#W0720">W0720</a>, <a href="#W0745">W0745</a>,
+<a href="#W1049">W1049</a> and <a href="#W1050">W1050</a> warnings.
+
+<h4 class="subsection">6.747.3 Sample code</h4>
+
+<pre class="verbatim">int foo(int i)
+{
+    int j; /* C1003 */
+
+    if (i &lt; 0) { /* C1001 */
+        if (i &lt; -10) { /* C1002 */
+            j = 2;
+        }
+        else if (i &lt; -5) { /* C1002 */
+            j = 3;
+        }
+    }
+    else {
+        j = 1;
+    }
+
+    return j; /* W0460 */
+}
+</pre>
+
+<h4 class="subsection">6.747.4 Related message</h4>
+
+     <ul>
+<li><a href="#W0093">W0093</a> This expression may cause division-by-zero. 
+<li><a href="#W0096">W0096</a> It divided by a constant expression which definitely zero. 
+<li><a href="#W0097">W0097</a> This expression must cause division-by-zero. 
+<li><a href="#W0115">W0115</a> Unsigned left shift operator `&lt;&lt;' drop the high-order bit. 
+<li><a href="#W0116">W0116</a> Unsigned left shift operator `&lt;&lt;' can be drop high-order bit. 
+<li><a href="#W0421">W0421</a> Value of the dereferencing pointer must be NULL. 
+<li><a href="#W0422">W0422</a> Value of the dereferencing pointer may be NULL. 
+<li><a href="#W0423">W0423</a> Arithmetic operation is being made to the pointer which its value will be NULL. 
+<li><a href="#W0424">W0424</a> Arithmetic operation is being made to the pointer which its value might be NULL. 
+<li><a href="#W0459">W0459</a> A value of variable `%s' doesn't set when this expression is evaluated. This program is danger. 
+<li><a href="#W0460">W0460</a> A value of variable `%s' wouldn't set when this expression is evaluated. 
+<li><a href="#W0461">W0461</a> A pointer which points the undetermined variable is used for the actual argument of the function. This program is danger. 
+<li><a href="#W0462">W0462</a> A pointer which the value will probably not set is used for the actual argument of the function. 
+<li><a href="#W0568">W0568</a> The result of left shift operation against the signed constant expression value is undefined. 
+<li><a href="#W0569">W0569</a> The result of left shift operation against the signed expression value is undefined. 
+<li><a href="#W0570">W0570</a> This signed left shift operation may make undefined value. 
+<li><a href="#W0607">W0607</a> An integer expression which the value which the value is minus converted to unsigned type. 
+<li><a href="#W0608">W0608</a> An integer expression which the value might be minus converted to unsigned type. 
+<li><a href="#W0705">W0705</a> This non-constant array subscript may cause out-of-range access. 
+<li><a href="#W0707">W0707</a> This constant array subscript must cause out-of-range access. 
+<li><a href="#W0720">W0720</a> The value with floating-point type doesn't fit in the range of converted type. 
+<li><a href="#W0745">W0745</a> This non-constant array subscript may cause out-of-range access. 
+<li><a href="#W1049">W1049</a> The result of conversion to signed integer type in integer expression might not be expressed by a signed type. 
+<li><a href="#W1050">W1050</a> The result of conversion to signed integer type in integer expression is not express by a signed type. 
+</ul>
+
+<h4 class="subsection">6.747.5 Since</h4>
+
+<p>3.2.0
+
+<div class="node">
+<a name="C1002"></a>
+<p><hr>
+Next:&nbsp;<a rel="next" accesskey="n" href="#C1003">C1003</a>,
+Previous:&nbsp;<a rel="previous" accesskey="p" href="#C1001">C1001</a>,
+Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
+
+</div>
+
+<h3 class="section">6.748 C1002</h3>
+
+<p><a name="index-C1002-795"></a>
+
+<h4 class="subsection">6.748.1 Message body</h4>
+
+<p>This controlling-expression is evaluated to be false.
+
+<h4 class="subsection">6.748.2 Content</h4>
+
+<p>This message indicates that the controlling-expression was evaluated as false
+in the context of detecting <a href="#W0093">W0093</a>, <a href="#W0096">W0096</a>,
+<a href="#W0097">W0097</a>, <a href="#W0115">W0115</a>, <a href="#W0116">W0116</a>, <a href="#W0421">W0421</a>,
+<a href="#W0422">W0422</a>, <a href="#W0423">W0423</a>, <a href="#W0424">W0424</a>, <a href="#W0459">W0459</a>,
+<a href="#W0460">W0460</a>, <a href="#W0461">W0461</a>, <a href="#W0462">W0462</a>, <a href="#W0568">W0568</a>,
+<a href="#W0569">W0569</a>, <a href="#W0570">W0570</a>, <a href="#W0607">W0607</a>, <a href="#W0608">W0608</a>,
+<a href="#W0705">W0705</a>, <a href="#W0707">W0707</a>, <a href="#W0720">W0720</a>, <a href="#W0745">W0745</a>,
+<a href="#W1049">W1049</a> and <a href="#W1050">W1050</a> warnings.
+
+<h4 class="subsection">6.748.3 Sample code</h4>
+
+<pre class="verbatim">int foo(int i)
+{
+    int j; /* C1003 */
+
+    if (i &lt; 0) { /* C1001 */
+        if (i &lt; -10) { /* C1002 */
+            j = 2;
+        }
+        else if (i &lt; -5) { /* C1002 */
+            j = 3;
+        }
+    }
+    else {
+        j = 1;
+    }
+
+    return j; /* W0460 */
+}
+</pre>
+
+<h4 class="subsection">6.748.4 Related message</h4>
+
+     <ul>
+<li><a href="#W0093">W0093</a> This expression may cause division-by-zero. 
+<li><a href="#W0096">W0096</a> It divided by a constant expression which definitely zero. 
+<li><a href="#W0097">W0097</a> This expression must cause division-by-zero. 
+<li><a href="#W0115">W0115</a> Unsigned left shift operator `&lt;&lt;' drop the high-order bit. 
+<li><a href="#W0116">W0116</a> Unsigned left shift operator `&lt;&lt;' can be drop high-order bit. 
+<li><a href="#W0421">W0421</a> Value of the dereferencing pointer must be NULL. 
+<li><a href="#W0422">W0422</a> Value of the dereferencing pointer may be NULL. 
+<li><a href="#W0423">W0423</a> Arithmetic operation is being made to the pointer which its value will be NULL. 
+<li><a href="#W0424">W0424</a> Arithmetic operation is being made to the pointer which its value might be NULL. 
+<li><a href="#W0459">W0459</a> A value of variable `%s' doesn't set when this expression is evaluated. This program is danger. 
+<li><a href="#W0460">W0460</a> A value of variable `%s' wouldn't set when this expression is evaluated. 
+<li><a href="#W0461">W0461</a> A pointer which points the undetermined variable is used for the actual argument of the function. This program is danger. 
+<li><a href="#W0462">W0462</a> A pointer which the value will probably not set is used for the actual argument of the function. 
+<li><a href="#W0568">W0568</a> The result of left shift operation against the signed constant expression value is undefined. 
+<li><a href="#W0569">W0569</a> The result of left shift operation against the signed expression value is undefined. 
+<li><a href="#W0570">W0570</a> This signed left shift operation may make undefined value. 
+<li><a href="#W0607">W0607</a> An integer expression which the value which the value is minus converted to unsigned type. 
+<li><a href="#W0608">W0608</a> An integer expression which the value might be minus converted to unsigned type. 
+<li><a href="#W0705">W0705</a> This non-constant array subscript may cause out-of-range access. 
+<li><a href="#W0707">W0707</a> This constant array subscript must cause out-of-range access. 
+<li><a href="#W0720">W0720</a> The value with floating-point type doesn't fit in the range of converted type. 
+<li><a href="#W0745">W0745</a> This non-constant array subscript may cause out-of-range access. 
+<li><a href="#W1049">W1049</a> The result of conversion to signed integer type in integer expression might not be expressed by a signed type. 
+<li><a href="#W1050">W1050</a> The result of conversion to signed integer type in integer expression is not express by a signed type. 
+</ul>
+
+<h4 class="subsection">6.748.5 Since</h4>
+
+<p>3.2.0
+
+<div class="node">
+<a name="C1003"></a>
+<p><hr>
+Next:&nbsp;<a rel="next" accesskey="n" href="#C1004">C1004</a>,
+Previous:&nbsp;<a rel="previous" accesskey="p" href="#C1002">C1002</a>,
+Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
+
+</div>
+
+<h3 class="section">6.749 C1003</h3>
+
+<p><a name="index-C1003-796"></a>
+
+<h4 class="subsection">6.749.1 Message body</h4>
+
+<p>The problematic variable is defined here without initializer.
+
+<h4 class="subsection">6.749.2 Content</h4>
+
+<p>This message indicates where the problematic variable is defined in the context
+of detecting <a href="#W0459">W0459</a>, <a href="#W0460">W0460</a>, <a href="#W0461">W0461</a> and
+<a href="#W0462">W0462</a> warnings.
+
+<h4 class="subsection">6.749.3 Sample code</h4>
+
+<pre class="verbatim">int foo(int i)
+{
+    int j; /* C1003 */
+
+    if (i &lt; 0) { /* C1001 */
+        if (i &lt; -10) { /* C1002 */
+            j = 2;
+        }
+        else if (i &lt; -5) { /* C1002 */
+            j = 3;
+        }
+    }
+    else {
+        j = 1;
+    }
+
+    return j; /* W0460 */
+}
+</pre>
+
+<h4 class="subsection">6.749.4 Related message</h4>
+
+     <ul>
+<li><a href="#W0459">W0459</a> A value of variable `%s' doesn't set when this expression is evaluated. This program is danger. 
+<li><a href="#W0460">W0460</a> A value of variable `%s' wouldn't set when this expression is evaluated. 
+<li><a href="#W0461">W0461</a> A pointer which points the undetermined variable is used for the actual argument of the function. This program is danger. 
+<li><a href="#W0462">W0462</a> A pointer which the value will probably not set is used for the actual argument of the function. 
+</ul>
+
+<h4 class="subsection">6.749.5 Since</h4>
+
+<p>3.2.0
+
+<div class="node">
+<a name="C1004"></a>
+<p><hr>
+Next:&nbsp;<a rel="next" accesskey="n" href="#C1005">C1005</a>,
+Previous:&nbsp;<a rel="previous" accesskey="p" href="#C1003">C1003</a>,
+Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
+
+</div>
+
+<h3 class="section">6.750 C1004</h3>
+
+<p><a name="index-C1004-797"></a>
+
+<h4 class="subsection">6.750.1 Message body</h4>
+
+<p>NULL value is assigned to the the problematic variable.
+
+<h4 class="subsection">6.750.2 Content</h4>
+
+<p>This message indicates where the NULL value was assigned to the problematic
+variable in the context of detecting <a href="#W0421">W0421</a>, <a href="#W0422">W0422</a>,
+<a href="#W0423">W0423</a> and <a href="#W0424">W0424</a> warnings.
+
+<h4 class="subsection">6.750.3 Sample code</h4>
+
+<pre class="verbatim">extern int *bar(void);
+extern int *baz(void);
+
+void foo(int i)
+{
+    int *p = NULL; /* C1004 */
+
+    if (i &lt; 0) { /* C1002 */
+        p = bar();
+        if (!p) {
+            return;
+        }
+    }
+    else {
+        p = baz(); /* C1005 */
+    }
+
+    *p += 2; /* W0422 */
+}
+</pre>
+
+<h4 class="subsection">6.750.4 Related message</h4>
+
+     <ul>
+<li><a href="#W0421">W0421</a> Value of the dereferencing pointer must be NULL. 
+<li><a href="#W0422">W0422</a> Value of the dereferencing pointer may be NULL. 
+<li><a href="#W0423">W0423</a> Arithmetic operation is being made to the pointer which its value will be NULL. 
+<li><a href="#W0424">W0424</a> Arithmetic operation is being made to the pointer which its value might be NULL. 
+</ul>
+
+<h4 class="subsection">6.750.5 Since</h4>
+
+<p>3.2.0
+
+<div class="node">
+<a name="C1005"></a>
+<p><hr>
+Next:&nbsp;<a rel="next" accesskey="n" href="#C1006">C1006</a>,
+Previous:&nbsp;<a rel="previous" accesskey="p" href="#C1004">C1004</a>,
+Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
+
+</div>
+
+<h3 class="section">6.751 C1005</h3>
+
+<p><a name="index-C1005-798"></a>
+
+<h4 class="subsection">6.751.1 Message body</h4>
+
+<p>A value possibly be NULL is assigned to the problematic variable.
+
+<h4 class="subsection">6.751.2 Content</h4>
+
+<p>This message indicates where the value possibly be NULL was assigned to the
+problematic variable in the context of detecting <a href="#W0421">W0421</a>,
+<a href="#W0422">W0422</a>, <a href="#W0423">W0423</a> and <a href="#W0424">W0424</a> warnings.
+
+<h4 class="subsection">6.751.3 Sample code</h4>
+
+<pre class="verbatim">extern int *bar(void);
+extern int *baz(void);
+
+void foo(int i)
+{
+    int *p = NULL; /* C1004 */
+
+    if (i &lt; 0) { /* C1002 */
+        p = bar();
+        if (!p) {
+            return;
+        }
+    }
+    else {
+        p = baz(); /* C1005 */
+    }
+
+    *p += 2; /* W0422 */
+}
+</pre>
+
+<h4 class="subsection">6.751.4 Related message</h4>
+
+     <ul>
+<li><a href="#W0421">W0421</a> Value of the dereferencing pointer must be NULL. 
+<li><a href="#W0422">W0422</a> Value of the dereferencing pointer may be NULL. 
+<li><a href="#W0423">W0423</a> Arithmetic operation is being made to the pointer which its value will be NULL. 
+<li><a href="#W0424">W0424</a> Arithmetic operation is being made to the pointer which its value might be NULL. 
+</ul>
+
+<h4 class="subsection">6.751.5 Since</h4>
+
+<p>3.2.0
+
+<div class="node">
+<a name="C1006"></a>
+<p><hr>
+Previous:&nbsp;<a rel="previous" accesskey="p" href="#C1005">C1005</a>,
+Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
+
+</div>
+
+<h3 class="section">6.752 C1006</h3>
+
+<p><a name="index-C1006-799"></a>
+
+<h4 class="subsection">6.752.1 Message body</h4>
+
+<p>New value is assigned to the problematic variable.
+
+<h4 class="subsection">6.752.2 Content</h4>
+
+<p>This message indicates where a value was assigned to the problematic variable
+in the context of detecting <a href="#W0093">W0093</a>, <a href="#W0096">W0096</a>,
+<a href="#W0097">W0097</a>, <a href="#W0115">W0115</a>, <a href="#W0116">W0116</a>, <a href="#W0568">W0568</a>,
+<a href="#W0569">W0569</a>, <a href="#W0570">W0570</a>, <a href="#W0607">W0607</a>, <a href="#W0608">W0608</a>,
+<a href="#W0705">W0705</a>, <a href="#W0707">W0707</a>, <a href="#W0720">W0720</a>, <a href="#W0745">W0745</a>,
+<a href="#W1049">W1049</a> and <a href="#W1050">W1050</a> warnings.
+
+<h4 class="subsection">6.752.3 Sample code</h4>
+
+<pre class="verbatim">int foo(int i)
+{
+    int j = 0; /* C1006 */
+
+    if (i &lt; 0) { /* C1002 */
+        j = -i;
+    }
+    else if (i > 0) { /* C1002 */
+        j = i;
+    }
+
+    return 5 / j; /* W0093 */
+}
+</pre>
+
+<h4 class="subsection">6.752.4 Related message</h4>
+
+     <ul>
+<li><a href="#W0093">W0093</a> This expression may cause division-by-zero. 
+<li><a href="#W0096">W0096</a> It divided by a constant expression which definitely zero. 
+<li><a href="#W0097">W0097</a> This expression must cause division-by-zero. 
+<li><a href="#W0115">W0115</a> Unsigned left shift operator `&lt;&lt;' drop the high-order bit. 
+<li><a href="#W0116">W0116</a> Unsigned left shift operator `&lt;&lt;' can be drop high-order bit. 
+<li><a href="#W0568">W0568</a> The result of left shift operation against the signed constant expression value is undefined. 
+<li><a href="#W0569">W0569</a> The result of left shift operation against the signed expression value is undefined. 
+<li><a href="#W0570">W0570</a> This signed left shift operation may make undefined value. 
+<li><a href="#W0607">W0607</a> An integer expression which the value which the value is minus converted to unsigned type. 
+<li><a href="#W0608">W0608</a> An integer expression which the value might be minus converted to unsigned type. 
+<li><a href="#W0705">W0705</a> This non-constant array subscript may cause out-of-range access. 
+<li><a href="#W0707">W0707</a> This constant array subscript must cause out-of-range access. 
+<li><a href="#W0720">W0720</a> The value with floating-point type doesn't fit in the range of converted type. 
+<li><a href="#W0745">W0745</a> This non-constant array subscript may cause out-of-range access. 
+<li><a href="#W1049">W1049</a> The result of conversion to signed integer type in integer expression might not be expressed by a signed type. 
+<li><a href="#W1050">W1050</a> The result of conversion to signed integer type in integer expression is not express by a signed type. 
+</ul>
+
+<h4 class="subsection">6.752.5 Since</h4>
+
+<p>3.2.0
+
 <div class="node">
 <a name="Metrics"></a>
 <p><hr>
@@ -41311,7 +41911,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Metrics">Metrics</a>
 
 <h3 class="section">7.1 FL_STMT</h3>
 
-<p><a name="index-FL_005fSTMT-793"></a>
+<p><a name="index-FL_005fSTMT-800"></a>
 
 <h4 class="subsection">7.1.1 Metric name</h4>
 
@@ -41382,7 +41982,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Metrics">Metrics</a>
 
 <h3 class="section">7.2 FL_FUNC</h3>
 
-<p><a name="index-FL_005fFUNC-794"></a>
+<p><a name="index-FL_005fFUNC-801"></a>
 
 <h4 class="subsection">7.2.1 Metric name</h4>
 
@@ -41427,7 +42027,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Metrics">Metrics</a>
 
 <h3 class="section">7.3 FN_STMT</h3>
 
-<p><a name="index-FN_005fSTMT-795"></a>
+<p><a name="index-FN_005fSTMT-802"></a>
 
 <h4 class="subsection">7.3.1 Metric name</h4>
 
@@ -41499,7 +42099,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Metrics">Metrics</a>
 
 <h3 class="section">7.4 FN_UNRC</h3>
 
-<p><a name="index-FN_005fUNRC-796"></a>
+<p><a name="index-FN_005fUNRC-803"></a>
 
 <h4 class="subsection">7.4.1 Metric name</h4>
 
@@ -41578,7 +42178,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Metrics">Metrics</a>
 
 <h3 class="section">7.5 FN_LINE</h3>
 
-<p><a name="index-FN_005fLINE-797"></a>
+<p><a name="index-FN_005fLINE-804"></a>
 
 <h4 class="subsection">7.5.1 Metric name</h4>
 
@@ -41637,7 +42237,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Metrics">Metrics</a>
 
 <h3 class="section">7.6 FN_PARA</h3>
 
-<p><a name="index-FN_005fPARA-798"></a>
+<p><a name="index-FN_005fPARA-805"></a>
 
 <h4 class="subsection">7.6.1 Metric name</h4>
 
@@ -41683,7 +42283,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Metrics">Metrics</a>
 
 <h3 class="section">7.7 FN_UNUV</h3>
 
-<p><a name="index-FN_005fUNUV-799"></a>
+<p><a name="index-FN_005fUNUV-806"></a>
 
 <h4 class="subsection">7.7.1 Metric name</h4>
 
@@ -41733,7 +42333,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Metrics">Metrics</a>
 
 <h3 class="section">7.8 FN_CSUB</h3>
 
-<p><a name="index-FN_005fCSUB-800"></a>
+<p><a name="index-FN_005fCSUB-807"></a>
 
 <h4 class="subsection">7.8.1 Metric name</h4>
 
@@ -41826,7 +42426,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Metrics">Metrics</a>
 
 <h3 class="section">7.10 FN_GOTO</h3>
 
-<p><a name="index-FN_005fGOTO-801"></a>
+<p><a name="index-FN_005fGOTO-808"></a>
 
 <h4 class="subsection">7.10.1 Metric name</h4>
 
@@ -41877,7 +42477,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Metrics">Metrics</a>
 
 <h3 class="section">7.11 FN_RETN</h3>
 
-<p><a name="index-FN_005fRETN-802"></a>
+<p><a name="index-FN_005fRETN-809"></a>
 
 <h4 class="subsection">7.11.1 Metric name</h4>
 
@@ -41950,7 +42550,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Metrics">Metrics</a>
 
 <h3 class="section">7.12 FN_UELS</h3>
 
-<p><a name="index-FN_005fUELS-803"></a>
+<p><a name="index-FN_005fUELS-810"></a>
 
 <h4 class="subsection">7.12.1 Metric name</h4>
 
@@ -42010,7 +42610,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Metrics">Metrics</a>
 
 <h3 class="section">7.13 FN_NEST</h3>
 
-<p><a name="index-FN_005fNEST-804"></a>
+<p><a name="index-FN_005fNEST-811"></a>
 
 <h4 class="subsection">7.13.1 Metric name</h4>
 
@@ -42081,7 +42681,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Metrics">Metrics</a>
 
 <h3 class="section">7.14 FN_PATH</h3>
 
-<p><a name="index-FN_005fPATH-805"></a>
+<p><a name="index-FN_005fPATH-812"></a>
 
 <h4 class="subsection">7.14.1 Metric name</h4>
 
@@ -42238,7 +42838,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Metrics">Metrics</a>
 
 <h3 class="section">7.15 FN_CYCM</h3>
 
-<p><a name="index-FN_005fCYCM-806"></a>
+<p><a name="index-FN_005fCYCM-813"></a>
 
 <h4 class="subsection">7.15.1 Metric name</h4>
 
@@ -42379,7 +42979,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#CodeStructures">CodeStructures</a>
 
 <h3 class="section">8.1 VER</h3>
 
-<p><a name="index-VER-807"></a>
+<p><a name="index-VER-814"></a>
 
 <h4 class="subsection">8.1.1 Code structure information name</h4>
 
@@ -42409,7 +43009,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#CodeStructures">CodeStructures</a>
 
 <h3 class="section">8.2 DCL(T)</h3>
 
-<p><a name="index-DCL_0028T_0029-808"></a>
+<p><a name="index-DCL_0028T_0029-815"></a>
 
 <h4 class="subsection">8.2.1 Code structure information name</h4>
 
@@ -42439,7 +43039,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#CodeStructures">CodeStructures</a>
 
 <h3 class="section">8.3 DCL(V)</h3>
 
-<p><a name="index-DCL_0028V_0029-809"></a>
+<p><a name="index-DCL_0028V_0029-816"></a>
 
 <h4 class="subsection">8.3.1 Code structure information name</h4>
 
@@ -42469,7 +43069,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#CodeStructures">CodeStructures</a>
 
 <h3 class="section">8.4 DCL(F)</h3>
 
-<p><a name="index-DCL_0028F_0029-810"></a>
+<p><a name="index-DCL_0028F_0029-817"></a>
 
 <h4 class="subsection">8.4.1 Code structure information name</h4>
 
@@ -42499,7 +43099,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#CodeStructures">CodeStructures</a>
 
 <h3 class="section">8.5 DEF(V)</h3>
 
-<p><a name="index-DEF_0028V_0029-811"></a>
+<p><a name="index-DEF_0028V_0029-818"></a>
 
 <h4 class="subsection">8.5.1 Code structure information name</h4>
 
@@ -42529,7 +43129,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#CodeStructures">CodeStructures</a>
 
 <h3 class="section">8.6 DEF(F)</h3>
 
-<p><a name="index-DEF_0028F_0029-812"></a>
+<p><a name="index-DEF_0028F_0029-819"></a>
 
 <h4 class="subsection">8.6.1 Code structure information name</h4>
 
@@ -42559,7 +43159,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#CodeStructures">CodeStructures</a>
 
 <h3 class="section">8.7 DEF(M)</h3>
 
-<p><a name="index-DEF_0028M_0029-813"></a>
+<p><a name="index-DEF_0028M_0029-820"></a>
 
 <h4 class="subsection">8.7.1 Code structure information name</h4>
 
@@ -42589,7 +43189,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#CodeStructures">CodeStructures</a>
 
 <h3 class="section">8.8 DEF(L)</h3>
 
-<p><a name="index-DEF_0028L_0029-814"></a>
+<p><a name="index-DEF_0028L_0029-821"></a>
 
 <h4 class="subsection">8.8.1 Code structure information name</h4>
 
@@ -42618,7 +43218,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#CodeStructures">CodeStructures</a>
 
 <h3 class="section">8.9 INI</h3>
 
-<p><a name="index-INI-815"></a>
+<p><a name="index-INI-822"></a>
 
 <h4 class="subsection">8.9.1 Code structure information name</h4>
 
@@ -42647,7 +43247,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#CodeStructures">CodeStructures</a>
 
 <h3 class="section">8.10 ASN</h3>
 
-<p><a name="index-ASN-816"></a>
+<p><a name="index-ASN-823"></a>
 
 <h4 class="subsection">8.10.1 Code structure information name</h4>
 
@@ -42677,7 +43277,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#CodeStructures">CodeStructures</a>
 
 <h3 class="section">8.11 DEP(I)</h3>
 
-<p><a name="index-DEP_0028I_0029-817"></a>
+<p><a name="index-DEP_0028I_0029-824"></a>
 
 <h4 class="subsection">8.11.1 Code structure information name</h4>
 
@@ -42707,7 +43307,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#CodeStructures">CodeStructures</a>
 
 <h3 class="section">8.12 DEP(C)</h3>
 
-<p><a name="index-DEP_0028C_0029-818"></a>
+<p><a name="index-DEP_0028C_0029-825"></a>
 
 <h4 class="subsection">8.12.1 Code structure information name</h4>
 
@@ -42737,7 +43337,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#CodeStructures">CodeStructures</a>
 
 <h3 class="section">8.13 DEP(X)</h3>
 
-<p><a name="index-DEP_0028X_0029-819"></a>
+<p><a name="index-DEP_0028X_0029-826"></a>
 
 <h4 class="subsection">8.13.1 Code structure information name</h4>
 
@@ -42766,7 +43366,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#CodeStructures">CodeStructures</a>
 
 <h3 class="section">8.14 LIT</h3>
 
-<p><a name="index-LIT-820"></a>
+<p><a name="index-LIT-827"></a>
 
 <h4 class="subsection">8.14.1 Code structure information name</h4>
 
@@ -42794,7 +43394,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#CodeStructures">CodeStructures</a>
 
 <h3 class="section">8.15 PRE</h3>
 
-<p><a name="index-PRE-821"></a>
+<p><a name="index-PRE-828"></a>
 
 <h4 class="subsection">8.15.1 Code structure information name</h4>
 
@@ -43333,8 +43933,15 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Top">Top</a>
 <h2 class="unnumbered">Index</h2>
 
 <ul class="index-cp" compact>
-<li><a href="#index-ASN-816">ASN</a>: <a href="#ASN">ASN</a></li>
+<li><a href="#index-ASN-823">ASN</a>: <a href="#ASN">ASN</a></li>
 <li><a href="#index-C0001-792">C0001</a>: <a href="#C0001">C0001</a></li>
+<li><a href="#index-C1000-793">C1000</a>: <a href="#C1000">C1000</a></li>
+<li><a href="#index-C1001-794">C1001</a>: <a href="#C1001">C1001</a></li>
+<li><a href="#index-C1002-795">C1002</a>: <a href="#C1002">C1002</a></li>
+<li><a href="#index-C1003-796">C1003</a>: <a href="#C1003">C1003</a></li>
+<li><a href="#index-C1004-797">C1004</a>: <a href="#C1004">C1004</a></li>
+<li><a href="#index-C1005-798">C1005</a>: <a href="#C1005">C1005</a></li>
+<li><a href="#index-C1006-799">C1006</a>: <a href="#C1006">C1006</a></li>
 <li><a href="#index-compiler_005ftraits-15">compiler_traits</a>: <a href="#Compiler-Traits">Compiler Traits</a></li>
 <li><a href="#index-compiler_005ftraits_003aarbitrary_005fsubstitutions-42">compiler_traits:arbitrary_substitutions</a>: <a href="#Compiler-Traits">Compiler Traits</a></li>
 <li><a href="#index-compiler_005ftraits_003aarithmetic_003alogical_005fright_005fshift-39">compiler_traits:arithmetic:logical_right_shift</a>: <a href="#Compiler-Traits">Compiler Traits</a></li>
@@ -43363,16 +43970,16 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Top">Top</a>
 <li><a href="#index-compiler_005ftraits_003astandard_005ftypes_003along_005fsize-24">compiler_traits:standard_types:long_size</a>: <a href="#Compiler-Traits">Compiler Traits</a></li>
 <li><a href="#index-compiler_005ftraits_003astandard_005ftypes_003ashort_005falignment-21">compiler_traits:standard_types:short_alignment</a>: <a href="#Compiler-Traits">Compiler Traits</a></li>
 <li><a href="#index-compiler_005ftraits_003astandard_005ftypes_003ashort_005fsize-20">compiler_traits:standard_types:short_size</a>: <a href="#Compiler-Traits">Compiler Traits</a></li>
-<li><a href="#index-DCL_0028F_0029-810">DCL(F)</a>: <a href="#DCL_0028F_0029">DCL(F)</a></li>
-<li><a href="#index-DCL_0028T_0029-808">DCL(T)</a>: <a href="#DCL_0028T_0029">DCL(T)</a></li>
-<li><a href="#index-DCL_0028V_0029-809">DCL(V)</a>: <a href="#DCL_0028V_0029">DCL(V)</a></li>
-<li><a href="#index-DEF_0028F_0029-812">DEF(F)</a>: <a href="#DEF_0028F_0029">DEF(F)</a></li>
-<li><a href="#index-DEF_0028L_0029-814">DEF(L)</a>: <a href="#DEF_0028L_0029">DEF(L)</a></li>
-<li><a href="#index-DEF_0028M_0029-813">DEF(M)</a>: <a href="#DEF_0028M_0029">DEF(M)</a></li>
-<li><a href="#index-DEF_0028V_0029-811">DEF(V)</a>: <a href="#DEF_0028V_0029">DEF(V)</a></li>
-<li><a href="#index-DEP_0028C_0029-818">DEP(C)</a>: <a href="#DEP_0028C_0029">DEP(C)</a></li>
-<li><a href="#index-DEP_0028I_0029-817">DEP(I)</a>: <a href="#DEP_0028I_0029">DEP(I)</a></li>
-<li><a href="#index-DEP_0028X_0029-819">DEP(X)</a>: <a href="#DEP_0028X_0029">DEP(X)</a></li>
+<li><a href="#index-DCL_0028F_0029-817">DCL(F)</a>: <a href="#DCL_0028F_0029">DCL(F)</a></li>
+<li><a href="#index-DCL_0028T_0029-815">DCL(T)</a>: <a href="#DCL_0028T_0029">DCL(T)</a></li>
+<li><a href="#index-DCL_0028V_0029-816">DCL(V)</a>: <a href="#DCL_0028V_0029">DCL(V)</a></li>
+<li><a href="#index-DEF_0028F_0029-819">DEF(F)</a>: <a href="#DEF_0028F_0029">DEF(F)</a></li>
+<li><a href="#index-DEF_0028L_0029-821">DEF(L)</a>: <a href="#DEF_0028L_0029">DEF(L)</a></li>
+<li><a href="#index-DEF_0028M_0029-820">DEF(M)</a>: <a href="#DEF_0028M_0029">DEF(M)</a></li>
+<li><a href="#index-DEF_0028V_0029-818">DEF(V)</a>: <a href="#DEF_0028V_0029">DEF(V)</a></li>
+<li><a href="#index-DEP_0028C_0029-825">DEP(C)</a>: <a href="#DEP_0028C_0029">DEP(C)</a></li>
+<li><a href="#index-DEP_0028I_0029-824">DEP(I)</a>: <a href="#DEP_0028I_0029">DEP(I)</a></li>
+<li><a href="#index-DEP_0028X_0029-826">DEP(X)</a>: <a href="#DEP_0028X_0029">DEP(X)</a></li>
 <li><a href="#index-E0004-58">E0004</a>: <a href="#E0004">E0004</a></li>
 <li><a href="#index-E0007-59">E0007</a>: <a href="#E0007">E0007</a></li>
 <li><a href="#index-E0008-60">E0008</a>: <a href="#E0008">E0008</a></li>
@@ -43383,26 +43990,26 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Top">Top</a>
 <li><a href="#index-E0015-65">E0015</a>: <a href="#E0015">E0015</a></li>
 <li><a href="#index-E0016-66">E0016</a>: <a href="#E0016">E0016</a></li>
 <li><a href="#index-exam_005fpackages-3">exam_packages</a>: <a href="#Global-Traits">Global Traits</a></li>
-<li><a href="#index-FL_005fFUNC-794">FL_FUNC</a>: <a href="#FL_005fFUNC">FL_FUNC</a></li>
-<li><a href="#index-FL_005fSTMT-793">FL_STMT</a>: <a href="#FL_005fSTMT">FL_STMT</a></li>
-<li><a href="#index-FN_005fCSUB-800">FN_CSUB</a>: <a href="#FN_005fCSUB">FN_CSUB</a></li>
-<li><a href="#index-FN_005fCYCM-806">FN_CYCM</a>: <a href="#FN_005fCYCM">FN_CYCM</a></li>
-<li><a href="#index-FN_005fGOTO-801">FN_GOTO</a>: <a href="#FN_005fGOTO">FN_GOTO</a></li>
-<li><a href="#index-FN_005fLINE-797">FN_LINE</a>: <a href="#FN_005fLINE">FN_LINE</a></li>
-<li><a href="#index-FN_005fNEST-804">FN_NEST</a>: <a href="#FN_005fNEST">FN_NEST</a></li>
-<li><a href="#index-FN_005fPARA-798">FN_PARA</a>: <a href="#FN_005fPARA">FN_PARA</a></li>
-<li><a href="#index-FN_005fPATH-805">FN_PATH</a>: <a href="#FN_005fPATH">FN_PATH</a></li>
-<li><a href="#index-FN_005fRETN-802">FN_RETN</a>: <a href="#FN_005fRETN">FN_RETN</a></li>
-<li><a href="#index-FN_005fSTMT-795">FN_STMT</a>: <a href="#FN_005fSTMT">FN_STMT</a></li>
-<li><a href="#index-FN_005fUELS-803">FN_UELS</a>: <a href="#FN_005fUELS">FN_UELS</a></li>
-<li><a href="#index-FN_005fUNRC-796">FN_UNRC</a>: <a href="#FN_005fUNRC">FN_UNRC</a></li>
-<li><a href="#index-FN_005fUNUV-799">FN_UNUV</a>: <a href="#FN_005fUNUV">FN_UNUV</a></li>
+<li><a href="#index-FL_005fFUNC-801">FL_FUNC</a>: <a href="#FL_005fFUNC">FL_FUNC</a></li>
+<li><a href="#index-FL_005fSTMT-800">FL_STMT</a>: <a href="#FL_005fSTMT">FL_STMT</a></li>
+<li><a href="#index-FN_005fCSUB-807">FN_CSUB</a>: <a href="#FN_005fCSUB">FN_CSUB</a></li>
+<li><a href="#index-FN_005fCYCM-813">FN_CYCM</a>: <a href="#FN_005fCYCM">FN_CYCM</a></li>
+<li><a href="#index-FN_005fGOTO-808">FN_GOTO</a>: <a href="#FN_005fGOTO">FN_GOTO</a></li>
+<li><a href="#index-FN_005fLINE-804">FN_LINE</a>: <a href="#FN_005fLINE">FN_LINE</a></li>
+<li><a href="#index-FN_005fNEST-811">FN_NEST</a>: <a href="#FN_005fNEST">FN_NEST</a></li>
+<li><a href="#index-FN_005fPARA-805">FN_PARA</a>: <a href="#FN_005fPARA">FN_PARA</a></li>
+<li><a href="#index-FN_005fPATH-812">FN_PATH</a>: <a href="#FN_005fPATH">FN_PATH</a></li>
+<li><a href="#index-FN_005fRETN-809">FN_RETN</a>: <a href="#FN_005fRETN">FN_RETN</a></li>
+<li><a href="#index-FN_005fSTMT-802">FN_STMT</a>: <a href="#FN_005fSTMT">FN_STMT</a></li>
+<li><a href="#index-FN_005fUELS-810">FN_UELS</a>: <a href="#FN_005fUELS">FN_UELS</a></li>
+<li><a href="#index-FN_005fUNRC-803">FN_UNRC</a>: <a href="#FN_005fUNRC">FN_UNRC</a></li>
+<li><a href="#index-FN_005fUNUV-806">FN_UNUV</a>: <a href="#FN_005fUNUV">FN_UNUV</a></li>
 <li><a href="#index-global_005ftraits-1">global_traits</a>: <a href="#Global-Traits">Global Traits</a></li>
-<li><a href="#index-INI-815">INI</a>: <a href="#INI">INI</a></li>
+<li><a href="#index-INI-822">INI</a>: <a href="#INI">INI</a></li>
 <li><a href="#index-linker_005ftraits-43">linker_traits</a>: <a href="#Linker-Traits">Linker Traits</a></li>
 <li><a href="#index-linker_005ftraits_003aidentifier_005fignore_005fcase-45">linker_traits:identifier_ignore_case</a>: <a href="#Linker-Traits">Linker Traits</a></li>
 <li><a href="#index-linker_005ftraits_003aidentifier_005fmax-44">linker_traits:identifier_max</a>: <a href="#Linker-Traits">Linker Traits</a></li>
-<li><a href="#index-LIT-820">LIT</a>: <a href="#LIT">LIT</a></li>
+<li><a href="#index-LIT-827">LIT</a>: <a href="#LIT">LIT</a></li>
 <li><a href="#index-message_005ftraits-46">message_traits</a>: <a href="#Message-Traits">Message Traits</a></li>
 <li><a href="#index-message_005ftraits_003achange_005flist-53">message_traits:change_list</a>: <a href="#Message-Traits">Message Traits</a></li>
 <li><a href="#index-message_005ftraits_003aexclusion_003acategories-49">message_traits:exclusion:categories</a>: <a href="#Message-Traits">Message Traits</a></li>
@@ -43411,7 +44018,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Top">Top</a>
 <li><a href="#index-message_005ftraits_003ainclusion_003amessages-52">message_traits:inclusion:messages</a>: <a href="#Message-Traits">Message Traits</a></li>
 <li><a href="#index-message_005ftraits_003aindividual_005fsuppression-48">message_traits:individual_suppression</a>: <a href="#Message-Traits">Message Traits</a></li>
 <li><a href="#index-message_005ftraits_003alanguage-47">message_traits:language</a>: <a href="#Message-Traits">Message Traits</a></li>
-<li><a href="#index-PRE-821">PRE</a>: <a href="#PRE">PRE</a></li>
+<li><a href="#index-PRE-828">PRE</a>: <a href="#PRE">PRE</a></li>
 <li><a href="#index-project_005ftraits-4">project_traits</a>: <a href="#Project-Traits">Project Traits</a></li>
 <li><a href="#index-project_005ftraits_003acoding_005fstyle_003aindent_005fstyle-11">project_traits:coding_style:indent_style</a>: <a href="#Project-Traits">Project Traits</a></li>
 <li><a href="#index-project_005ftraits_003acoding_005fstyle_003aindent_005fwidth-13">project_traits:coding_style:indent_width</a>: <a href="#Project-Traits">Project Traits</a></li>
@@ -43423,7 +44030,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Top">Top</a>
 <li><a href="#index-project_005ftraits_003aproject_005froot-6">project_traits:project_root</a>: <a href="#Project-Traits">Project Traits</a></li>
 <li><a href="#index-project_005ftraits_003atarget_005ffiles_003aexclusion_005fpaths-8">project_traits:target_files:exclusion_paths</a>: <a href="#Project-Traits">Project Traits</a></li>
 <li><a href="#index-project_005ftraits_003atarget_005ffiles_003ainclusion_005fpaths-7">project_traits:target_files:inclusion_paths</a>: <a href="#Project-Traits">Project Traits</a></li>
-<li><a href="#index-VER-807">VER</a>: <a href="#VER">VER</a></li>
+<li><a href="#index-VER-814">VER</a>: <a href="#VER">VER</a></li>
 <li><a href="#index-version-2">version</a>: <a href="#Global-Traits">Global Traits</a></li>
 <li><a href="#index-W0001-67">W0001</a>: <a href="#W0001">W0001</a></li>
 <li><a href="#index-W0002-68">W0002</a>: <a href="#W0002">W0002</a></li>