AdLint 1.8.2 User's Guide

Overview

AdLint is

AdLint is an open source and free source code static analyzer.

It can point out insecure or nonportable code fragments, and can measure various quality metrics of the source code.

For a part of utilization examples, see screenshots.

It (currently) can analyze source code compliant with ANSI C89 / ISO C90 and partly ISO C99.

AdLint is written in Ruby. So, it is available for Windows, Mac OS X, GNU/Linux, FreeBSD and any other platforms supported by Ruby.

License

Copyright (C) 2010-2012, OGIS-RI Co.,Ltd.

AdLint is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version.

AdLint is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details.

You should have received a copy of the GNU General Public License along with AdLint. If not, see <http://www.gnu.org/licenses/>.

Index

• Installation
• Sample session
• Command specification
• Input specification
• Output specification
• Message list
• Metrics list
• Code structure information list
• Appendix
• Index

1 Installation

• Operation Requirements
• Hardware environment
• Install on Windows
• Install on Unix
• Evaluation test and trial use AdLint

1.1 Operation requirements

AdLint requires installation of Ruby version 1.9.3-p0 or later.

And it recommended to install GNU Make version 3 or later to enable to auto analyze by using the GNUmakefile which created by adlintize command.

1.2 Hardware environment

For the recommended hardware environment, it can't be completely defined because it depends on the size of software. The following is the test environment of AdLint and the analysis time.

1.2.1 MS Windows

• Environment
  • OS : MS Windows XP (SP3)
  • CPU : Intel Core i5 3.33GHz (660)
  • Memory : 2 GB
• Tested code : Ruby 1.9.3-p0 (lines of code : 620,000)
  • serial analysis : about 7.9 hour
  • run 3 parallel to single module analysis : about 3.7 hour

1.2.2 GNU/Linux

• Environment
  • OS : Fedora 14
  • CPU : Intel Core i5 3.33GHz (660)
  • Memory : 2 GB
• Tested code : Ruby 1.9.3-p0 (lines of code : 620,000)
  • serial analysis : about 6.5 hour
  • run 2 parallel to single module analysis : about 4.2 hour

1.3 Installation instructions for MS Windows environment

1.3.1 Install Ruby

Get the RubyInstaller for Windows 1.9.3-p0 or later from the download page.

Execute RubyInstaller and install ruby with the instructions in the installer.

1.3.2 Install DEVELOPMENT KIT (DevKit)

Recommend to install DEVELOPMENT KIT (DevKit) including GNU Make.

Get the DEVELOPMENT KIT (DevKit) from download page distributed in RubyInstaller for Windows

When user execute the DevKit-*.exe ,DEVELOPMENT KIT will expand to the specified directory.

1.3.3 Set PATH environment variable

Append the following path to PATH environment variable : bin of Ruby directory where Install ruby, bin mingw\bin of DevKit directory where Install DEVELOPMENT KIT (DevKit)

1.3.4 Install AdLint

Start command prompt, and download and install the latest AdLint by the following command.

> gem install adlint

If you have to use HTTP proxy, set --http-proxy http://user name:password@proxy host:port number to gem command as follows.

> gem install adlint --http-proxy http://user:passwd@proxy:3128

1.4 Installation instructions on Unix environment

Install Ruby interpreter by following Download Ruby.

And download and install the latest version of AdLint.

% gem install adlint

% sudo gem install adlint

If you have to use HTTP proxy, set --http-proxy http://user name:password@proxy host:port number to gem command.

1.5 Evaluation test and trial use AdLint

AdLint provided with small sample C language projects. Evaluation test can be execute with intro_demo project by the following procedure.

Copy intro_demo project to user's workspace.

% cp -r `adlint --prefix`/share/demo/intro_demo .

Generate the setting file for static analysis by adlintize command

% cd intro_demo
% adlintize

The following files will be generated.

• GNUmakefile — Make file for GNU make describing the analysis procedure
• adlint_traits.yml — Traits file for customize AdLint analysis behavior
• adlint_pinit.h — Initial header file of specific project
• adlint_cinit.h — Initial header file of compiler
• adlint_all.sh — Shell script describing the analysis procedure
• adlint_all.bat — Windows batch file describing the analysis procedure
• adlint_files.txt — Analyzed file list for shell script and batch file

If GNU Make version 3 or later installed, it can analyze by the following commands.

% make verbose-all
adlint --verbose -t adlint_traits.yml -o . intro_demo.c
                  intro_demo.c [fin] |============================| 0.401s
                    intro_demo [fin] |============================| 0.029s
  1.125s user, 0.765s system, 00:00:01.89 total

If GNU Make doesn't installed, use adlint command directly as follows.

% adlint -v -t adlint_traits.yml -l adlint_files.txt
                  intro_demo.c [fin] |============================| 0.401s
                    intro_demo [fin] |============================| 0.029s
  1.125s user, 0.765s system, 00:00:01.89 total

When the analysis process is finished with no errors, the following file will be generated.

• intro_demo.i — Source files with pre-processed.
• intro_demo.c.met.csv — Code information of single module analysis and metric information
• intro_demo.c.msg.csv — Warning message list of single module analysis
• intro_demo.met.csv — Metric information of cross module analysis
• intro_demo.msg.csv — Warning message list of cross module analysis

The body of intro_demo.c.msg.csv ,"doesn't reach the control " "divided by zero ".

2 Sample session

• Analyze GNU Screen
• Distributed parallel analysis with distmake

2.1 Analyze GNU Screen

2.1.1 Preparation for project

Download ftp://ftp.gnu.org/gnu/screen/screen-4.0.3.tar.gz, unpack the appropriate directory.

% wget ftp://ftp.gnu.org/gnu/screen/screen-4.0.3.tar.gz
Length: 840602 (821K) [application/x-tar]
Saving to: `screen-4.0.3.tar.gz'

100%[======================================>] 840,602     --.-K/s   in 0.1s

2011-09-28 11:41:55 (6.18 MB/s) - `screen-4.0.3.tar.gz' saved [840602/840602]

% tar xzf screen-4.0.3.tar.gz
% ls -F
screen-4.0.3/   screen-4.0.3.tar.gz

2.1.2 Investigate project

Confirm how to build in analysis runtime environment by building GNU Screen.

% cd screen-4.0.3
% ./configure
this is screen version 4.0.3
checking for prefix by checking for screen... /usr/bin/screen
checking for gcc... gcc
checking for C compiler default output... a.out
checking whether the C compiler works... yes
checking whether we are cross compiling... no
checking for suffix of executables...
checking for suffix of object files... o
checking whether we are using the GNU C compiler... yes
...snip...
configure: creating ./config.status
config.status: creating Makefile
config.status: creating doc/Makefile
config.status: creating config.h
config.status: executing default commands

Now please check the pathnames in the Makefile and in the user
configuration section in config.h.
Then type 'make' to make screen. Good luck.

% make 2>&1 | tee make.log
CPP="gcc -E " srcdir=. sh ./osdef.sh
AWK=gawk CC="gcc -g -O2" srcdir=. sh ./comm.sh
AWK=gawk srcdir=. sh ./term.sh
gcc -c -I. -I.    -g -O2 screen.c
gcc -c -I. -I.    -g -O2 ansi.c
gcc -c -I. -I.    -g -O2 fileio.c
gcc -c -I. -I.    -g -O2 mark.c
gcc -c -I. -I.    -g -O2 misc.c
gcc -c -I. -I.    -g -O2 resize.c
gcc -c -I. -I.    -g -O2 socket.c
gcc -c -I. -I.    -g -O2 search.c
sh ./tty.sh tty.c
gcc -c -I. -I.    -g -O2 tty.c
gcc -c -I. -I.    -g -O2 term.c
gcc -c -I. -I.    -g -O2 window.c
gcc -c -I. -I.    -g -O2 utmp.c
gcc -c -I. -I.    -g -O2 loadav.c
gcc -c -I. -I.    -g -O2 putenv.c
gcc -c -I. -I.    -g -O2 help.c
gcc -c -I. -I.    -g -O2 termcap.c
gcc -c -I. -I.    -g -O2 input.c
gcc -c -I. -I.    -g -O2 attacher.c
gcc -c -I. -I.    -g -O2 pty.c
gcc -c -I. -I.    -g -O2 process.c
gcc -c -I. -I.    -g -O2 display.c
gcc -c -I. -I.    -g -O2 comm.c
gcc -c -I. -I.    -g -O2 kmapdef.c
gcc -c -I. -I.    -g -O2 acls.c
gcc -c -I. -I.    -g -O2 braille.c
gcc -c -I. -I.    -g -O2 braille_tsi.c
gcc -c -I. -I.    -g -O2 logfile.c
gcc -c -I. -I.    -g -O2 layer.c
gcc -c -I. -I.    -g -O2 sched.c
gcc -c -I. -I.    -g -O2 teln.c
gcc -c -I. -I.    -g -O2 nethack.c
gcc -c -I. -I.    -g -O2 encoding.c
gcc  -o screen screen.o ansi.o fileio.o mark.o misc.o resize.o socket.o
search.o tty.o term.o window.o utmp.o loadav.o putenv.o help.o termcap.o
input.o attacher.o pty.o process.o display.o comm.o kmapdef.o acls.o braille.o
braille_tsi.o logfile.o layer.o sched.o teln.o nethack.o encoding.o -lcurses
-lcrypt

2.1.3 Preparation static analysis

Generate the file template of static analysis by using adlintize command. Edit setting file depending on the analyzed project.

Investigate computer environment, compiler environment of project build.

% uname -mo
i686 GNU/Linux
% gcc --version
gcc (GCC) 4.5.1 20100924 (Red Hat 4.5.1-4)
Copyright (C) 2010 Free Software Foundation, Inc.
This is free software; see the source for copying conditions.  There is NO
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.

Shows the preset build environment which supports adlintize command. Select near the build environment. In this session, GCC 4.5.1 on GNU/Linux i686 architecture is using.So select i686-linux-gcc_4.5.1 .

% adlintize -L
i686-linux-gcc_4.5.1
i686-cygwin-gcc_4.3.4
i686-mingw-gcc_4.5.2

Generate file template which required static analysis by using adlintize command.

% adlintize -e i686-linux-gcc_4.5.1 -o adlint
% cd adlint
% ls
GNUmakefile     adlint_all.sh   adlint_files.txt  adlint_traits.yml
adlint_all.bat  adlint_cinit.h  adlint_pinit.h

Compare make.log file which generated at Project investigation and SOURCES list in GNUmakefile which generated by adlintize, edit equally.

% cp GNUmakefile GNUmakefile.orig
% vi GNUmakefile
% diff -u GNUmakefile.orig GNUmakefile
--- GNUmakefile.orig    2011-09-28 13:36:24.328078206 +0900
+++ GNUmakefile 2011-09-28 13:36:37.573902006 +0900
@@ -29,8 +29,6 @@
   putenv.c \
   fileio.c \
   kmapdef.c \
-  terminfo/checktc.c \
-  terminfo/tetris.c \
   search.c \
   input.c \
   ansi.c \

Then find project specific include path from make.log file which generated project investigation. Edit the path to adlint_traits.yml.

% cp adlint_traits.yml adlint_traits.yml.orig
% vi adlint_traits.yml
% diff -u adlint_traits.yml.orig adlint_traits.yml
--- adlint_traits.yml.orig      2011-09-28 13:40:10.748222288 +0900
+++ adlint_traits.yml   2011-09-28 13:40:24.105054386 +0900
@@ -25,6 +25,7 @@
   #     - "../include/bar"
   #     - "/opt/baz/include"
   include_path:
+    - ".."

   # Pathname of the project specific initial header file.
   # This header file is automatically included above the first line of the

2.1.4 Execute the static analysis

Execute static analysis by using GNUmakefile which generated Preparation static analysis.

% make --version
GNU Make 3.82
Built for i386-redhat-linux-gnu
Copyright (C) 2010  Free Software Foundation, Inc.
License GPLv3+: GNU GPL version 3 or later <http://gnu.org/licenses/gpl.html>
This is free software: you are free to change and redistribute it.
There is NO WARRANTY, to the extent permitted by law.

% make verbose-all
adlint --verbose -t adlint_traits.yml -o . ../braille.c ../acls.c ../putenv.c
../fileio.c ../kmapdef.c ../search.c ../input.c ../ansi.c ../pty.c ../layer.c
../termcap.c ../loadav.c ../comm.c ../screen.c ../term.c ../teln.c ../socket.c
../encoding.c ../utmp.c ../logfile.c ../display.c ../misc.c ../attacher.c
../help.c ../tty.c ../nethack.c ../braille_tsi.c ../sched.c ../process.c
../window.c ../mark.c ../resize.c
                  ../braille.c [fin] |============================| 7.999s
                     ../acls.c [fin] |============================| 12.152s
                   ../putenv.c [fin] |============================| 0.203s
                   ../fileio.c [fin] |============================| 13.013s
...snip...
                   ../window.c [fin] |============================| 22.388s
                     ../mark.c [fin] |============================| 14.827s
                   ../resize.c [fin] |============================| 18.964s
                  screen-4.0.3 [fin] |============================| 58.346s
  771.510s user, 2.370s system, 00:12:53.87 total

% ls *.{i,msg.csv,met.csv,log}
acls.c.log             kmapdef.c.log      sched.c.log
acls.c.met.csv         kmapdef.c.met.csv  sched.c.met.csv
acls.c.msg.csv         kmapdef.c.msg.csv  sched.c.msg.csv
acls.i                 kmapdef.i          sched.i
ansi.c.log             layer.c.log        screen-4.0.3.log
ansi.c.met.csv         layer.c.met.csv    screen-4.0.3.met.csv
ansi.c.msg.csv         layer.c.msg.csv    screen-4.0.3.msg.csv
...snip...
input.c.log            resize.c.log       window.c.met.csv
input.c.met.csv        resize.c.met.csv   window.c.msg.csv
input.c.msg.csv        resize.c.msg.csv   window.i
input.i                resize.i

2.2 Distributed parallel analysis with distmake

3 Command specification

• adlintize command
• adlint command
• adlint_sma command
• adlint_cma command
• adlint_chk command

3.1 adlintize command

3.1.1 Function

Generate the following files which required static analysis by AdLint.

• GNUmakefile — Make file for GNU make describing the analysis procedure
• adlint_traits.yml — Traits file for customize AdLint analysis behavior
• adlint_pinit.h — Initial header file of specific project
• adlint_cinit.h — Initial header file of compiler
• adlint_all.sh — Shell script describing the analysis procedure
• adlint_all.bat — Windows batch file describing the analysis procedure
• adlint_files.txt — Analyzed file list for shell script and batch file

When it run a adlintize command, all *.c files under the directory will set to SOURCES variable in GNUmakefile.

3.1.2 How to use

When it run a adlintize command at the root directory of analyzed project, generate required files for static analysis to adlint directory.

% cd project-root
% adlintize -o adlint
% ls adlint
GNUmakefile     adlint_all.sh   adlint_files.txt  adlint_traits.yml
adlint_all.bat  adlint_cinit.h  adlint_pinit.h

adlintize command provides some preset build environment. To specify the preset build environment, more information can set automatically to the file templates.

-L option shows the list of preset build environment.

% adlintize -L
i686-linux-gcc_4.5.1
i686-cygwin-gcc_4.3.4
i686-mingw-gcc_4.5.2

-e option can set the preset build environment.

% cd project-root
% adlintize -e i686-linux-gcc_4.5.1 -o adlint
% ls adlint
GNUmakefile     adlint_all.sh   adlint_files.txt  adlint_traits.yml
adlint_all.bat  adlint_cinit.h  adlint_pinit.h

3.1.3 Help message

Usage: adlintize [options] [project-name]
Options:
  -t FILE, --traits FILE         Write traits to FILE
                                 If omitted, `adlint_traits.yml' will be used
  -p FILE, --pinit-header FILE   Write project initial header to FILE
                                 If omitted, `adlint_pinit.h' will be used
  -c FILE, --cinit-header FILE   Write compiler initial header to FILE
                                 If omitted, `adlint_cinit.h' will be used
  -l FILE, --list-file FILE      Write list file to FILE
                                 If omitted, `adlint_files.txt' will be used
  -m FILE, --makefile FILE       Write analysis procedure GNUmakefile to FILE
                                 If omitted, `GNUmakefile' will be used
  -s FILE, --sh-script FILE      Write analysis procedure sh script to FILE
                                 If omitted, `adlint_all.sh' will be used
  -b FILE, --bat-file FILE       Write analysis procedure bat file to FILE
                                 If omitted, `adlint_all.bat' will be used
  -o DIR, --output-dir DIR       Set output directory
                                 If omitted, `.' will be used
  -e ENV, --environment ENV      Assume ENV as target build environment
  -L, --list-environment         List all preset build environments
  -f, --force                    Force to overwrite existing files
      --version                  Display version information
      --copyright                Display copyright information
      --prefix                   Display prefix directory of AdLint
  -h, --help                     Display this message

3.2 adlint command

3.2.1 Function

Run both single module analysis ( correspond to the compile phase ) and cross module analysis ( correspond to the link phase ) at once.

It supports the following method to specify the analyzed source code : from command line and set to the list file.

Its activity is same as the following steps. Run a single module analysis by using adlint_sma command with specify all analyzed source file. Then run a cross module analysis by using adlint_cma.

The result of single module analysis, the following files will be generated for each source files.

• *.i — The result of preprocessed.
• *.c.msg.csv — Output message of single module analysis.
• *.c.met.csv — Metric measurement result by single module analysis.
• *.c.log — Log message of single module analysis.

The result of cross module analysis, the following files will be generated.

• project_name.msg.csv — Output message of cross module analysis for whole project.
• project_name.met.csv — Metric measurement result by cross module analysis for whole project.
• project_name.log — Log message of cross module analysis for whole project.

3.2.2 How to use

When it run a adlint command as follows at the directory which generated the template of setting files by adlintize, run a single module analysis and cross module analysis at once.

% cd project-root
% adlintize -o adlint
% cd adlint
% adlint -v -t adlint_traits.yml -o . -p 1 -l adlint_files.txt
               ../intro_demo.c [fin] |============================| 0.134s
                    intro_demo [fin] |============================| 0.012s
  0.718s user, 0.500s system, 00:00:01.21 total

When it collaborate with text editor or integrated development environment, the message can output to stderr without display the progress by not specifying the -v,--verbose option.

% adlint -t adlint_traits.yml -o . -p 1 -l adlint_files.txt
../intro_demo.c:6:9:warning:W0492:The same identifier name `i' is also used in the member of structure/union, label, tag or normal identifier.
../intro_demo.c:12:13:warning:W0027:Comparison operation is being made by pointer variable.
../intro_demo.c:16:14:warning:W0422:Indirect reference is being made to the pointer which its value might be NULL.
../intro_demo.c:31:13:warning:W0613:The value of this control expression is always false.
...snip...
../intro_demo.c:55:9:warning:W9001:This statement doesn't reach the control.
../intro_demo.c:2:1:warning:W0071:Included "../useless_header.h" is not referenced in the translation unit. It can be removed.
../intro_demo.c:61:19:warning:W0628:A function `int bar(void)' is defined, but this is not used in this project.

3.2.3 Help message

Usage: adlint [options] [source-file...]
Options:
  -t FILE, --traits FILE         Use FILE as traits file (mandatory)
  -l FILE, --list-file FILE      Use FILE as list file
  -o DIR, --output-dir DIR       Output result files to DIR
  -p NUM, --strip NUM            Use source file names from which stripped NUM
                                 leading components as the base name of output
                                 files
  -v, --verbose                  Increase verbosity but suppress message output
      --version                  Display version information
      --copyright                Display copyright information
      --prefix                   Display prefix directory of AdLint
  -h, --help                     Display this message

3.3 adlint_sma command

3.3.1 Function

Execute only single module analysis (correspond to the compile phase) which specified by command line.
For the result of single module analysis, generate the following files for each source file.

• *.i — The result of preprocessed.
• *.c.msg.csv — Output message of single module analysis.
• *.c.met.csv — Metric measurement result by single module analysis.
• *.c.log — Log message of single module analysis.

3.3.2 How to use

When it run a adlint_sma command as follows at the directory which generated the template of setting files by adlintize, run only single module analysis.

% adlint_sma -v -t adlint_traits.yml -o . -p 1 ../intro_demo.c
               ../intro_demo.c [fin] |============================| 0.134s
  1.062s user, 0.843s system, 00:00:01.90 total

When it collaborate with text editor or integrated development environment, the message can output to stderr without display the progress by not specifying the -v,--verbose option.

% adlint_sma -t adlint_traits.yml -o . -p 1 ../intro_demo.c
../intro_demo.c:6:9:warning:W0492:The same identifier name `i' is also used in the member of structure/union, label, tag or normal identifier.
../intro_demo.c:12:13:warning:W0027:Comparison operation is being made by pointer variable.
../intro_demo.c:16:14:warning:W0422:Indirect reference is being made to the pointer which its value might be NULL.
../intro_demo.c:31:13:warning:W0613:The value of this control expression is always false.
...snip...
../intro_demo.c:55:9:warning:W9001:This statement doesn't reach the control.
../intro_demo.c:2:1:warning:W0071:Included "../useless_header.h" is not referenced in the translation unit. It can be removed.
../intro_demo.c:61:19:warning:W0628:A function `int bar(void)' is defined, but this is not used in this project.

3.3.3 Help message

Usage: adlint_sma [options] source-file...
Options:
  -t FILE, --traits FILE         Use FILE as traits file (mandatory)
  -o DIR, --output-dir DIR       Output result files to DIR
  -p NUM, --strip NUM            Use source file names from which stripped NUM
                                 leading components as the base name of output
                                 files
  -v, --verbose                  Increase verbosity but suppress message output
      --version                  Display version information
      --copyright                Display copyright information
      --prefix                   Display prefix directory of AdLint
  -h, --help                     Display this message

3.4 adlint_cma command

3.4.1 Function

Execute only cross module analysis (correspond to the link phase) which specified by command line.
For the result of cross module analysis, generate the following files.

• project_name.msg.csv — Output message of cross module analysis for whole project.
• project_name.met.csv — Metric measurement result by cross module analysis for whole project.
• project_name.log — Log message of cross module analysis for whole project.

3.4.2 How to use

When it run a adlint_cma command as follows after finished the single module analysis by adlint_sma command at the directory which generated the template of setting files by adlintize, run only cross module analysis.

% ls *.c.met.csv
intro_demo.c.met.csv
% adlint_cma -v -t adlint_traits.yml -o . intro_demo.c.met.csv
                    intro_demo [fin] |============================| 0.011s
  1.203s user, 0.843s system, 00:00:02.04 total

When it collaborate with text editor or integrated development environment, the message can output to stderr without display the progress by not specifying the -v,--verbose option.

% adlint_cma -t adlint_traits.yml -o . intro_demo.c.met.csv
../intro_demo.c:61:19:warning:W0628:A function `int bar(void)' is defined, but this is not used in this project.

3.4.3 Help message

Usage: adlint_cma [options] sma-metric-file...
Options:
  -t FILE, --traits FILE         Use FILE as traits file (mandatory)
  -o DIR, --output-dir DIR       Output result files to DIR
  -v, --verbose                  Increase verbosity but suppress message output
      --version                  Display version information
      --copyright                Display copyright information
      --prefix                   Display prefix directory of AdLint
  -h, --help                     Display this message

3.5 adlint_chk command

3.5.1 Function

It can validate the body of traits file by execute only preprocessing to analyzed source file which set by command line.

3.5.2 How to use

Create the template of setting file by adlintize, and edit the traits file. Then run a adlint_chk command as follows. It can validate the body of traits file by execute preprocessing.

% adlint_chk -v -t adlint_traits.yml -o . -p 1 ../intro_demo.c
               ../intro_demo.c [fin] |============================| 0.047s
  0.812s user, 0.875s system, 00:00:01.68 total

If the include path of header file doesn't set properly,the error occurs as follows. It can check which header file doesn't included by referring the *.c.msg.csv file which correspond to the source file.

% adlint_chk -v -t adlint_traits.yml -o . -p 1 ../intro_demo.c
               ../intro_demo.c [cpp] |=======                     | 0.006s!
An error was occurred while processing `../intro_demo.c'.
See `intro_demo.c.msg.csv' and `intro_demo.c.log' for more details.

% tail intro_demo.c.msg.csv
E,../intro_demo.c,1,1,E0009,A header file of <stdio.h> doesn't found.
X,../intro_demo.c,1,1,X0003,Analysis processing has been stopped due to unrecoverable error. For the details, refer to `intro_demo.c.msg.csv' and `intro_demo.c.log'.

3.5.3 Help message

Usage: adlint_chk [options] source-file...
Options:
  -t FILE, --traits FILE         Use FILE as traits file (mandatory)
  -o DIR, --output-dir DIR       Output result files to DIR
  -p NUM, --strip NUM            Use source file names from which stripped NUM
                                 leading components as the base name of output
                                 files
  -v, --verbose                  Increase verbosity but suppress message output
      --version                  Display version information
      --copyright                Display copyright information
      --prefix                   Display prefix directory of AdLint
  -h, --help                     Display this message

4 Input specification

• Input file
• Traits file
• Message definition file

4.1 Input files

Analysis action can set the following two kind of files.

traits file

Describe how to process the analysis. Edit by YAML style.

Message definition file

Describe the message catalog.Edit by YAML style.

Traits file sets the path by the command option --traits of adlint , adlint_sma , adlint_cma.

Message definition file is installed in etc/mesg.d at AdLint install path. adlint , adlint_sma , adlint_cma command selects the appropriate the message definition file by following the language which specified in language of message traits.

4.2 Traits file

• Project Traits
• Compiler Traits
• Linker Traits
• Message Traits

Describe Project Traits , Compiler Traits , Linker Traits , Message Traits to a single YAML format setting file ( sample ).

When it run a adlintize command at the root directory of analyzed project, generate the template of traits file for the project, GNUmakefile and shell script.

% cd project
% adlintize -o adlint
% ls adlint
GNUmakefile     adlint_all.sh   adlint_files.txt  adlint_traits.yml
adlint_all.bat  adlint_cinit.h  adlint_pinit.h

4.2.1 Project Traits

Project Traits can set under the project_traits in traits file.

No.	Items	Styles	Contents
1	project_name	string	Set project name.
2	include_path	array of string	Set project specific include path.
3	initial_header	string	Set the header files which is included at the top of specified source files. For example, project specific macro definition will be described in this file.
4	coding_style:indent_style	string	Indent style which is a convention governing the identation of blocks. Select from "K&R", "Allman" and "GNU". "K&R" style is int foo(int i) { if (i == 0) { return 0; } return i; } "Allman" style is int foo(int i) { if (i == 0) { return 0; } return i; } "GNU" style is int foo(int i) { if (i == 0) { return 0; } return i; }
5	coding_style:tab_width	integer value	Set the appearance number of digits of tab character
6	coding_style:indent_width	integer value	Set the appearance number of digits of indent
7	file_encoding	string	Set the character encoding. If the value is not set, process as "ASCII-8BIT".

4.2.2 Compiler Traits

Compiler Traits can set under the compiler_traits in traits file.

No.	Items	Styles	Contents
1	initial_header	string	Set the header files which is included at the top of specified source files and automatically included before project specific initial_header. This file describes compiler specific macro, type definition and others.
2	standard_type:char_size	integer value	Set the size of char type family by bit quantities.
3	standard_type:char_alignment	integer value	Set the memory alignment of char type family by bit quantities.
4	standard_type:short_size	integer value	Set the size of short type family by bit quantities.
5	standard_type:short_alignment	integer value	Set the memory alignment of short family by bit quantities.
6	standard_type:int_size	integer value	Set the size of int type family by bit quantities.
7	standard_type:int_alignment	integer value	Set the memory alignment of int type family by bit quantities.
8	standard_type:long_size	integer value	Set the size of long int type family by bit quantities.
9	standard_type:long_alignment	integer value	Set the memory alignment of long int type family by bit quantities.
10	standard_type:long_long_size	integer value	Set the size of long long int type family by bit quantities.
11	standard_type:long_long_alignment	integer value	Set the memory alignment of long long int type family by bit quantities.
12	standard_type:float_size	integer value	Set the size of float type family by bit quantities.
13	standard_type:float_alignment	integer value	Set the memory alignment of float type family by bit quantities.
14	standard_type:double_size	integer value	Set the size of double type family by bit quantities.
15	standard_type:double_alignment	integer value	Set the memory alignment of double type family by bit quantities.
16	standard_type:long_double_size	integer value	Set the size of long double type family by bit quantities.
17	standard_type:long_double_alignment	integer value	Set the memory alignment of long double type family by bit quantities.
18	standard_type:code_ptr_size	integer value	Set the size of function pointer by bit quantities.
19	standard_type:code_ptr_alignment	integer value	Set the memory alignment of function pointer by bit quantities.
20	standard_type:data_ptr_size	integer value	Set the size of data pointer by bit quantities.
21	standard_type:data_ptr_alignment	integer value	Set the memory alignment of data pointer by bit quantities.
22	standard_type:char_as_unsigned_char	boolean value	If `char' type treat as `unsigned char', set true.
23	include_path	array of string	Set the compiler specific include path.
24	arithmetic:logical_right_shift	boolean value	If right shift expression `>>' treat as logical shift instead of arithmetic shift, set true.
25	extension_substitution	map of string	Set the token replacement pattern to adjust compiler specific extension. AdLint puts the warning message W0061 all uses of this extension. If `__attribute__ ( arbitrary token row )' delete after pre-process and puts the warning W0061, set as follows. extension_substitution: "__attribute__(__adlint__any)": "" And if the token `__restrict' replaces `restrict' and put the warning W0061, set as follows. extension_substitution: "__restrict": "restrict"
26	arbitrary_substitution	map of string	Same as extension_substitution, replace the token after pre-process, the difference is doesn't put the warning W0061.
27	identifier_max	integer value	Set the maximum number of length which compiler can identifier.

4.2.3 Linker Traits

Linker Traits sets under linker_traits items.

No.	Items	Styles	Contents
1	identifier_max	integer value	Set the maximum number of length which linker can identifier.
2	identifier_ignore_case	boolean value	Set whether check case sensitive by linker when identifier external symbol.

4.2.4 Message Traits

Message Traits can set under the message_traits in traits file. .

No.	Items	Styles	Contents
1	language	string	Set the language of message body.(Currently) it available "en_US" or "ja_JP".
2	change_list	Message ID and map of string	Set if body of specific message will change.

4.3 Message Definition file.

Describe all error and warning message to setting file by format. Normally this file doesn't edit directly. If it need to change the message body, set the changes to change_list in traits file.

5 Output specification

• Output file
• Common definition
• Metrics file
• Message file

5.1 Output files

Print the result of single module analysis to the following four different files.

No.	Name	File name	Contents
1	Preprocessed source	<source file name except the extension>.i	The line beginning with # is line marker.
2	metrics file	<source file name>.met.csv	Print the metrics and the code information by CSV format.
3	message file	<source file name>.msg.csv	Print the error and the warning message by CSV format.
4	Log file	<source file name>.log	Print the log of single module analysis.

Print the result of cross module analysis to the following three different files.

No.	Name	File name	Contents
1	metrics file	<project name>.met.csv	Print the metrics information by CSV format.
2	message file	<project name>.msg.csv	Print the warning message by CSV format.
3	Log file	<project name>.log	Print the log of cross module analysis.

5.2 Common definition

     version_number
       : major_version '.' minor_version '.' patch_level
     
     major_version : integer value
     
     minor_version : integer value
     
     patch_level : integer value
     
     exec_timestamp : Year '-' Month '-' Day ' ' Hour ':' Minute ':' Second ':' Time zone
     
     exec_working_directory : Full path name of run the analysis.
     
     new_line : line feed string depends on runtime environment.
     
     file_path : file path name depends on runtime environment.
     
     line_no : integer value
     
     lines : integer value
     
     column_no : integer value
     
     location : file_path ',' line_no ',' column_no
     
     function_identifier
       : function_name ',' function_signature
     
     function_name : c_identifier
     
     function_signature : c_declaration_specifiers c_declarator
     
     function_linkage_type
       : 'I'  <- Internal
       | 'X'  <- eXternal
     
     function_scope_type
       : 'F'  <- File
       | 'B'  <- Block
     
     type_name : c_identifier
     
     type_rep : c_declaration
     
     variable_name : c_identifier
     
     initializer_rep : c_initializer
     
     assignment_rep : c_assignment_operator c_assignment_expression
     
     macro_name : c_identifier
     
     macro_value
       :
       | pp_tokens
     
     pp_tokens : c_pp_tokens
     
     message_id
       : 'W' [0-9]{4}
       | 'E' [0-9]{4}
       | 'C' [0-9]{4}
     
     message_text : any string

5.3 metrics file

• Version records
• Declaration records
• Type definition records
• Initialize records
• Assignment records
• Dependency records
• Literal records
• Preprocess records
• Metirc value records

5.3.1 Version records

     metrics_version_record
       : metrics_version_head ',' version_number ',' exec_timestamp ',' exec_working_directory
     
     metrics_version_head : "VER"

• Output example

     VER,0.6.4,2012-02-16 14:10:59 +0900,/home/yanoh/intro_demo

5.3.2 Declaration records

     declaration_record
       : declaration_head ',' location ',' typedcl_record_body
       | declaration_head ',' location ',' gvardcl_record_body
       | declaration_head ',' location ',' funcdcl_record_body
     
     declaration_head : "DCL"

• Type definition records

     typedcl_record_body
       : 'T' ',' typedcl_type ',' type_name ',' type_rep
     
     typedcl_type
       : 'T'  <- typedef
       | 'S'  <- struct
       | 'U'  <- union
       | 'E'  <- enum

• Global variable declaration Record

     gvardcl_record_body
       : 'V' ',' variable_name ',' type_rep

• Function declaration record

     funcdcl_record_body
       : 'F' ',' function_linkage_type ',' function_scope_type ',' function_identifier

• Output example

 1: typedef int *int_ptr;
 2:
 3: struct Foo {
 4:     int i;
 5:     long l;
 6: };
 7:
 8: union Bar {
 9:     int i;
10:     char c;
11: };
12:
13: enum Color {
14:     RED = 1,
15:     GREEN,
16:     BLUE
17: };
18:
19: extern int global_1;
20:
21: extern int foo(long);

     DCL,test.c,1,14,T,T,int_ptr,int *
     DCL,test.c,3,8,T,S,Foo,struct Foo { int i; long l; }
     DCL,test.c,8,7,T,U,Bar,union Bar { int i; char c; }
     DCL,test.c,13,6,T,E,Color,"enum Color { RED = 1, GREEN, BLUE }"
     DCL,test.c,19,12,V,global_1,int
     DCL,test.c,21,12,F,X,F,foo,int foo(long)

5.3.3 Declaration records

     definition_record
       : definition_head ',' location ',' vardef_record_body
       | definition_head ',' location ',' fundef_record_body
       | definition_head ',' location ',' macrodef_record_body
       | definition_head ',' location ',' labeldef_record_body
     
     definition_head : "DEF"

• Variable declaration records

     vardef_record_body
       : 'V' ',' var_linkage_type ',' var_scope_type ',' storage_class_type ',' variable_name ',' type_rep
     
     var_linkage_type
       : 'I'  <- Internal
       | 'X'  <- eXternal
       | 'N'  <- None
     
     var_scope_type
       : 'F'  <- File
       | 'B'  <- Block
       | 'P'  <- Parameter
     
     storage_class_type
       : 'A'  <- Auto
       | 'R'  <- Register
       | 'S'  <- Static
       | 'N'  <- None

• Function definition records

     fundef_record_body
       : 'F' ',' function_linkage_type ',' function_scope_type ',' function_identifier ',' lines

• Macro definition records

     macrodef_record_body
       : 'M' ',' macro_name ',' macro_form_type
     
     macro_form_type
       : 'O'  <- Object
       | 'F'  <- Function

• Label definition record

     labeldef_record_body
       : 'L' ',' label_name
     
     label_name : c_identifier

• Output example

 1: int global_1;
 2: struct { int i; long l; } global_2;
 3:
 4: static long static_1;
 5: static enum { FOO, BAR, BAZ } static_2;
 6:
 7: int foo(int i, register short s)
 8: {
 9:     static char static_3 = 0;
10:     register int local_1 = i + s + static_3;
11:     auto int local_2 = 0;
12:     int local_3 = 0;
13:     goto end;
14: end:
15:     return local_1 + local_2 + local_3;
16: }
17:
18: static void bar(void) {}
19:
20: #define OBJ_FORM_MACRO (1 + 2)
21: #define MAX(a, b) ((a) < (b) ? (b) : (a))

     DEF,test.c,1,5,V,X,F,N,global_1,int
     DEF,test.c,2,27,V,X,F,N,global_2,struct __adlint__unnamed_1
     DEF,test.c,4,13,V,I,F,S,static_1,long
     DEF,test.c,5,31,V,I,F,S,static_2,enum __adlint__unnamed_2
     DEF,test.c,7,13,V,I,P,N,i,int
     DEF,test.c,7,31,V,I,P,R,s,short
     DEF,test.c,9,17,V,I,B,S,static_3,char
     DEF,test.c,10,18,V,I,B,R,local_1,int
     DEF,test.c,11,14,V,I,B,A,local_2,int
     DEF,test.c,12,9,V,I,B,N,local_3,int
     DEF,test.c,7,5,F,X,F,foo,"int foo(int,short)",10
     DEF,test.c,18,13,F,I,F,bar,void bar(void),1
     DEF,test.c,20,1,M,OBJ_FORM_MACRO,O
     DEF,test.c,21,1,M,MAX,F
     DEF,test.c,14,1,L,end

5.3.4 Initialization record

     initialization_record
       : initialization_head ',' location ',' variable_name ',' initializer_rep
     
     initialization_head : "INI"

• Output example

1: int global_1 = 1;
2:
3: int main(void)
4: {
5:     int local_1 = global_1;
6:     int local_2 = local_1 + 1;
7:
8:     return local_1 + local_2;
9: }

     INI,test.c,1,5,global_1,1
     INI,test.c,5,9,local_1,global_1
     INI,test.c,6,9,local_2,local_1 + 1

5.3.5 Assignment records

     assignment_record
       : assignment_head ',' location ',' variable_name ',' assignment_rep
     
     assignment_head : "ASN"

• Output example

 1: int main(void)
 2: {
 3:     int i;
 4:
 5:     for (i = 0; i < 10; i++) {
 6:         if (i % 2) {
 7:             i += 1;
 8:         }
 9:     }
10:
11:     return 0;
12: }

     ASN,test.c,5,12,i,= 0
     ASN,test.c,7,15,i,+= 1

5.3.6 Dependency records

     dependency_record
       : dependency_head ',' location ',' include_record_body
       | dependency_head ',' location ',' call_record_body
       | dependency_head ',' location ',' xref_record_body
     
     dependency_head : "DEP"

• Include records

     include_record_body
       : 'I' ',' included_fpath
     
     included_fpath : '<' file_path '>' | '"' file_path '"'

• Caller function records

     call_record_body
       : 'C' ',' caller_function ',' callee_function
     
     caller_function : function_identifier
     
     callee_function : function_identifier

• external reference records

     xref_record_body
       : 'X' ',' xref_variable_record_body
       | 'X' ',' xref_function_record_body
     
     xref_variable_record_body
       : 'V' ',' accessor_function ',' access_type ',' accessee_variable
     
     xref_function_record_body
       : 'F' ',' accessor_function ',' access_type ',' accessee_function
     
     accessor_function : function_identifier
     
     access_type : 'R' | 'W'
     
     accessee_variable : variable_name
     
     accessee_function : function_identifier

• Output example

 1: #include <stdio.h>
 2: #include "test.h"
 3:
 4: extern int global;
 5:
 6: int foo(long l)
 7: {
 8:     int i = global;
 9:
10:     return l - i;
11: }
12:
13: int main(void)
14: {
15:     int (*p)(long) = &foo;
16:
17:     global = 5;
18:
19:     return (*p)(10);
20: }

     DEP,test.c,1,1,I,</usr/include/stdio.h>
     DEP,test.c,2,1,I,"""test.h"""
     DEP,test.c,8,13,X,V,foo,int foo(long),R,global
     DEP,test.c,19,16,C,main,int main(void),foo,int foo(long)
     DEP,test.c,15,23,X,F,main,int main(void),R,foo,int foo(long)
     DEP,test.c,17,12,X,V,main,int main(void),W,global

5.3.7 Literal records

     literal_record
       : literal_head ',' location ',' literal_type ',' literal_prefix ',' literal_suffix ',' literal_value
     
     literal_head : "LIT"
     
     literal_type
       : 'DN'  <- Decimal Number
       | 'HN'  <- Hexadecimal Number
       | 'ON'  <- Octal Number
       | 'BN'  <- Binary Number
       | 'FN'  <- Floating point Number
       | 'CN'  <- Character Narrow
       | 'SN'  <- String Narrow
       | 'CW'  <- Character Wide
       | 'SW'  <- String Wide
     
     literal_prefix
       :
       | 'l'
       | 'L'
     
     literal_suffix
       :
       | 'u'
       | 'U'
       | 'l'
       | 'L'
       | 'll'
       | 'LL'
       | 'f'
       | 'F'
     
     literal_value
       : c_constant
       | c_string_literal

• Output example

1: unsigned int i = 0xFFU;
2:
3: int foo(long l)
4: {
5:     const wchar_t *s = L"foobar";
6:
7:     return 0;
8: }

     LIT,test.c,1,18,HN,0x,U,0xFFU
     LIT,test.c,5,24,SW,L,,"L""foobar"""

5.3.8 Preprocess record

     preprocess_record
       : preprocess_head ',' location ',' pp_directive ',' pp_tokens
     
     preprocess_head : "PRE"
     
     pp_directive
       : "#if"
       | "#ifdef"
       | "#ifndef"
       | "#elif"
       | "#else"
       | "#endif"
       | "#include"
       | "#define"
       | "#undef"
       | "#line"
       | "#error"
       | "#pragma"
       | "#"

• Output example

 1: #pragma once
 2:
 3: #if defined(NDEBUG)
 4: void debug(const char *msg) {}
 5: #else
 6: #include <stdio.h>
 7: void debug(const char *msg)
 8: {
 9:     puts(msg);
10: }
11: #endif

     PRE,test.c,1,1,#pragma,once
     PRE,test.c,3,1,#if,defined(NDEBUG)
     PRE,test.c,5,1,#else,
     PRE,test.c,6,1,#include,<stdio.h>
     PRE,test.c,11,1,#endif,

5.3.9 Metric value records

     metric_record
       : metric_head ',' file_metric_record_body
       | metric_head ',' func_metric_record_body
     
     metric_head : "MET"
     
     file_metric_record_body
       : file_metric_name ',' file_path ',' metric_value
     
     func_metric_record_body
       : func_metric_name ',' function_identifier ',' location ',' metric_value
     
     file_metric_name
       : "FL_STMT"  <- Number of statements
       | "FL_FUNC"  <- Number of functions
     
     func_metric_name
       : "FN_STMT"  <- Number of statements
       | "FN_UNRC"  <- Number of unreached statements
       | "FN_LINE"  <- Number of lines
       | "FN_PARA"  <- Number of parameters
       | "FN_UNUV"  <- Number of not use /not reuse variables
       | "FN_CSUB"  <- Location number of call function
       | "FN_CALL"  <- Location number of called from function
       | "FN_GOTO"  <- Number of goto statement
       | "FN_RETN"  <- Number of return point in a function
       | "FN_UELS"  <- Number of 'if' statement unless 'else'
       | "FN_NEST"  <- Maximum number of nest of control flow graph
       | "FN_PATH"  <- Presumed  number of static path
       | "FN_CYCM"  <- Cyclomatic complexity
     
     metric_value : integer value

5.4 message file

     message_file
       : message_version_record
       | message_version_record message_list
     
     message_version_record
       : 'V' ',' version_number ',' exec_timestamp ',' exec_working_directory
     
     message_list
       : error_record
       | warning_record
       | message_list new_line error_record
       | message_list new_line warning_record
     
     error_record
       : error_line new_line context_line_list
     
     error_line
       : 'E' ',' file_path ',' line_no ',' column_no ',' message_id ',' message_text
     
     warning_record
       : warning_line new_line context_line_list
     
     warning_line
       : 'W' ',' file_path ',' line_no ',' column_no ',' message_id ',' message_text
     
     context_line_list
       :
       | context_line new_line context_line_list
     
     context_line
       : 'C' ',' file_path ',' line_no ',' column_no ',' message_id ',' message_text

6 Message list

• X0001: An unknown exception `%s' is found.
• X0002: An illegal message ID `%s' is found.
• X0003: Analysis processing has been stopped due to unrecoverable error. For the details, refer to `%s' and `%s'.
• X0004: An illegal message format `%s' is found.
• E0004: Corresponding #endif doesn't found.
• E0007: Syntax error is found in conditional expression token `%s'. Conditional expression evaluate as false.
• E0008: Syntax error is found in token `%s'.
• E0009: A header file of <%s> doesn't found.
• E0010: A header file of "%s" doesn't found.
• E0013: Statement cannot include in syntax.
• E0014: '&&' monadic operator to get a label address is GCC original add-on.
• E0015: 'goto' statement with specified label address is GCC original add-on.
• E0016: Unfinished comment block is found.
• W0001: Nesting depth of round bracket`()' exceed 32. This program doesn't meet the strict ISO C90 standards of the term.
• W0002: Identifier and declaration of formal argument described separately in the definition of function `%s()' is old style.
• W0003: This switch statement doesn't have default label.
• W0007: 'break' or 'return' statement doesn't found in the last 'case' or 'default' section.
• W0010: There is a side-effect in this ternary operator (conditional operator).
• W0013: 'continue' statement is used in repetition statement.
• W0016: The field width of conversion specifier exceeds 509 characters in 'printf' function.
• W0017: The field width of conversion specifier exceeds 509 characters in 'scanf' function.
• W0018: This accuracy width of conversion specifier exceeds 509 characters.
• W0019: This pointer cast is danger because it delete const qualifier.
• W0021: This pointer cast is danger because it delete volatile qualifier.
• W0023: Arithmetic operation is being made by pointer variable.
• W0024: Increment or decrement is being made by pointer variable.
• W0025: A file is already included by directly.
• W0026: A file is already included by indirectly.
• W0027: Comparison operation is being made by pointer variable.
• W0028: Indirect referencing is being made by NULL pointer.
• W0030: Arithmetic operation is being made by NULL pointer.
• W0031: A formal argument `%s' is not used in this function.
• W0033: A label of `%s:' is not used in this function. It might be removed.
• W0035: Right operand of ``&&' or `||' must arithmetic type or pointer type.
• W0036: The number of qualification operator exceeds 12.This program doesn't meet the strict ISO C90 standards of the term.
• W0037: Nest of structure or union exceeds 15. This program doesn't meet the strict ISO C90 standards of the term.
• W0038: The size of object `%s' exceeds 32767 bytes. This program doesn't meet the strict ISO C90 standards of the term.
• W0039: The number of local identifier in the block exceeds 127. This program doesn't meet the strict ISO C90 standards of the term.
• W0040: A bit field is declared without 'signed' or 'unsigned'.
• W0041: The number of member of structure or union exceeds 127.This program doesn't meet the strict ISO C90 standards of the term.
• W0042: The number of enumeration literal exceeds 127. This program doesn't meet the strict ISO C90 standards of the term.
• W0043: The initial value of the array is short of declared array's size. The residual array will be initialized by zero.
• W0049: Nest of control structure exceeds 15. This program doesn't meet the strict ISO C90 standards of the term.
• W0050: The number of 'case' label exceeds 257. This program doesn't meet the strict ISO C90 standards of the term.
• W0051: An external identifier name cannot distinguish other identifier name (ex:`%s') from the range of number of characters defined in linker property.
• W0052: A identifier name cannot distinguish other identifier name (ex:`%s') from the range of number of characters defined in compile property.
• W0053: Nest of `#include "%s"' exceeds 8.This program doesn't meet the strict ISO C90 standards of the term.
• W0054: The maximum number of `#if...' nest exceeds 8. This program doesn't meet the strict ISO C90 standards of the term.
• W0055: The number of macro definition exceeds 1024. This program doesn't meet the strict ISO C90 standards of the term.
• W0056: The number of formal argument of function-like macro exceeds 31.This program doesn't meet the strict ISO C90 standards of the term.
• W0057: The number of actual argument of function-like macro exceeds 31.This program doesn't meet the strict ISO C90 standards of the term.
• W0058: The number of characters of string literal exceeds 509.This program doesn't meet the strict ISO C90 standards of the term.
• W0059: Ctrl-M(^M) control character is found at the end of line.
• W0060: Ctrl-Z(^Z) control character is found in this file.
• W0061: `%s' is not actual reserved keyword. It will be considered as language extension and ignored.
• W0062: `__typeof__' is not supported ISO C standards. It will be considered as language extension.
• W0063: `__alignof__'is not supported ISO C standards. It will be considered as language extension..
• W0064: A binary integer literal is used. This is the language extension.
• W0065: Must not cast left operand of assignment operator.
• W0066: `main()' function must `int (void)' or `int (int, char *[])'.
• W0067: Directly access to the member of nested structure. This is the language extension.
• W0068: `.' is used to get access to bit. This is the language extension.
• W0069: `/*' is found in the beginning with `/*' comments. Nested comment doesn't allowed in ISO C standards.
• W0070: Included <%s> is not referenced in the translation unit. It can be removed.
• W0071: Included "%s" is not referenced in the translation unit. It can be removed.
• W0072: A character except for basic source character is used in header file name.
• W0073: No include guard in this include file.
• W0076: This hexadecimal literal doesn't contained within suffix `U' or `u'.
• W0077: Lower case`l' is added to integer or floating-point number.
• W0078: A function is declared without list of formal argument.
• W0079: This array cannot keep final character `\0' which initial value of string literal.
• W0080: A global object which const qualified is defined without explicitly initialized.
• W0081: A monadic operator`-' becomes unsigned type if it use 'unsigned int' type, 'unsigned long' type or 'unsigned long' type operand.
• W0082: A monadic operator `-' is used operand which the latency type is a unsigned operand.
• W0084: Left operand of this comma operator`,' doesn't described the statement which has side-effects.
• W0085: This statement doesn't have side-effects. It is highly possible that it having error.
• W0086: Second or third operand is verbose statement which doesn't have side-effects in ternary operator (conditional operator).
• W0087: The right side statement of comma operator is verbose statement which doesn't have side-effects.
• W0088: The right side statement of logical operator is verbose statement which doesn't have side-effects.
• W0093: It divided by a value which possibly zero.
• W0096: It divided by a constant expression which definitely zero.
• W0097: It divided by zero.
• W0100: The value of variable `%s' is not change. It can be declarable with 'const'.
• W0101: An address of auto variable is substituted for a pointer which has a longer life. This program is danger.
• W0102: An address of auto variable is returned via formal argument to functions. This program is danger.
• W0103: An address of auto variable is returned as return value from a function. This program is danger.
• W0104: The value of formal argument `%s' is not change. It can be declarable with 'const'.
• W0105: The object which points the formal argument `%s' is not change. It can be declaring as pointer type which points const object.
• W0107: An address of auto variable is substituted for local pointer with 'static' option. This program is danger.
• W0108: Assignment operator is used in logical operation expression.
• W0109: The definition of this function doesn't found. It consider it was omitted, and insert `extern int %s()'.
• W0110: A variable number with floating-point type is used by loop counter in for statement.
• W0112: The statement of floating-point compares by equivalent operator.
• W0114: This control expression is not explicit logical operation.
• W0115: Unsigned left shift operator `<<' drop the high-order bit.
• W0116: Unsigned left shift operator `<<' can be drop high-order bit.
• W0117: The definition of `%s' has an external coupling, but the declaration doesn't find before its definition.
• W0118: The definition of `%s' which has external coupling doesn't find in header file.
• W0119: An implicit type conversion from char to signed char.
• W0120: An implicit type conversion from char to unsigned char.
• W0121: An implicit type conversion from char to short.
• W0122: An implicit type conversion from char to unsigned short.
• W0123: An implicit type conversion from char to int.
• W0124: An implicit type conversion from char to unsigned int.
• W0125: An implicit type conversion from char to long.
• W0126: An implicit type conversion from char to unsigned long.
• W0127: An implicit type conversion from char to float.
• W0128: An implicit type conversion from char to double.
• W0129: An implicit type conversion from char to long double.
• W0130: An implicit type conversion from char to long long.
• W0131: An implicit type conversion from char to unsigned long long.
• W0132: An implicit type conversion from unsigned char to char.
• W0133: An implicit type conversion from signed char to char.
• W0134: An implicit type conversion from short to char.
• W0135: An implicit type conversion from unsigned short to char.
• W0136: An implicit type conversion from int to char.
• W0137: An implicit type conversion from unsigned int to char.
• W0138: An implicit type conversion from long to char.
• W0139: An implicit type conversion from unsigned long to char.
• W0140: An implicit type conversion from long long to char.
• W0141: An implicit type conversion from unsigned long long to char.
• W0142: An implicit type conversion from unsigned char to signed char.
• W0143: An implicit type conversion from unsigned short to signed char.
• W0144: An implicit type conversion from unsigned short to short.
• W0145: An implicit type conversion from unsigned int to signed char.
• W0146: An implicit type conversion from unsigned int to short.
• W0147: An implicit type conversion from unsigned int to int.
• W0148: An implicit type conversion from unsigned long to signed char.
• W0149: An implicit type conversion from unsigned long to short.
• W0150: An implicit type conversion from unsigned long to int.
• W0151: An implicit type conversion from unsigned long to long.
• W0152: An implicit type conversion from unsigned long long to signed char.
• W0153: An implicit type conversion from unsigned long long to short.
• W0154: An implicit type conversion from unsigned long long to int.
• W0155: An implicit type conversion from unsigned long long to long.
• W0156: An implicit type conversion from unsigned long long to long long.
• W0157: An implicit type conversion from signed char to unsigned char.
• W0158: An implicit type conversion from signed char to unsigned short.
• W0159: An implicit type conversion from signed char to unsigned int.
• W0160: An implicit type conversion from signed char to unsigned long.
• W0161: An implicit type conversion from short to unsigned char.
• W0162: An implicit type conversion from short to unsigned short.
• W0163: An implicit type conversion from short to unsigned int.
• W0164: An implicit type conversion from short to unsigned long.
• W0165: An implicit type conversion from int to unsigned char.
• W0166: An implicit type conversion from int to unsigned short.
• W0167: An implicit type conversion from int to unsigned int.
• W0168: An implicit type conversion from int to unsigned long.
• W0169: An implicit type conversion from long to unsigned char.
• W0170: An implicit type conversion from long to unsigned short.
• W0171: An implicit type conversion from long to unsigned int.
• W0172: An implicit type conversion from long to unsigned long.
• W0173: An implicit type conversion from signed char to unsigned long long.
• W0174: An implicit type conversion from short to unsigned long long.
• W0175: An implicit type conversion from int to unsigned long long.
• W0176: An implicit type conversion from long to unsigned long long.
• W0177: An implicit type conversion from long long to unsigned char.
• W0178: An implicit type conversion from long long to unsigned short.
• W0179: An implicit type conversion from long long to unsigned int.
• W0180: An implicit type conversion from long long to unsigned long.
• W0181: An implicit type conversion from long long to unsigned long long.
• W0182: An implicit type conversion from unsigned char to float.
• W0183: An implicit type conversion from unsigned char to double.
• W0184: An implicit type conversion from unsigned char to long double.
• W0185: An implicit type conversion from signed char to float.
• W0186: An implicit type conversion from signed char to double.
• W0187: An implicit type conversion from signed char to long double.
• W0188: An implicit type conversion from short to float.
• W0189: An implicit type conversion from short to double.
• W0190: An implicit type conversion from short to long double.
• W0191: An implicit type conversion from unsigned short to float.
• W0192: An implicit type conversion from unsigned short to double.
• W0193: An implicit type conversion from unsigned short to long double.
• W0194: An implicit type conversion from int to float.
• W0195: An implicit type conversion from int to double.
• W0196: An implicit type conversion from int to long double.
• W0197: An implicit type conversion from unsigned int to float.
• W0198: An implicit type conversion from unsigned int to double.
• W0199: An implicit type conversion from unsigned int to long double.
• W0200: An implicit type conversion from long to float.
• W0201: An implicit type conversion from long to double.
• W0202: An implicit type conversion from long to long double.
• W0203: An implicit type conversion from unsigned long to float.
• W0204: An implicit type conversion from unsigned long to double.
• W0205: An implicit type conversion from unsigned long to long double.
• W0206: An implicit type conversion from long long to float.
• W0207: An implicit type conversion from long long to double.
• W0208: An implicit type conversion from long long to long double.
• W0209: An implicit type conversion from unsigned long long to float.
• W0210: An implicit type conversion from unsigned long long to double.
• W0211: An implicit type conversion from unsigned long long to long double.
• W0212: An implicit type conversion from float to char.
• W0213: An implicit type conversion from float to signed char.
• W0214: An implicit type conversion from float to unsigned char.
• W0215: An implicit type conversion from float to short.
• W0216: An implicit type conversion from float to unsigned short.
• W0217: An implicit type conversion from float to int.
• W0218: An implicit type conversion from float to unsigned int.
• W0219: An implicit type conversion from float to long.
• W0220: An implicit type conversion from float to unsigned long.
• W0221: An implicit type conversion from double to char.
• W0222: An implicit type conversion from double to signed char.
• W0223: An implicit type conversion from double to unsigned char.
• W0224: An implicit type conversion from double to short.
• W0225: An implicit type conversion from double to unsigned short.
• W0226: An implicit type conversion from double to int.
• W0227: An implicit type conversion from double to unsigned int.
• W0228: An implicit type conversion from double to long.
• W0229: An implicit type conversion from double to unsigned long.
• W0230: An implicit type conversion from long double to char.
• W0231: An implicit type conversion from long double to signed char.
• W0232: An implicit type conversion from long double to unsigned char.
• W0233: An implicit type conversion from long double to short.
• W0234: An implicit type conversion from long double to unsigned short.
• W0235: An implicit type conversion from long double to int.
• W0236: An implicit type conversion from long double to unsigned int.
• W0237: An implicit type conversion from long double to long.
• W0238: An implicit type conversion from long double to unsigned long.
• W0239: An implicit type conversion from float to long long.
• W0240: An implicit type conversion from float to unsigned long long.
• W0241: An implicit type conversion from double to long long.
• W0242: An implicit type conversion from double to unsigned long long.
• W0243: An implicit type conversion from long double to long long.
• W0244: An implicit type conversion from long double to unsigned long long.
• W0245: An implicit type conversion from unsigned char to short.
• W0246: An implicit type conversion from unsigned char to int.
• W0247: An implicit type conversion from unsigned char to long.
• W0248: An implicit type conversion from unsigned short to int.
• W0249: An implicit type conversion from unsigned short to long.
• W0250: An implicit type conversion from unsigned int to long.
• W0251: An implicit type conversion from unsigned char to long long.
• W0252: An implicit type conversion from unsigned short to long long.
• W0253: An implicit type conversion from unsigned int to long long.
• W0254: An implicit type conversion from unsigned long to long long.
• W0255: A value of char type is returned from `signed char %s()' function.
• W0256: A value of char type is returned from `unsigned char %s()' function.
• W0257: A value of char type is returned from `short %s()' function.
• W0258: A value of char type is returned from `unsigned short %s()' function.
• W0259: A value of char type is returned from `int %s()' function.
• W0260: A value of char type is returned from `unsigned int %s()' function.
• W0261: A value of char type is returned from `long %s()' function.
• W0262: A value of char type is returned from `unsigned long %s()' function.
• W0263: A value of char type is returned from `float %s()' function.
• W0264: A value of char type is returned from `double %s()' function.
• W0265: A value of char type is returned from `long double %s()' function.
• W0266: A value of char type is returned from `long long %s()' function.
• W0267: A value of char type is returned from `unsigned long long %s()' function.
• W0268: A value of unsigned char type is returned from`char %s()' function.
• W0269: A value of signed char type is returned from`char %s()' function.
• W0270: A value of short type is returned from `char %s()' function.
• W0271: A value of unsigned short type is returned from `char %s()' function.
• W0272: A value of int type is returned from `char %s()' function.
• W0273: A value of unsigned int type is returned from `char %s()' function.
• W0274: A value of long type is returned from `char %s()' function.
• W0275: A value of unsigned long type is returned from `char %s()' function.
• W0276: A value of long long type is returned from `char %s()' function.
• W0277: A value of unsigned long long type is returned from `char %s()' function.
• W0278: A value of unsigned char type is returned from `signed char %s()' function.
• W0279: A value of unsigned short type is returned from `signed char %s()' function.
• W0280: A value of unsigned short type is returned from `short %s()' function.
• W0281: A value of unsigned int type is returned from `signed char %s()' function.
• W0282: A value of unsigned int type is returned from `short %s()' function.
• W0283: A value of unsigned int type is returned from `int %s()' function.
• W0284: A value of unsigned long type is returned from `signed char %s()' function.
• W0285: A value of unsigned long type is returned from `short %s()' function.
• W0286: A value of unsigned long type is returned from `int %s()' function.
• W0287: A value of unsigned long type is returned from `long %s()' function.
• W0288: A value of unsigned long long type is returned from `signed char %s()' function.
• W0289: A value of unsigned long long type is returned from `short %s()' function.
• W0290: A value of unsigned long long type is returned from `int %s()' function.
• W0291: A value of unsigned long long type is returned from `long %s()' function.
• W0292: A value of unsigned long long type is returned from `long long %s()' function.
• W0293: A value of signed char type is returned from `unsigned char %s()' function.
• W0294: A value of signed char type is returned from `unsigned short %s()' function.
• W0295: A value of signed char type is returned from `unsigned int %s()' function.
• W0296: A value of signed char type is returned from `unsigned long %s()' function.
• W0297: A value of short type is returned from `unsigned char %s()' function.
• W0298: A value of short type is returned from `unsigned short %s()' function.
• W0299: A value of short type is returned from `unsigned int %s()' function.
• W0300: A value of short type is returned from `unsigned long %s()' function.
• W0301: A value of int type is returned from `unsigned char %s()' function.
• W0302: A value of int type is returned from `unsigned short %s()' function.
• W0303: A value of int type is returned from `unsigned int %s()' function.
• W0304: A value of int type is returned from `unsigned long %s()' function.
• W0305: A value of long type is returned from `unsigned char %s()' function.
• W0306: A value of long type is returned from `unsigned short %s()' function.
• W0307: A value of long type is returned from `unsigned int %s()' function.
• W0308: A value of long type is returned from `unsigned long %s()' function.
• W0309: A value of signed char type is returned from `unsigned long long %s()' function.
• W0310: A value of short type is returned from `unsigned long long %s()' function.
• W0311: A value of int type is returned from `unsigned long long %s()' function.
• W0312: A value of long type is returned from `unsigned long long %s()' function.
• W0313: A value of long long type is returned from `unsigned char %s()' function.
• W0314: A value of long long type is returned from `unsigned short %s()' function.
• W0315: A value of long long type is returned from `unsigned int %s()' function.
• W0316: A value of long long type is returned from `unsigned long %s()' function.
• W0317: A value of long long type is returned from `unsigned long long %s()' function.
• W0318: A value of unsigned char type is returned from `float %s()' function.
• W0319: A value of unsigned char type is returned from `double %s()' function.
• W0320: A value of unsigned char type is returned from `long double %s()' function.
• W0321: A value of signed char type is returned from `float %s()' function.
• W0322: A value of signed char type is returned from `double %s()' function.
• W0323: A value of signed char type is returned from `long double %s()' function.
• W0324: A value of short type is returned from `float %s()' function.
• W0325: A value of short type is returned from `double %s()' function.
• W0326: A value of short type is returned from `long double %s()' function.
• W0327: A value of unsigned short type is returned from `float %s()' function.
• W0328: A value of unsigned short type is returned from `double %s()' function.
• W0329: A value of unsigned short type is returned from `long double %s()' function.
• W0330: A value of int type is returned from `float %s()' function.
• W0331: A value of int type is returned from `double %s()' function.
• W0332: A value of int type is returned from `long double %s()' function.
• W0333: A value of unsigned int type is returned from `float %s()' function.
• W0334: A value of unsigned int type is returned from `double %s()' function.
• W0335: A value of unsigned int type is returned from `long double %s()' function.
• W0336: A value of long type is returned from `float %s()' function.
• W0337: A value of long type is returned from `double %s()' function.
• W0338: A value of long type is returned from `long double %s()' function.
• W0339: A value of unsigned long type is returned from `float %s()' function.
• W0340: A value of unsigned long type is returned from `double %s()' function.
• W0341: A value of unsigned long type is returned from `long double %s()' function.
• W0342: A value of long long type is returned from `float %s()' function.
• W0343: A value of long long type is returned from `double %s()' function.
• W0344: A value of long long type is returned from `long double %s()' function.
• W0345: A value of unsigned long long type is returned from `float %s()' function.
• W0346: A value of unsigned long long type is returned from `double %s()' function.
• W0347: A value of unsigned long long type is returned from `long double %s()' function.
• W0348: A value of float type is returned from `char %s()' function.
• W0349: A value of float type is returned from `signed char %s()' function.
• W0350: A value of float type is returned from `unsigned char %s()' function.
• W0351: A value of float type is returned from `short %s()' function.
• W0352: A value of float type is returned from `unsigned short %s()' function.
• W0353: A value of float type is returned from `int %s()' function.
• W0354: A value of float type is returned from `unsigned int %s()' function.
• W0355: A value of float type is returned from `long %s()' function.
• W0356: A value of float type is returned from `unsigned long %s()' function.
• W0357: A value of double type is returned from `char %s()' function.
• W0358: A value of double type is returned from `signed char %s()' function.
• W0359: A value of double type is returned from `unsigned char %s()' function.
• W0360: A value of double type is returned from `short %s()' function.
• W0361: A value of double type is returned from `unsigned short %s()' function.
• W0362: A value of double type is returned from `int %s()' function.
• W0363: A value of double type is returned from `unsigned int %s()' function.
• W0364: A value of double type is returned from `long %s()' function.
• W0365: A value of double type is returned from `unsigned long %s()' function.
• W0366: A value of long double type is returned from `char %s()' function.
• W0367: A value of long double type is returned from `signed char %s()' function.
• W0368: A value of long double type is returned from `unsigned char %s()' function.
• W0369: A value of long double type is returned from `short %s()' function.
• W0370: A value of long double type is returned from `unsigned short %s()' function.
• W0371: A value of long double type is returned from `int %s()' function.
• W0372: A value of long double type is returned from `unsigned int %s()' function.
• W0373: A value of long double type is returned from `long %s()' function.
• W0374: A value of long double type is returned from `unsigned long %s()' function.
• W0375: A value of float type is returned from `long long %s()' function.
• W0376: A value of float type is returned from `unsigned long long %s()' function.
• W0377: A value of double type is returned from `long long %s()' function.
• W0378: A value of double type is returned from `unsigned long long %s()' function.
• W0379: A value of long double type is returned from `long long %s()' function.
• W0380: A value of long double type is returned from `unsigned long long %s()' function.
• W0381: A value of short type is returned from `signed char %s()' function.
• W0382: A value of unsigned short type is returned from `unsigned char %s()' function.
• W0383: A value of int type is returned from `signed char %s()' function.
• W0384: A value of int type is returned from `short %s()' function.
• W0385: A value of unsigned int type is returned from `unsigned char %s()' function.
• W0386: A value of unsigned int type is returned from `unsigned short %s()' function.
• W0387: A value of long type is returned from `signed char %s()' function.
• W0388: A value of long type is returned from `short %s()' function.
• W0389: A value of long type is returned from `int %s()' function.
• W0390: A value of unsigned long type is returned from `unsigned char %s()' function.
• W0391: A value of unsigned long type is returned from `unsigned short %s()' function.
• W0392: A value of unsigned long type is returned from `unsigned int %s()' function.
• W0393: A value of long long type is returned from `signed char %s()' function.
• W0394: A value of long long type is returned from `short %s()' function.
• W0395: A value of long long type is returned from `int %s()' function.
• W0396: A value of long long type is returned from `long %s()' function.
• W0397: A value of unsigned long long type is returned from `unsigned char %s()' function.
• W0398: A value of unsigned long long type is returned from `unsigned short %s()' function.
• W0399: A value of unsigned long long type is returned from `unsigned int %s()' function.
• W0400: A value of unsigned long long type is returned from `unsigned long %s()' function.
• W0401: A value of unsigned char type is returned from `short %s()' function.
• W0402: A value of unsigned char type is returned from `int %s()' function.
• W0403: A value of unsigned char type is returned from `long %s()' function.
• W0404: A value of unsigned short type is returned from `int %s()' function.
• W0405: A value of unsigned short type is returned from `long %s()' function.
• W0406: A value of unsigned int type is returned from `long %s()' function.
• W0407: A value of unsigned char type is returned from `long long %s()' function.
• W0408: A value of unsigned short type is returned from `long long %s()' function.
• W0409: A value of unsigned int type is returned from `long long %s()' function.
• W0410: A value of unsigned long type is returned from `long long %s()' function.
• W0411: The initialization of enumeration should be only the starting, whole or not at all.
• W0413: The body of control statement is unenclosed by curly brace `{}' block.
• W0414: The body of control statement is in a line. It unenclosed by curly brace`{}' block.
• W0421: Indirect reference is being made to the pointer which its value will be NULL.
• W0422: Indirect reference is being made to the pointer which its value might be NULL.
• W0423: Arithmetic operation is being made to the pointer which its value will be NULL.
• W0424: Arithmetic operation is being made to the pointer which its value might be NULL.
• W0425: There are several definitions or statements in a line.
• W0431: This line begins at more left than previous lines of the same indentation level.
• W0432: Indentation of this line does not comply with the project's indent style.
• W0440: An indent of this close bracket `}' is not correspond to the open bracket `{'.
• W0441: The type of integer literal which doesn't have a suffix is not int type.
• W0442: A function-like macro is defined.
• W0443: This function-like macro might be replaced with a function.
• W0444: `#'operator and `##'operator is used in a macro definition.
• W0445: Multiple `##'operator is used in a macro definition.
• W0446: The result value of assignment operation is used.
• W0447: A comma operator is used except 'for' statement.
• W0456: An object or a function `%s which has external coupling is defined in a header file.
• W0457: The return value doesn't define explicitly in the function declaration or definition. It defined as 'int' implicitly.
• W0458: The type doesn't define explicitly in the object declaration or definition. It defined as 'int' implicitly.
• W0459: A value of variable `%s' doesn't set when this expression is evaluated. This program is danger.
• W0460: A value of variable `%s' wouldn't set when this expression is evaluated.
• W0461: A pointer which points the undetermined variable is used for the actual argument of the function. This program is danger.
• W0462: A pointer which the value will probably not set is used for the actual argument of the function.
• W0477: There are unpaired `[]',`()',`{}' in macro definition.
• W0478: This macro defines scraps of unrecognized codes.
• W0479: This macro definition might be replaced with 'typedef' declaration.
• W0480: This macro defines keyword of control statement or punctuator.
• W0481: This macro defines the block around by `{}'.
• W0482: This macro defines either type specifier.
• W0483: This macro defines the pair of storage class specifier and type specifier.
• W0488: A function call`()', array's index operation`[]', or structure/union operation `->' or `.' are used with && or ||. It had better clear the coupling by using `()'.
• W0489: A monadic operator is used with `&&' or `||'. It had better clear the coupling by using `()'.
• W0490: A binary operator is used with `&&' or `||'. It had better clear the coupling by using `()'.
• W0491: The same identifier name `%s' is also used in the declaration of other namespace.
• W0492: The same identifier name `%s' is also used in the member of structure/union, label, tag or normal identifier.
• W0493: The value of structure or union is passed as the actual argument of the function.
• W0495: operator%% is used with other arithmetic operator. It had better clear the coupling by using `()'.
• W0496: A ternary operator is used several times. It had better clear the coupling by using `()'.
• W0497: Shift operator, relational operator or equivalent operator is used in several times. It had better clear the coupling by using `()'.
• W0498: The different operator of same priority in the binary operator '+','-', '*','/' is used. It had better clear the coupling by using `()'.
• W0499: The different operator of same priority in the binary operator except '+','-', '*','/' is used. It had better clear the coupling by using `()'.
• W0500: The operator of different priority in the binary operator '+','-','*','/' is used. It had better clear the coupling by using `()'.
• W0501: A ternary operator is used with binary operator. It had better clear the coupling by using `()'.
• W0502: A binary operator except '+', '-', '*', '/', '%%' is used with the different priority of binary operator. It had better clear the coupling by using `()'.
• W0508: There's a side effect at the right operand of `&&' or `||'operator.
• W0511: C++ style comment of `//' is used.
• W0512: The result of `++' or `--' operator is used in the statement.
• W0525: A field named 1bit is declared by signed type.
• W0528: This macro defines octal constant value.
• W0529: An octal literal is used.
• W0530: An octal escape sequence is used in a character constant or a string literal.
• W0532: 'break' statement is used to exits 'case' or 'default' section, but it's not described at the end of 'case' section.
• W0534: A control variable `%s' is not initialized in this 'for' statement.
• W0535: A comma operator is used in a 'for' statement.
• W0538: This 'default' label is not final label in this 'switch' statement.
• W0540: A function which the blank formal argument list is declared. `void' is omitted.
• W0541: Inline assembly code should be encapsulated by macro.
• W0542: There are identifiers in the part of formal argument in a function declaration.
• W0543: The identifier of formal argument in this function declaration is different from the past declaration of it.
• W0544: The identifier of formal argument in the function declaration is different from the declaration of function pointer.
• W0546: There is 'case' or 'default' label of switch statement in a nested block.
• W0549: A formal argument of macro doesn't enclosed by `()'.
• W0551: An union type specifier is defined.
• W0552: An union type object is defined.
• W0553: A pointer points to the function cast to other function pointer type.
• W0554: An actual argument `%s' in `#pragma' is unrecognized. This `#pragma' command will be ignored.
• W0555: This function is called recursive with indirectly.
• W0556: The function which includes this call is called recursively.
• W0559: The operand of `!' operator is the expression of bit operation or arithmetic operation.
• W0560: The operand of `~' operator is boolean type expression.
• W0561: The meaning of `*p++' is `*(p++)'. It is not `(*p)++'. `*' operator is verbose.
• W0562: There are verbose `{}' in the initializer.
• W0563: If it jumps from outside of this block to `%s' label,the local variable will not be initialized.
• W0564: If this 'goto' statement jumps to `%s' label,local variable will not be initialized.
• W0565: A volatile integer type cast to volatile pointer type and vice versa.
• W0566: A volatile integer type cast to function pointer type and vice versa.
• W0567: A volatile integer type cast to pointer to object and vice versa.
• W0568: The result of left shift operation against the signed constant expression value is undefined.
• W0569: The result of left shift operation against the signed expression value is undefined.
• W0570: The result of left shift operation against the signed expression value might be undefined.
• W0571: The result of right shift operation against the signed data is a possibility the both logical shift and arithmetic shift by implementation.
• W0572: The result of bit operation against the signed data is defined by implementation.
• W0573: A `-' character in scanset in `[]' is implementation defined.
• W0574: The character except for basic source character is used in the character constant.
• W0575: The character except for basic source character is used in the string literal.
• W0576: The character except for basic source character is used in the comment of source file `%s'.
• W0577: The character except for basic source character is used in preprocessing directive of source file `%s'.
• W0578: An implicit type conversion from volatile integer type of compound expression to bigger type.
• W0579: Cast from compound expression of volatile integer type to bigger type.
• W0580: An address of local static variable is substituted for a pointer which has a wider scope.
• W0581: The number or type of actual argument is different from the past.
• W0582: The number or type of actual argument is different from the function prototype declaration at the following.
• W0583: The number or type of actual argument is different from the function declaration at the following.
• W0584: The type of %s actual argument is different from the type of formal argument in function definition.
• W0585: A control variable `%s' doesn't appear increment expression.
• W0586: A typedef `%s' is declared in more than one place.
• W0589: An object `%s' is only referenced by function `%s' in the defined translation unit.
• W0591: A function `%s' is only referenced by the defined translation unit.
• W0593: An object `%s' is only referenced by the defined translation unit.
• W0597: `%s' is modified more than once between the side-effects completion point. The evaluation order is undefined.
• W0598: `%s' might be modified more than once between the side-effects completion point. The evaluation order is undefined.
• W0599: `%s' is modified and referenced between the side-effects completion point. The evaluation order is undefined.
• W0600: `%s' is modified and might be referenced between the side-effects completion point. The evaluation order is undefined.
• W0605: A 'break' statement is used more than once to finish the repetition statement.
• W0606: An union has a member which type is floating-point.
• W0607: An integer expression which the value which the value is minus converted to unsigned type.
• W0608: An integer expression which the value might be minus converted to unsigned type.
• W0609: The result of this logical operation is always true.
• W0610: The result of this logical operation is always false.
• W0611: The value of this 'for' control expression is always true.
• W0612: The value of this 'if' conditional expression is always true.
• W0613: The value of this control expression is always false.
• W0614: The value of this "do-while" control expression is always false. The body of repetition statement executed only once.
• W0622: A function is declared in the block scope.
• W0623: An external coupling object is declared in the block scope.
• W0624: There is '#define' or '#undef' in a block.
• W0625: `%s' is using in the declaration or definition of external coupling. But its 'typedef' doesn't declare in the header file.
• W0626: A wide character or wide string literal is used.
• W0627: There is a dead letter (only `;') in the following other code.
• W0628: A function `%s' is defined, but this is not used in this project.
• W0629: A static function `%s()' is not used in this translation unit.
• W0632: Using ' or " characters in `#include <%s>' directive makes undefined behavior.
• W0633: Using ' character in `#include "%s"' directive makes undefined behavior.
• W0634: `\' is used in `#include' line. `/' is recommended for the path delimiter.
• W0635: The type doesn't match with %sth conversion specifier and the corresponding actual argument.
• W0636: An actual argument doesn't exist correspond to %sth conversion specifier.
• W0637: There is more actual argument than the number of conversion specifier in function call.
• W0638: This function call requiring at least one actual argument.
• W0639: %sth conversion specifier doesn't match with corresponding type of actual argument.
• W0640: The actual argument of scanf function have to pass the object pointer to store the data.
• W0641: Floating-point number type cast to pointer to object and vice versa.
• W0642: It is impossible to get the array's address which declared with 'register'.
• W0643: This string literal constituted by a macro is illegal form unenclosed by `"'. `#'operator may apply to actual argument which has '\' at the end.
• W0644: A value in void statement is going to use. 'void' statement doesn't have a value.
• W0645: 'void' type cannot use in the type of formal argument.
• W0646: A normal string literal and a wide string literal are contiguous.
• W0649: A right operand value of shift operand is negative constant value. This result is undefined.
• W0650: A right operand value of shift operator is much bigger than the bit size represented in left operand type. This result is undefined.
• W0653: The initial value of an array, structure or union is not enclosed by `{}'.
• W0654: The initializer of structure or union must the value of the same structure type or union type.
• W0655: This is bit field statement which the size is undefined.
• W0656: %sth conversion specifier in scanf, fscanf or sscanf is not supported by ISO C standards.
• W0657: An invalid flag is used in %sth conversion specifier of `i' or 'd'.
• W0658: An invalid flag is used in %sth conversion specifier of `o'.
• W0659: An invalid flag is used in %sth conversion specifier of `u'.
• W0660: An invalid flag is used in %sth conversion specifier of `x'.
• W0661: An invalid flag is used in %sth conversion specifier of `X'.
• W0662: An invalid flag is used in %sth conversion specifier of `f'.
• W0663: An invalid flag is used in %sth conversion specifier of `e'.
• W0664: An invalid flag is used in %sth conversion specifier of `E'.
• W0665: An invalid flag is used in %sth conversion specifier of `g'.
• W0666: An invalid flag is used in %sth conversion specifier of `G'.
• W0667: An invalid flag is used in %sth conversion specifier of `c'.
• W0668: An invalid flag is used in %sth conversion specifier of `%%'.
• W0669: An invalid flag is used in %sth conversion specifier of `s'.
• W0670: An invalid flag is used in %sth conversion specifier of `n'.
• W0671: An invalid flag is used in %sth conversion specifier of `p'.
• W0672: An invalid flag is used in %sth conversion specifier in scanf, fscanf, sscanf.
• W0673: %sth conversion specifier in printf, fprintf or sprintf is not supported by ISO C standards.
• W0674: An invalid flag is used in %sth conversion specifier of `d/i/n'.
• W0675: An invalid flag is used in %sth conversion specifier of `o'.
• W0676: An invalid flag is used in %sth conversion specifier of `u'.
• W0677: An invalid flag is used in %sth conversion specifier of `x/X'.
• W0678: An invalid flag is used in %sth conversion specifier of `e/E/f/g/G'.
• W0679: An invalid flag is used in %sth conversion specifier of `s'.
• W0680: An invalid flag is used in %sth conversion specifier of `p'.
• W0681: An invalid flag is used in %sth conversion specifier of `%%'.
• W0682: An invalid flag is used in %sth conversion specifier of `['.
• W0683: An invalid flag is used in %sth conversion specifier of `c'.
• W0684: An invalid flag is used in %sth conversion specifier in printf, fprintf, sprintf.
• W0685: A character preceding the `-' in scanset o `[]' is bigger than a character following the `-'.
• W0686: The same characters are described in scanset (characters enclosed by `[]').
• W0687: #undef is using to delete #defined operator.
• W0688: There is no line number in 1 to 32767 ranges after #line directive.
• W0689: #line directive syntax doesn't match `#line integer constant \"string\"'.
• W0690: No line number after #line directive.
• W0691: The result of `##' operator is not valid preprocessing token.
• W0692: A function-like macro doesn't given an actual argument.
• W0693: A function-like macro is called by actual argument which its definition is smaller.
• W0694: 'assert' macro is inhibited to call the function named `assert'. This result is undefined.
• W0695: If #undef the 'assert' macro, and enable to call its name function, the result is undefined.
• W0696: This macro using in `#if...' is undefined.
• W0697: There is a path with exits with an implicit `return;' statement in a function `%s' which has a return value.
• W0698: A `return;' statement is found in a function `%s' which has a return value.
• W0699: The return value of function `%s()' is unspecified. The return value is implicitly int. There is no expression to set the value to 'return' statement.
• W0700: The return value of function `%s()' is unspecified. The return value is implicitly int. There is no 'return' statement to return value.
• W0703: The tag `%s' hides the declaration of same identifier which has wider scope.
• W0704: This `%s' declaration hides the declaration of same identifier which has wider scope.
• W0705: An array's index might be out of range.
• W0707: An array's index is out of range.
• W0708: A value of control variable `%s' in 'for' statement is changed in the body of repetition.
• W0711: Right operand of relational operator is a substantive 'boolean' expression.
• W0712: Left operand of relational operator is a substantive 'boolean' expression.
• W0713: Both sides of relational operator is substantive 'boolean' expressions.
• W0714: Both sides of `&' operator is substantive 'boolean' expressions.
• W0715: Both sides of `|' operator is substantive 'boolean' expressions.
• W0716: A bit operator or both sides operand of arithmetic operator is a substantive 'boolean' expression.
• W0717: A bit operator or left side operand of arithmetic operator is a substantive 'boolean' expression.
• W0718: A bit operator or right side operand of arithmetic operator is a substantive 'boolean' expression.
• W0719: A right operand of shift operator is a constant value of the above bit field of latency type.
• W0720: The value with floating-point type doesn't fit in the range of converted type.
• W0721: This volatile integer type doesn't have enough size to keep pointer value.
• W0722: A value of signed statement is overflow.
• W0723: A value of signed statement might be overflow.
• W0724: An unrecognized preprocessing directive is ignored by conditional include directive.
• W0726: A function `%s()' which return value is declared as qualified void type, `return expression;' is found.
• W0727: The value not part of the enumeration type is used.
• W0728: Other enumeration literal of enumeration type is passed to enumeration literal of formal argument as actual argument.
• W0729: An enumeration literal of the other enumeration type is substituted for enumeration type object.
• W0730: A function declared return value to enumeration type returned an enumeration literal of the other enumeration type.
• W0731: The value of `%s' in 'case' label of 'switch' statement doesn't belong enumeration type of the control statement.
• W0732: Both operand of `&&'operator is bit operator or arithmetic operator.
• W0733: Both operand of `||'operator is bit operator or arithmetic operator.
• W0734: A left operand of logical operator is bit operator or arithmetic operator.
• W0735: A right operand of logical operator is the expression of bit operator or arithmetic operator.
• W0736: A static variable `%s' which declared in file scope is read and write in one function only.
• W0737: The content of `enum %s' is unknown. The enumeration tag is declared without define the content.
• W0738: An implicit type conversion from positive integer constant expression to smaller unsigned type. The value is rounded.
• W0739: The result of unsigned subtraction in constant expression is minus.
• W0740: The result of unsigned addition in constant expression beyond the maximum.
• W0741: The result of unsigned multiplication in constant expression beyond the maximum.
• W0742: A negative integer constant expression converted to unsigned type.
• W0743: The value of integer constant expression beyond the range of might be expressed with converted signed type.
• W0744: The value of this control expression is constant value to be false. This control statement is not run.
• W0745: The array's index points out of domain.
• W0747: An implicit type conversion from short to signed char.
• W0748: An implicit type conversion from unsigned short to unsigned char.
• W0749: An implicit type conversion from int to signed char.
• W0750: An implicit type conversion from int to short.
• W0751: An implicit type conversion from unsigned int to unsigned char.
• W0752: An implicit type conversion from unsigned int to unsigned short.
• W0753: An implicit type conversion from long to signed char.
• W0754: An implicit type conversion from long to short.
• W0755: An implicit type conversion from long to int.
• W0756: An implicit type conversion from unsigned long to unsigned char.
• W0757: An implicit type conversion from unsigned long to unsigned short.
• W0758: An implicit type conversion from unsigned long to unsigned int.
• W0759: An implicit type conversion from long long to signed char.
• W0760: An implicit type conversion from long long to short.
• W0761: An implicit type conversion from long long to int.
• W0762: An implicit type conversion from long long to long.
• W0763: An implicit type conversion from unsigned long long to unsigned char.
• W0764: An implicit type conversion from unsigned long long to unsigned short.
• W0765: An implicit type conversion from unsigned long long to unsigned int.
• W0766: An implicit type conversion from unsigned long long to unsigned long.
• W0767: An implicit type conversion from double to float.
• W0768: An implicit type conversion from long double to float.
• W0769: An implicit type conversion from long double to double.
• W0770: A declaration of identifier `%s' which has external coupling exists more than one.
• W0771: A global identifier `%s' is declared in more than one file.
• W0774: A value of double type is returned from `float %s()'function.
• W0775: A value of long double type is returned from `float %s()' function.
• W0776: A value of long double type is returned from `double %s()'function.
• W0777: An implicit type conversion from compound expression of float to double.
• W0778: An implicit type conversion from compound expression of float to long double.
• W0779: An implicit type conversion from compound expression of to long double.
• W0780: Unsigned left shift operator `<<' in constant expression truncate non-zero high-order bit.
• W0781: This 'switch' statement have only one path. It's verbose.
• W0783: Cast is being made including the pointer point to incomplete type. This program is not portable.
• W0784: The nonstandard escape sequence is used.
• W0785: This declaration of `%s' is different from a former declaration.
• W0786: A bit field which having the type of except 'int', 'signed int' or 'unsigned int' doesn't support in ISO C standards.
• W0787: A type of `%s' is different from the past declaration in the different scope.
• W0788: A type of `%s' is different from the past declaration in the same scope.
• W0789: A type of `%s' is different from the past declaration in the wider scope.
• W0790: An global object or a function `%s' is declared in more than one file.
• W0791: An global object or a function `%s' is declared in more than one file.
• W0792: A floating point type object cast to function pointer and vice versa.
• W0793: A function pointer cast to pointer to point an object and vice versa.
• W0794: Left shift operation to signed operand.
• W0795: The number of an actual argument in function call is smaller than the number of a formal argument in the function prototype declaration.
• W0796: The number of an actual argument in function call is bigger than the number of a formal argument in the function prototype declaration.
• W0797: The number of an actual argument in function call is different from the number of a formal argument in the function declaration.
• W0798: Must not use the value with incomplete union object.
• W0799: Must not use the value with incomplete structure object.
• W0800: `%s' is incomplete type which doesn't have a linkage.This is undefined.
• W0801: This structure or union doesn't have a named member.
• W0802: A form of after `#include' preprocessing directive is not <file name> nor "file name".
• W0803: A preprocessing directive is described in actual argument of function-like macro.
• W0804: The 'defined' syntax is not `defined (identifier)' nor `defined identifier'.
• W0805: An identifier to be actual argument doesn't find in `defined'.
• W0806: It is trying to define a macro named `defined'.
• W0807: It is trying to delete pre-defined macro `%s'.
• W0808: It is trying to redefine pre-defined macro `%s'.
• W0809: An identifier `%s' is reserved by the library.
• W0810: `{}' is required to clarify this structure of `if-if-else' statement.
• W0811: The `defined' token which the expanded result of this macro doesn't allowed.
• W0827: An initial value of nested structure's element doesn't enclosed in curly brace `{ }'.
• W0828: An initial value of nested array's element doesn't enclosed in curly brace `{ }'.
• W0830: There is comma `,' at the end of the enumerator list.
• W0831: This is language extension for inline assembly. It will be ignored between #asm and #endasm.
• W0832: An inline assembly syntax is using. This is the language extension. This code will be ignored.
• W0833: A suffix 'LL' is using.
• W0834: A long long type is using.
• W0835: A macro which receives variable argument is defined.
• W0947: A string literal is used directly.
• W0948: A character constant `%s' is used directly.
• W0949: A value `%s' is used directly for size definition of bit field.
• W0950: A value `%s' is used directly for size definition of the array.
• W1026: %sth actual argument is not object type.
• W1027: A base type of array is function type. This is meaningless.
• W1028: A base type of array is an array with unknown size. Incomplete type of array will not build.
• W1029: A base type of array is an obscure structure or union. Incomplete type of array will not build.
• W1030: A label `%s' is used more than two times in this function.
• W1031: An Object `%s' is declared both external coupling and internal coupling. This action is undefined.
• W1032: A tentative definition of variable '%s' which has internal linkage must not incomplete type.
• W1033: A 'volatile' or 'const' qualifier is used for the type of function return value. This action is undefined.
• W1034: It is declared at function `%s()' with static storage class specifier in block scope. This usage is meaningless.
• W1035: `%s' declared typedef. It cannot be redeclared inside an inner scope without using explicit type.
• W1036: `%s' declared typedef. It cannot be redeclared as a member of structure or union without using explicit type.
• W1037: `%s' which has external coupling is declared more than one, this is incompatible.
• W1039: `ll' is used in conversion specifier.
• W1040: An unrecognizable string is described after preprocessing directive.
• W1041: `#%s' is not official preprocessing directive of ISO C standards.
• W1042: 'sizeof' operator is using in preprocessing directive. This is the language extension.
• W1043: `@ address' is not supported ISO C standards. It will be considered as language extension.
• W1044: An expression which includes the statement is not supported ISO C standards. It will be considered as language extension.
• W1045: This `@ word' syntax will be ignored.
• W1046: A space character is ignored between `\' and line feed.
• W1047: The struct, union or array's initializer is not literal.
• W1048: The multi byte string literal is an implementation defined value.
• W1049: The result of conversion to signed integer type in integer expression might not be expressed by a signed type.
• W1050: The result of conversion to signed integer type in integer expression is not express by a signed type.
• W1051: The result of arithmetic operation in unsigned type is going around 0 by overflow.
• W1052: The result of arithmetic operation in unsigned type can be going around by overflow.
• W1053: A numeric constants is passed to an actual argument which formal argument is enumeration type.
• W1054: A non enumeration type expression is substituted for the enumeration type.
• W1055: A non enumeration type expression is returned from the function which return value is enumeration type.
• W1056: An object of actual argument is different enumeration type which formal argument is enumeration type.
• W1057: An enumeration value is substituted for different enumeration type object.
• W1058: A different enumeration type of value is returned from a function which return value is enumeration type.
• W1059: An enumeration value is passed to actual argument which formal argument is not enumeration type.
• W1060: An enumeration value is returned from a function which return value is not enumeration type .
• W1061: Non constant expression of non enumeration type is passed to actual argument which formal argument is enumeration type.
• W1062: Non constant expression is substituted for the enumeration type object.
• W1063: The return value returned from enumeration type function to non constant expression.
• W1064: A integer constant is used in switch statement where case label is enumeration type.
• W1065: A value of different enumeration type is used in switch statement where case label is an enumeration type.
• W9001: This statement doesn't reach the control.
• W9002: There is no line feed character at the end of file.
• C0001: A warning is detected in external identifier name `%s'.

6.1 X0001

6.1.1 Message body

An unknown exception `%s' is found.

6.1.2 Content

If you find this message, please send appropriate source file, traits file, message file and log file to AdLint development team. It will lead to improve quality of AdLint.

6.1.3 Sample code

None.

6.1.4 Related message

None.

6.1.5 Since

1.0.0

6.2 X0002

6.2.1 Message body

An illegal message ID `%s' is found.

6.2.2 Content

There's a possibility that the message catalog which AdLint using in internal is broken. Please reinstall AdLint. If you still cannot solve this issue, please report it to AdLint development team.

6.2.3 Sample code

None.

6.2.4 Related message

None.

6.2.5 Since

1.0.0

6.3 X0003

6.3.1 Message body

Analysis processing has been stopped due to unrecoverable error. For the details, refer to `%s' and `%s'.

6.3.2 Content

AdLint cannot process the analysis. This error occurred because it cannot find header file or it cannot parse the source file. This error can be solve by reviewing the traits file.

6.3.3 Sample code

None.

6.3.4 Related message

None.

6.3.5 Since

1.0.0

6.4 X0004

6.4.1 Message body

An illegal message format `%s' is found.

6.4.2 Content

There's a possibility that the message catalog which AdLint using in internal is broken. Please reinstall AdLint. If you still cannot solve this issue, please report it to AdLint development team.

6.4.3 Sample code

None.

6.4.4 Related message

None.

6.4.5 Since

1.0.0

6.5 E0004

6.5.1 Message body

Corresponding #endif doesn't found.

6.5.2 Content

This error occurred when it cannot find #endif directive correspond to #if, #ifdef, #ifndef directive.

6.5.3 Sample code

#if DEBUG
  int i = 0;
#else
  int i = 1;

6.5.4 Related message

None.

6.5.5 Since

1.0.0

6.6 E0007

6.6.1 Message body

Syntax error is found in conditional expression token `%s'. Conditional expression evaluate as false.

6.6.2 Content

This message will be output when it find syntax error while evaluating the conditional expression of #if, #elif directive.

6.6.3 Sample code

None.

6.6.4 Related message

None.

6.6.5 Since

1.0.0

6.7 E0008

6.7.1 Message body

Syntax error is found in token `%s'.

6.7.2 Content

This message will be output when it cannot parse preprocessed source file.

If you use compiler specific extension to build, it can be solve by deleting specific token row in traits file.

6.7.3 Sample code

None.

6.7.4 Related message

None.

6.7.5 Since

1.0.0

6.8 E0009

6.8.1 Message body

A header file of <%s> doesn't found.

6.8.2 Content

It includes header file in #include <...> directive, but it doesn't exist at the include path specified at traits file.

This error can be solve by reviewing the setting of include path in traits file.

6.8.3 Sample code

None.

6.8.4 Related message

None.

6.8.5 Since

1.0.0

6.9 E0010

6.9.1 Message body

A header file of \%s\ doesn't found.

6.9.2 Content

It includes header file in #include "..." directive, but it doesn't exist at the include path specified at traits file.

This error can be solve by reviewing the setting of include path in traits file.

6.9.3 Sample code

None.

6.9.4 Related message

None.

6.9.5 Since

1.0.0

6.10 E0013

6.10.1 Message body

Statement cannot include in syntax.

6.10.2 Content

This message will be output when GCC extension (Statement Exprs) is using.

6.10.3 Sample code

#define maxint(a, b) ({int _a = (a), _b = (b); _a > _b ? _a : _b; })
int i = maxint(1, 2); /* E0013 */

6.10.4 Related message

None.

6.10.5 Since

1.0.0

6.11 E0014

6.11.1 Message body

'&&' monadic operator to get a label address is GCC original add-on.

6.11.2 Content

This message will be output when GCC extension (Labels as Values) is using.

6.11.3 Sample code

void *label_ptr = &&foo; /* E0014 */
goto *label_ptr; /* E0015 */
foo:;

6.11.4 Related message

• E0015 'goto' statement with specified label address is GCC original add-on.

6.11.5 Since

1.0.0

6.12 E0015

6.12.1 Message body

'goto' statement with specified label address is GCC original add-on.

6.12.2 Content

This message will be output when GCC extension (Labels as Values) is using.

6.12.3 Sample code

void *label_ptr = &&foo; /* E0014 */
goto *label_ptr; /* E0015 */
foo:;

6.12.4 Related message

• E0014 '&&' monadic operator to get a label address is GCC original add-on.

6.12.5 Since

1.0.0

6.13 E0016

6.13.1 Message body

Unfinished comment block is found.

6.13.2 Content

This message will be output when the block comment begging with /* is not finished by */.

6.13.3 Sample code

None.

6.13.4 Related message

None.

6.13.5 Since

1.0.0

6.14 W0001

6.14.1 Message body

Nesting depth of round bracket`()' exceed 32. This program doesn't meet the strict ISO C90 standards of the term.

6.14.2 Content

Under construction.

6.14.3 Sample code

int a = 10;
int b = 20;
int c = (((((((((((((((((((((((((((((((((a + b))))))))))))))))))))))))))))))))); /* W0001 */

6.14.4 Related message

None.

6.14.5 Since

1.0.0

6.15 W0002

6.15.1 Message body

Identifier and declaration of formal argument described separately in the definition of function `%s()' is old style.

6.15.2 Content

Under construction.

6.15.3 Sample code

/* function definition in K&R style */
int func(arg) /* W0002 */
char arg;
{
    return 0;
}

6.15.4 Related message

None.

6.15.5 Since

1.0.0

6.16 W0003

6.16.1 Message body

This switch statement doesn't have default label.

6.16.2 Content

Under construction.

6.16.3 Sample code

int value;
int number;
switch(number) {
case 1:
    value = 1;
    break;
case 2:
    value = 2;
    break;
case 3:
    value = 3;
    break; /* W0003 */
}

6.16.4 Related message

None.

6.16.5 Since

1.0.0

6.17 W0007

6.17.1 Message body

'break' or 'return' statement doesn't found in the last 'case' or 'default' section.

6.17.2 Content

Under construction.

6.17.3 Sample code

int value;
int number;
switch(number) {
case 1:
    value = 1;
    break;
case 2:
    value = 2;
case 3; /* W0007 */
    value = 3;
    break;
default:
   value = 0;
   break;
}

6.17.4 Related message

None.

6.17.5 Since

1.0.0

6.18 W0010

6.18.1 Message body

There is a side-effect in this ternary operator (conditional operator).

6.18.2 Content

Under construction.

6.18.3 Sample code

x = (a > 0) ? b++ : b--; /* W0010 */

6.18.4 Related message

None.

6.18.5 Since

1.0.0

6.19 W0013

6.19.1 Message body

'continue' statement is used in repetition statement.

6.19.2 Content

Under construction.

6.19.3 Sample code

int value = 0;
int number = 1;

for (int i=0; i<20; i++) {
    value++;
    if (value < 10) {
        continue; /* W0013 */
    }
}

6.19.4 Related message

None.

6.19.5 Since

1.0.0

6.20 W0016

6.20.1 Message body

The field width of conversion specifier exceeds 509 characters in 'printf' function.

6.20.2 Content

Under construction.

6.20.3 Sample code

printf("%510d\n", a); /* W0016 */

6.20.4 Related message

• W0017 The field width of conversion specifier exceeds 509 characters in 'scanf' function.

6.20.5 Since

1.0.0

6.21 W0017

6.21.1 Message body

The field width of conversion specifier exceeds 509 characters in 'scanf' function.

6.21.2 Content

Under construction.

6.21.3 Sample code

scanf("%510d", &a); /* W0017 */

6.21.4 Related message

• W0016 The field width of conversion specifier exceeds 509 characters in 'printf' function.

6.21.5 Since

1.0.0

6.22 W0018

6.22.1 Message body

This accuracy width of conversion specifier exceeds 509 characters.

6.22.2 Content

Under construction.

6.22.3 Sample code

printf("%.510f\n", a); /* W0018 */

6.22.4 Related message

None.

6.22.5 Since

1.0.0

6.23 W0019

6.23.1 Message body

This pointer cast is danger because it delete const qualifier.

6.23.2 Content

Under construction.

6.23.3 Sample code

int *pa;
const int *pb;
pa = (int *) pb; /* W0019 */

6.23.4 Related message

None.

6.23.5 Since

1.0.0

6.24 W0021

6.24.1 Message body

This pointer cast is danger because it delete volatile qualifier.

6.24.2 Content

Under construction.

6.24.3 Sample code

int *pa;
volatile int *pb;
pa = (int *) pb; /* W0021 */

6.24.4 Related message

None.

6.24.5 Since

1.0.0

6.25 W0023

6.25.1 Message body

Arithmetic operation is being made by pointer variable.

6.25.2 Content

Under construction.

6.25.3 Sample code

int *p;
int *q;
long r = p + r; /* W0023 */

6.25.4 Related message

• W0024 Increment or decrement is being made by pointer variable.

6.25.5 Since

1.0.0

6.26 W0024

6.26.1 Message body

Increment or decrement is being made by pointer variable.

6.26.2 Content

Under construction.

6.26.3 Sample code

int *p;
p++; /* W0024 */

6.26.4 Related message

• W0023 Arithmetic operation is being made by pointer variable.

6.26.5 Since

1.0.0

6.27 W0025

6.27.1 Message body

A file is already included by directly.

6.27.2 Content

Under construction.

6.27.3 Sample code

#include "test.h"
#include "test2.h"
#include "test.h" /* W0025 */

6.27.4 Related message

• W0026 A file is already included by indirectly.

6.27.5 Since

1.0.0

6.28 W0026

6.28.1 Message body

A file is already included by indirectly.

6.28.2 Content

Under construction.

6.28.3 Sample code

test.h

#include "test2.h"

test.c

#include "test.h"
#include "test2.h" /* W0026 */

6.28.4 Related message

• W0025 A file is already included by directly.

6.28.5 Since

1.0.0

6.29 W0027

6.29.1 Message body

Comparison operation is being made by pointer variable.

6.29.2 Content

Under construction.

6.29.3 Sample code

int *p;
int *q;
if (p < q) { /* W0027 */

6.29.4 Related message

None.

6.29.5 Since

1.0.0

6.30 W0028

6.30.1 Message body

Indirect referencing is being made by NULL pointer.

6.30.2 Content

Under construction.

6.30.3 Sample code

int i = *(int *) NULL; /* W0028 */

6.30.4 Related message

None.

6.30.5 Since

1.0.0

6.31 W0030

6.31.1 Message body

Arithmetic operation is being made by NULL pointer.

6.31.2 Content

Under construction.

6.31.3 Sample code

int *p;
p = (int *) NULL + 1; /* W0030 */

6.31.4 Related message

None.

6.31.5 Since

1.0.0

6.32 W0031

6.32.1 Message body

A formal argument `%s' is not used in this function.

6.32.2 Content

Under construction.

6.32.3 Sample code

int func(int num) /* W0031 */
{
    return 0;
}

6.32.4 Related message

None.

6.32.5 Since

1.0.0

6.33 W0033

6.33.1 Message body

A label of `%s:' is not used in this function. It might be removed.

6.33.2 Content

Under construction.

6.33.3 Sample code

void func(void)
{
    int num = 0;
    for (int i =0; i < 10; i++) {
        num++;
    }
ERROR: /* W0033 */
    num = 0;
}

6.33.4 Related message

None.

6.33.5 Since

1.0.0

6.34 W0035

6.34.1 Message body

Right operand of “&&' or `||' must arithmetic type or pointer type.

6.34.2 Content

Under construction.

6.34.3 Sample code

struct STR {
    int x;
    int y;
};

extern struct STR str;

void func(void)
{
    int x;
    int y;
    x = y && str; /* W0035 */
}

6.34.4 Related message

None.

6.34.5 Since

1.0.0

6.35 W0036

6.35.1 Message body

The number of qualification operator exceeds 12.This program doesn't meet the strict ISO C90 standards of the term.

6.35.2 Content

Under construction.

6.35.3 Sample code

int num[1][2][3][4][5][6][7][8][9][10][11][12][13]; /* W0036 */

6.35.4 Related message

None.

6.35.5 Since

1.0.0

6.36 W0037

6.36.1 Message body

Nest of structure or union exceeds 15. This program doesn't meet the strict ISO C90 standards of the term.

6.36.2 Content

Under construction.

6.36.3 Sample code

struct st1 {
  struct st2 {
    struct st3 {
      struct st4 {
        struct st5 {
          struct st6 {
            struct st7 {
              struct st8 {
                struct st9 {
                  struct st10 {
                    struct st11 {
                      struct st12 {
                        struct st13 {
                          struct st14 {
                            struct st15 {
                              struct st16 { /* W0037 */
                                int i;
                              } st16;
                            } st15;
                          } st14;
                        } st13;
                      } st12;
                    } st11;
                  } st10;
                } st9;
              } st8;
            } st7;
          } st6;
        } st5;
      } st5;
    } st3;
  } st2;
};

6.36.4 Related message

None.

6.36.5 Since

1.0.0

6.37 W0038

6.37.1 Message body

The size of object `%s' exceeds 32767 bytes. This program doesn't meet the strict ISO C90 standards of the term.

6.37.2 Content

Under construction.

6.37.3 Sample code

int num[100][330]; /* W0038 */

6.37.4 Related message

None.

6.37.5 Since

1.0.0

6.38 W0039

6.38.1 Message body

The number of local identifier in the block exceeds 127. This program doesn't meet the strict ISO C90 standards of the term.

6.38.2 Content

Under construction.

6.38.3 Sample code

void func(void)
{
    int num1,  num2,  num3,  num4,  num5,  num6,  num7,  num8,  num9,  num10;
    int num11, num12, num13, num14, num15, num16, num17, num18, num19, num20;

    ...snip...

    int num111, num112, num113, num114, num115, num116, num117, num118, num119, num120;
    int num121, num122, num123, num124, num125, num126, num127, num128; /* W0039 */
}

6.38.4 Related message

None.

6.38.5 Since

1.0.0

6.39 W0040

6.39.1 Message body

A bit field is declared without 'signed' or 'unsigned'.

6.39.2 Content

Under construction.

6.39.3 Sample code

struct STR { /* W0040 */
    int a:5;
};

6.39.4 Related message

None.

6.39.5 Since

1.0.0

6.40 W0041

6.40.1 Message body

The number of member of structure or union exceeds 127.This program doesn't meet the strict ISO C90 standards of the term.

6.40.2 Content

Under construction.

6.40.3 Sample code

struct STR {
    int num1;
    int num2;
    int num3;
    int num4;
    int num5;

    ...snip...

    int num125;
    int num126;
    int num127;
    int num128; /* W0041 */
};

6.40.4 Related message

None.

6.40.5 Since

1.0.0

6.41 W0042

6.41.1 Message body

The number of enumeration literal exceeds 127. This program doesn't meet the strict ISO C90 standards of the term.

6.41.2 Content

Under construction.

6.41.3 Sample code

enum ENM {
    e1,  e2,  e3,  e4,  e5,  e6,  e7,  e8,  e9,  e10,
    e11, e12, e13, e14, e15, e16, e17, e18, e19, e20,

    ...snip...

    e111, e112, e113, e114, e115, e116, e117, e118, e119, e120,
    e121, e122, e123, e124, e125, e126, e127, e128 /* W0042 */
};

6.41.4 Related message

None.

6.41.5 Since

1.0.0

6.42 W0043

6.42.1 Message body

The initial value of the array is short of declared array's size. The residual array will be initialized by zero.

6.42.2 Content

Under construction.

6.42.3 Sample code

int array[5] = { 1, 2, 3 }; /* W0043 */

6.42.4 Related message

None.

6.42.5 Since

1.0.0

6.43 W0049

6.43.1 Message body

Nest of control structure exceeds 15. This program doesn't meet the strict ISO C90 standards of the term.

6.43.2 Content

Under construction.

6.43.3 Sample code

if(x > 0) {
  if(x > 0) {
    if(x > 0) {
      if(x > 0) {
        if(x > 0) {
          if(x > 0) {
            if(x > 0) {
              if(x > 0) {
                if(x > 0) {
                  if(x > 0) {
                    if(x > 0) {
                      if(x > 0) {
                        if(x > 0) {
                          if(x > 0) {
                            if (x > 0) {
                              if(x > 0) { /* W0049 */
                                ;
                              }
                            }
                          }
                        }
                      }
                    }
                  }
                }
              }
            }
          }
        }
      }
    }
  }
}

6.43.4 Related message

None.

6.43.5 Since

1.0.0

6.44 W0050

6.44.1 Message body

The number of 'case' label exceeds 257. This program doesn't meet the strict ISO C90 standards of the term.

6.44.2 Content

Under construction.

6.44.3 Sample code

switch (num) {
case 1:
    break;
case 2:
    break;
case 3:
    break;

  ...snip...

case 257:
    break;
case 258: /* W0050 */
    break;
}

6.44.4 Related message

None.

6.44.5 Since

1.0.0

6.45 W0051

6.45.1 Message body

An external identifier name cannot distinguish other identifier name (ex:`%s') from the range of number of characters defined in linker property.

6.45.2 Content

Under construction.

6.45.3 Sample code

extern int very_long_long_long_ ...snip... _long_external_symbol; /* W0051 */

6.45.4 Related message

• C0001 A warning is detected in external identifier name `%s'.

6.45.5 Since

1.0.0

6.46 W0052

6.46.1 Message body

A identifier name cannot distinguish other identifier name (ex:`%s') from the range of number of characters defined in compile property.

6.46.2 Content

Under construction.

6.46.3 Sample code

void func(void)
{
    int very_long_long_long_long_long_ ...snip... _long_symbol; /* W0052 */
}

• C0001 A warning is detected in external identifier name `%s'.

6.46.4 Since

1.0.0

6.47 W0053

6.47.1 Message body

Nest of `#include \%s\' exceeds 8.This program doesn't meet the strict ISO C90 standards of the term.

6.47.2 Content

Under construction.

6.47.3 Sample code

test.c

#include "test1.h"

test1.h

#include "test2.h"

test2.h

#include "test3.h"

test3.h

#include "test4.h"

test4.h

#include "test5.h"

test5.h

#include "test6.h"

test6.h

#include "test7.h"

test7.h

#include "test8.h"

test8.h

#include "test9.h"

test9.h

#include "test10.h" /* W0053 */

6.47.4 Related message

None.

6.47.5 Since

1.0.0

6.48 W0054

6.48.1 Message body

The maximum number of `#if...' nest exceeds 8. This program doesn't meet the strict ISO C90 standards of the term.

6.48.2 Content

Under construction.

6.48.3 Sample code

#if N > 1
#if N > 2
#if N > 3
#if N > 4
#if N > 5
#if N > 6
#if N > 7
#if N > 8 /* W0054 */
#endif
#endif
#endif
#endif
#endif
#endif
#endif
#endif

6.48.4 Related message

None.

6.48.5 Since

1.0.0

6.49 W0055

6.49.1 Message body

The number of macro definition exceeds 1024. This program doesn't meet the strict ISO C90 standards of the term.

6.49.2 Content

Under construction.

6.49.3 Sample code

#define MACRO_1
#define MACRO_2
#define MACRO_3

...snip...

#define MACRO_1023
#define MACRO_1024
#define MACRO_1025 /* W0055 */

6.49.4 Related message

None.

6.49.5 Since

1.0.0

6.50 W0056

6.50.1 Message body

The number of formal argument of function-like macro exceeds 31.This program doesn't meet the strict ISO C90 standards of the term.

6.50.2 Content

Under construction.

6.50.3 Sample code

#define MACRO(a1, a2, a3, ...snip... a30, a31, a32) /* W0056 */

6.50.4 Related message

None.

6.50.5 Since

1.0.0

6.51 W0057

6.51.1 Message body

The number of actual argument of function-like macro exceeds 31.This program doesn't meet the strict ISO C90 standards of the term.

6.51.2 Content

Under construction.

6.51.3 Sample code

int i = MACRO(1, 2, 3 ...snip... 30, 31, 32); /* W0057 */

6.51.4 Related message

None.

6.51.5 Since

1.0.0

6.52 W0058

6.52.1 Message body

The number of characters of string literal exceeds 509.This program doesn't meet the strict ISO C90 standards of the term.

6.52.2 Content

Under construction.

6.52.3 Sample code

char buf[] = "very long long long ...snip... long string literal"; /* W0058 */

6.52.4 Related message

None.

6.52.5 Since

1.0.0

6.53 W0059

6.53.1 Message body

Ctrl-M(^M) control character is found at the end of line.

6.53.2 Content

Under construction.

6.53.3 Sample code

None.

6.53.4 Related message

• W0060 Ctrl-Z(^Z) control character is found in this file.

6.53.5 Since

1.0.0

6.54 W0060

6.54.1 Message body

Ctrl-Z(^Z) control character is found in this file.

6.54.2 Content

Under construction.

6.54.3 Sample code

None.

6.54.4 Related message

• W0059 Ctrl-M(^M) control character is found at the end of line.

6.54.5 Since

1.0.0

6.55 W0061

6.55.1 Message body

`%s' is not actual reserved keyword. It will be considered as language extension and ignored.

6.55.2 Content

Under construction.

6.55.3 Sample code

extern int func(void) __attribute__ ((__const__)); /* W0061 */

6.55.4 Related message

• W0062 `__typeof__' is not supported ISO C standards. It will be considered as language extension.
• W0063 `__alignof__'is not supported ISO C standards. It will be considered as language extension..

6.55.5 Since

1.0.0

6.56 W0062

6.56.1 Message body

`__typeof__' is not supported ISO C standards. It will be considered as language extension.

6.56.2 Content

Under construction.

6.56.3 Sample code

#define DEF_FUNPTR(func) __typeof__(func) *ptr_##func = 0
DEF_FUNPTR(main); /* W0062 */

6.56.4 Related message

• W0061 `%s' is not actual reserved keyword. It will be considered as language extension and ignored.
• W0063 `__alignof__'is not supported ISO C standards. It will be considered as language extension..

6.56.5 Since

1.0.0

6.57 W0063

6.57.1 Message body

`__alignof__'is not supported ISO C standards. It will be considered as language extension..

6.57.2 Content

Under construction.

6.57.3 Sample code

int a = __alignof__(struct sockaddr *) /* W0063 */

6.57.4 Related message

• W0061 `%s' is not actual reserved keyword. It will be considered as language extension and ignored.
• W0062 `__typeof__' is not supported ISO C standards. It will be considered as language extension.

6.57.5 Since

1.0.0

6.58 W0064

6.58.1 Message body

A binary integer literal is used. This is the language extension.

6.58.2 Content

Under construction.

6.58.3 Sample code

unsigned char c = 0b00000001; /* W0064 */

6.58.4 Related message

None.

6.58.5 Since

1.0.0

6.59 W0065

6.59.1 Message body

Must not cast left operand of assignment operator.

6.59.2 Content

Under construction.

6.59.3 Sample code

void func(int num)
{
    (unsigned short) num = 100U; /* W0065 */
}

6.59.4 Related message

None.

6.59.5 Since

1.0.0

6.60 W0066

6.60.1 Message body

`main()' function must `int (void)' or `int (int, char *[])'.

6.60.2 Content

Under construction.

6.60.3 Sample code

void main(void) {} /* W0066 */

6.60.4 Related message

None.

6.60.5 Since

1.0.0

6.61 W0067

6.61.1 Message body

Directly access to the member of nested structure. This is the language extension.

6.61.2 Content

Under construction.

6.61.3 Sample code

struct BBB {
    int mb;
    struct AAA {
        int ma;
    };
} bbb;

bbb.ma = 1; /* W0067 */

6.61.4 Related message

• W0068 `.' is used to get access to bit. This is the language extension.

6.61.5 Since

1.0.0

6.62 W0068

6.62.1 Message body

`.' is used to get access to bit. This is the language extension.

6.62.2 Content

Under construction.

6.62.3 Sample code

unsigned short a;

a.2 = 0; /* W0068 */

6.62.4 Related message

• W0067 Directly access to the member of nested structure. This is the language extension.

6.62.5 Since

1.0.0

6.63 W0069

6.63.1 Message body

`/*' is found in the beginning with `/*' comments. Nested comment doesn't allowed in ISO C standards.

6.63.2 Content

Under construction.

6.63.3 Sample code

/* /* W0069 */ */

6.63.4 Related message

None.

6.63.5 Since

1.0.0

6.64 W0070

6.64.1 Message body

Included <%s> is not referenced in the translation unit. It can be removed.

6.64.2 Content

Under construction.

6.64.3 Sample code

None.

• W0071 Included "%s" is not referenced in the translation unit. It can be removed.

6.64.4 Since

1.0.0

6.65 W0071

6.65.1 Message body

Included \%s\ is not referenced in the translation unit. It can be removed.

6.65.2 Content

Under construction.

6.65.3 Sample code

None.

• W0070 Included <%s> is not referenced in the translation unit. It can be removed.

6.65.4 Since

1.0.0

6.66 W0072

6.66.1 Message body

A character except for basic source character is used in header file name.

6.66.2 Content

Under construction.

6.66.3 Sample code

#include <test$.h> /* W0072 */

6.66.4 Related message

None.

6.66.5 Since

1.0.0

6.67 W0073

6.67.1 Message body

No include guard in this include file.

6.67.2 Content

Under construction.

6.67.3 Sample code

None.

6.67.4 Related message

None.

6.67.5 Since

1.0.0

6.68 W0076

6.68.1 Message body

This hexadecimal literal doesn't contained within suffix `U' or `u'.

6.68.2 Content

Under construction.

6.68.3 Sample code

unsigned int num = 0x1234; /* W0076 */

6.68.4 Related message

None.

6.68.5 Since

1.0.0

6.69 W0077

6.69.1 Message body

Lower case`l' is added to integer or floating-point number.

6.69.2 Content

Under construction.

6.69.3 Sample code

long a = 0x1000l; /* W0077 */
long b = 0x1000L; /* OK */

6.69.4 Related message

None.

6.69.5 Since

1.0.0

6.70 W0078

6.70.1 Message body

A function is declared without list of formal argument.

6.70.2 Content

Under construction.

6.70.3 Sample code

int sample() /* W0078 */
{
    return 0;
}

6.70.4 Related message

None.

6.70.5 Since

1.0.0

6.71 W0079

6.71.1 Message body

This array cannot keep final character `\0' which initial value of string literal.

6.71.2 Content

Under construction.

6.71.3 Sample code

char text[3] = "ABC"; /* W0079 */

6.71.4 Related message

None.

6.71.5 Since

1.0.0

6.72 W0080

6.72.1 Message body

A global object which const qualified is defined without explicitly initialized.

6.72.2 Content

Under construction.

6.72.3 Sample code

const int num; /* W0080 */

6.72.4 Related message

None.

6.72.5 Since

1.0.0

6.73 W0081

6.73.1 Message body

A monadic operator`-' becomes unsigned type if it use 'unsigned int' type, 'unsigned long' type or 'unsigned long' type operand.

6.73.2 Content

Under construction.

6.73.3 Sample code

unsigned long num = 0;
long val = -num; /* W0081 */

6.73.4 Related message

None.

6.73.5 Since

1.0.0

6.74 W0082

6.74.1 Message body

A monadic operator `-' is used operand which the latency type is a unsigned operand.

6.74.2 Content

Under construction.

6.74.3 Sample code

unsigned short num = 20;
int val = -num; /* W0082 */

6.74.4 Related message

None.

6.74.5 Since

1.0.0

6.75 W0084

6.75.1 Message body

Left operand of this comma operator`,' doesn't described the statement which has side-effects.

6.75.2 Content

Under construction.

6.75.3 Sample code

int a = 0;
int b = 1;

a, b++; /* W0084 */

6.75.4 Related message

• W0085 This statement doesn't have side-effects. It is highly possible that it having error.
• W0086 Second or third operand is verbose statement which doesn't have side-effects in ternary operator (conditional operator).
• W0087 The right side statement of comma operator is verbose statement which doesn't have side-effects.
• W0088 The right side statement of logical operator is verbose statement which doesn't have side-effects.

6.75.5 Since

1.0.0

6.76 W0085

6.76.1 Message body

This statement doesn't have side-effects. It is highly possible that it having error.

6.76.2 Content

Under construction.

6.76.3 Sample code

a; /* W0085 */

6.76.4 Related message

• W0084 Left operand of this comma operator`,' doesn't described the statement which has side-effects.
• W0086 Second or third operand is verbose statement which doesn't have side-effects in ternary operator (conditional operator).
• W0087 The right side statement of comma operator is verbose statement which doesn't have side-effects.
• W0088 The right side statement of logical operator is verbose statement which doesn't have side-effects.

6.76.5 Since

1.0.0

6.77 W0086

6.77.1 Message body

Second or third operand is verbose statement which doesn't have side-effects in ternary operator (conditional operator).

6.77.2 Content

Under construction.

6.77.3 Sample code

int a;
int b;

(a < 0) ? b : b++; /* W0086 */

6.77.4 Related message

• W0084 Left operand of this comma operator`,' doesn't described the statement which has side-effects.
• W0085 This statement doesn't have side-effects. It is highly possible that it having error.
• W0087 The right side statement of comma operator is verbose statement which doesn't have side-effects.
• W0088 The right side statement of logical operator is verbose statement which doesn't have side-effects.

6.77.5 Since

1.0.0

6.78 W0087

6.78.1 Message body

The right side statement of comma operator is verbose statement which doesn't have side-effects.

6.78.2 Content

Under construction.

6.78.3 Sample code

int a = 0;
int b = 1;

a++, b; /* W0087 */

6.78.4 Related message

• W0084 Left operand of this comma operator`,' doesn't described the statement which has side-effects.
• W0085 This statement doesn't have side-effects. It is highly possible that it having error.
• W0086 Second or third operand is verbose statement which doesn't have side-effects in ternary operator (conditional operator).
• W0088 The right side statement of logical operator is verbose statement which doesn't have side-effects.

6.78.5 Since

1.0.0

6.79 W0088

6.79.1 Message body

The right side statement of logical operator is verbose statement which doesn't have side-effects.

6.79.2 Content

Under construction.

6.79.3 Sample code

(a < 0) && func(a) && func(b) && c; /* W0088 */

6.79.4 Related message

• W0084 Left operand of this comma operator`,' doesn't described the statement which has side-effects.
• W0085 This statement doesn't have side-effects. It is highly possible that it having error.
• W0086 Second or third operand is verbose statement which doesn't have side-effects in ternary operator (conditional operator).
• W0087 The right side statement of comma operator is verbose statement which doesn't have side-effects.

6.79.5 Since

1.0.0

6.80 W0093

6.80.1 Message body

It divided by a value which possibly zero.

6.80.2 Content

Under construction.

6.80.3 Sample code

int func(int a, int b)
{
    if (b > 0) {
        return a / b; /* OK */
    }
    return a / b; /* W0093 */
}

6.80.4 Related message

None.

6.80.5 Since

1.0.0

6.81 W0096

6.81.1 Message body

It divided by a constant expression which definitely zero.

6.81.2 Content

Under construction.

6.81.3 Sample code

#define A (0)

int b = 10 / A; /* W0096 */

6.81.4 Related message

None.

6.81.5 Since

1.0.0

6.82 W0097

6.82.1 Message body

It divided by zero.

6.82.2 Content

Under construction.

6.82.3 Sample code

int func(int a, int b)
{
    if (a < 0) {
        ...snip...
    }
    else {
        ...snip...
        if (a < 1) {
            return b / a; /* W0097 */
        }
    }
}

6.82.4 Related message

None.

6.82.5 Since

1.0.0

6.83 W0100

6.83.1 Message body

The value of variable `%s' is not change. It can be declarable with 'const'.

6.83.2 Content

Under construction.

6.83.3 Sample code

int func(int a)
{
    int b = a; /* W0100 */
    return b;
}

6.83.4 Related message

None.

6.83.5 Since

1.0.0

6.84 W0101

6.84.1 Message body

An address of auto variable is substituted for a pointer which has a longer life. This program is danger.

6.84.2 Content

Under construction.

6.84.3 Sample code

extern long *ptr;

void func()
{
    long value = 0;
    ptr = &value; /* W0101 */
}

6.84.4 Related message

None.

6.84.5 Since

1.0.0

6.85 W0102

6.85.1 Message body

An address of auto variable is returned via formal argument to functions. This program is danger.

6.85.2 Content

Under construction.

6.85.3 Sample code

void func(int **ptr)
{
    int num;
    *ptr = # /* W0102 */
}

6.85.4 Related message

• W0103 An address of auto variable is returned as return value from a function. This program is danger.

6.85.5 Since

1.0.0

6.86 W0103

6.86.1 Message body

An address of auto variable is returned as return value from a function. This program is danger.

6.86.2 Content

Under construction.

6.86.3 Sample code

char *foo1(void)
{
    char a[3];
    return a; /* W0103 */
}

6.86.4 Related message

• W0102 An address of auto variable is returned via formal argument to functions. This program is danger.

6.86.5 Since

1.0.0

6.87 W0104

6.87.1 Message body

The value of formal argument `%s' is not change. It can be declarable with 'const'.

6.87.2 Content

Under construction.

6.87.3 Sample code

void func(int val) /* W0104 */
{
    const int num = val + 1;
}

• W0105 The object which points the formal argument `%s' is not change. It can be declaring as pointer type which points const object.

6.87.4 Since

1.0.0

6.88 W0105

6.88.1 Message body

The object which points the formal argument `%s' is not change. It can be declaring as pointer type which points const object.

6.88.2 Content

Under construction.

6.88.3 Sample code

void func(int *val) /* W0105 */
{
    const int num = *val;
}

6.88.4 Related message

• W0104 The value of formal argument `%s' is not change. It can be declarable with 'const'.

6.88.5 Since

1.0.0

6.89 W0107

6.89.1 Message body

An address of auto variable is substituted for local pointer with 'static' option. This program is danger.

6.89.2 Content

Under construction.

6.89.3 Sample code

void foo()
{
    static int *p;
    int b = 100;

    p = &b; /* W0107 */
}

6.89.4 Related message

None.

6.89.5 Since

1.0.0

6.90 W0108

6.90.1 Message body

Assignment operator is used in logical operation expression.

6.90.2 Content

Under construction.

6.90.3 Sample code

int a;
int b;

if (a = b) { /* W0108 */
}

6.90.4 Related message

None.

6.90.5 Since

1.0.0

6.91 W0109

6.91.1 Message body

The definition of this function doesn't found. It consider it was omitted, and insert `extern int %s()'.

6.91.2 Content

Under construction.

6.91.3 Sample code

void func()
{
    foo(); /* W0109 */
}

6.91.4 Related message

None.

6.91.5 Since

1.0.0

6.92 W0110

6.92.1 Message body

A variable number with floating-point type is used by loop counter in for statement.

6.92.2 Content

Under construction.

6.92.3 Sample code

double d;

for (d = 0.0; d != 1.0; d += 0.1) { /* W0110 */
}

6.92.4 Related message

None.

6.92.5 Since

1.0.0

6.93 W0112

6.93.1 Message body

The statement of floating-point compares by equivalent operator.

6.93.2 Content

Under construction.

6.93.3 Sample code

double a = 0.1;
a = (a + 0.1) * 5.0;
if (a == 1.0) { /* W0112 */
}

6.93.4 Related message

None.

6.93.5 Since

1.0.0

6.94 W0114

6.94.1 Message body

This control expression is not explicit logical operation.

6.94.2 Content

Under construction.

6.94.3 Sample code

int a;

if (a != 0) { /* OK */
}

if (a) { /* W0114 */
}

6.94.4 Related message

None.

6.94.5 Since

1.0.0

6.95 W0115

6.95.1 Message body

Unsigned left shift operator `<<' drop the high-order bit.

6.95.2 Content

Under construction.

6.95.3 Sample code

unsigned int func(unsigned int a)
{
    if (a > 0x40000000U) {
        return a << 2; /* W0115 */
    }
}

6.95.4 Related message

• W0116 Unsigned left shift operator `<<' can be drop high-order bit.

6.95.5 Since

1.0.0

6.96 W0116

6.96.1 Message body

Unsigned left shift operator `<<' can be drop high-order bit.

6.96.2 Content

Under construction.

6.96.3 Sample code

unsigned int func(unsigned int a)
{
    if (a > 0x40000000U) {
        return a << 1; /* W0116 */
    }
}

6.96.4 Related message

• W0115 Unsigned left shift operator `<<' drop the high-order bit.

6.96.5 Since

1.0.0

6.97 W0117

6.97.1 Message body

The definition of `%s' has an external coupling, but the declaration doesn't find before its definition.

6.97.2 Content

Under construction.

6.97.3 Sample code

void func(void) /* W0117 */
{
    ...snip...
}

6.97.4 Related message

• W0118 The definition of `%s' which has external coupling doesn't find in header file.

6.97.5 Since

1.0.0

6.98 W0118

6.98.1 Message body

The definition of `%s' which has external coupling doesn't find in header file.

6.98.2 Content

Under construction.

6.98.3 Sample code

test.c

extern int val; /* W0118 */

6.98.4 Related message

• W0117 The definition of `%s' has an external coupling, but the declaration doesn't find before its definition.

6.98.5 Since

1.0.0

6.99 W0119

6.99.1 Message body

An implicit type conversion from char to signed char.

6.99.2 Content

Under construction.

6.99.3 Sample code

extern void foo(signed char a);

void bar(char a)
{
    signed char b = a; /* W0119 */
    foo(a); /* W0119 */
}

6.99.4 Related message

• W0120 An implicit type conversion from char to unsigned char.
• W0121 An implicit type conversion from char to short.
• W0122 An implicit type conversion from char to unsigned short.
• W0123 An implicit type conversion from char to int.
• W0124 An implicit type conversion from char to unsigned int.
• W0125 An implicit type conversion from char to long.
• W0126 An implicit type conversion from char to unsigned long.
• W0127 An implicit type conversion from char to float.
• W0128 An implicit type conversion from char to double.
• W0129 An implicit type conversion from char to long double.
• W0130 An implicit type conversion from char to long long.
• W0131 An implicit type conversion from char to unsigned long long.

6.99.5 Since

1.0.0

6.100 W0120

6.100.1 Message body

An implicit type conversion from char to unsigned char.

6.100.2 Content

Under construction.

6.100.3 Sample code

extern void foo(unsigned char a);

void bar(char a)
{
    unsigned char b = a; /* W0120 */
    foo(a); /* W0120 */
}

6.100.4 Related message

• W0119 An implicit type conversion from char to signed char.
• W0121 An implicit type conversion from char to short.
• W0122 An implicit type conversion from char to unsigned short.
• W0123 An implicit type conversion from char to int.
• W0124 An implicit type conversion from char to unsigned int.
• W0125 An implicit type conversion from char to long.
• W0126 An implicit type conversion from char to unsigned long.
• W0127 An implicit type conversion from char to float.
• W0128 An implicit type conversion from char to double.
• W0129 An implicit type conversion from char to long double.
• W0130 An implicit type conversion from char to long long.
• W0131 An implicit type conversion from char to unsigned long long.

6.100.5 Since

1.0.0

6.101 W0121

6.101.1 Message body

An implicit type conversion from char to short.

6.101.2 Content

Under construction.

6.101.3 Sample code

extern void foo(short a);

void bar(char a)
{
    short b = a; /* W0121 */
    foo(a); /* W0121 */
}

• W0119 An implicit type conversion from char to signed char.
• W0120 An implicit type conversion from char to unsigned char.
• W0122 An implicit type conversion from char to unsigned short.
• W0123 An implicit type conversion from char to int.
• W0124 An implicit type conversion from char to unsigned int.
• W0125 An implicit type conversion from char to long.
• W0126 An implicit type conversion from char to unsigned long.
• W0127 An implicit type conversion from char to float.
• W0128 An implicit type conversion from char to double.
• W0129 An implicit type conversion from char to long double.
• W0130 An implicit type conversion from char to long long.
• W0131 An implicit type conversion from char to unsigned long long.

6.101.4 Since

1.0.0

6.102 W0122

6.102.1 Message body

An implicit type conversion from char to unsigned short.

6.102.2 Content

Under construction.

6.102.3 Sample code

extern void foo(unsigned short a);

void bar(char a)
{
    unsigned short b = a; /* W0122 */
    foo(a); /* W0122 */
}

6.102.4 Related message

• W0119 An implicit type conversion from char to signed char.
• W0120 An implicit type conversion from char to unsigned char.
• W0121 An implicit type conversion from char to short.
• W0123 An implicit type conversion from char to int.
• W0124 An implicit type conversion from char to unsigned int.
• W0125 An implicit type conversion from char to long.
• W0126 An implicit type conversion from char to unsigned long.
• W0127 An implicit type conversion from char to float.
• W0128 An implicit type conversion from char to double.
• W0129 An implicit type conversion from char to long double.
• W0130 An implicit type conversion from char to long long.
• W0131 An implicit type conversion from char to unsigned long long.

6.102.5 Since

1.0.0

6.103 W0123

6.103.1 Message body

An implicit type conversion from char to int.

6.103.2 Content

Under construction.

6.103.3 Sample code

extern void foo(int a);

void bar(char a)
{
    int b = a; /* W0123 */
    foo(a); /* W0123 */
}

6.103.4 Related message

• W0119 An implicit type conversion from char to signed char.
• W0120 An implicit type conversion from char to unsigned char.
• W0121 An implicit type conversion from char to short.
• W0122 An implicit type conversion from char to unsigned short.
• W0124 An implicit type conversion from char to unsigned int.
• W0125 An implicit type conversion from char to long.
• W0126 An implicit type conversion from char to unsigned long.
• W0127 An implicit type conversion from char to float.
• W0128 An implicit type conversion from char to double.
• W0129 An implicit type conversion from char to long double.
• W0130 An implicit type conversion from char to long long.
• W0131 An implicit type conversion from char to unsigned long long.

6.103.5 Since

1.0.0

6.104 W0124

6.104.1 Message body

An implicit type conversion from char to unsigned int.

6.104.2 Content

Under construction.

6.104.3 Sample code

extern void foo(unsigned int a);

void bar(char a)
{
    unsigned int b = a; /* W0124 */
    foo(a); /* W0124 */
}

6.104.4 Related message

• W0119 An implicit type conversion from char to signed char.
• W0120 An implicit type conversion from char to unsigned char.
• W0121 An implicit type conversion from char to short.
• W0122 An implicit type conversion from char to unsigned short.
• W0123 An implicit type conversion from char to int.
• W0125 An implicit type conversion from char to long.
• W0126 An implicit type conversion from char to unsigned long.
• W0127 An implicit type conversion from char to float.
• W0128 An implicit type conversion from char to double.
• W0129 An implicit type conversion from char to long double.
• W0130 An implicit type conversion from char to long long.
• W0131 An implicit type conversion from char to unsigned long long.

6.104.5 Since

1.0.0

6.105 W0125

6.105.1 Message body

An implicit type conversion from char to long.

6.105.2 Content

Under construction.

6.105.3 Sample code

extern void foo(long a);

void bar(char a)
{
    long b = a; /* W0125 */
    foo(a); /* W0125 */
}

6.105.4 Related message

• W0119 An implicit type conversion from char to signed char.
• W0120 An implicit type conversion from char to unsigned char.
• W0121 An implicit type conversion from char to short.
• W0122 An implicit type conversion from char to unsigned short.
• W0123 An implicit type conversion from char to int.
• W0124 An implicit type conversion from char to unsigned int.
• W0126 An implicit type conversion from char to unsigned long.
• W0127 An implicit type conversion from char to float.
• W0128 An implicit type conversion from char to double.
• W0129 An implicit type conversion from char to long double.
• W0130 An implicit type conversion from char to long long.
• W0131 An implicit type conversion from char to unsigned long long.

6.105.5 Since

1.0.0

6.106 W0126

6.106.1 Message body

An implicit type conversion from char to unsigned long.

6.106.2 Content

Under construction.

6.106.3 Sample code

extern void foo(unsigned long a);

void bar(char a)
{
    unsigned long b = a; /* W0126 */
    foo(a); /* W0126 */
}

6.106.4 Related message

• W0119 An implicit type conversion from char to signed char.
• W0120 An implicit type conversion from char to unsigned char.
• W0121 An implicit type conversion from char to short.
• W0122 An implicit type conversion from char to unsigned short.
• W0123 An implicit type conversion from char to int.
• W0124 An implicit type conversion from char to unsigned int.
• W0125 An implicit type conversion from char to long.
• W0127 An implicit type conversion from char to float.
• W0128 An implicit type conversion from char to double.
• W0129 An implicit type conversion from char to long double.
• W0130 An implicit type conversion from char to long long.
• W0131 An implicit type conversion from char to unsigned long long.

6.106.5 Since

1.0.0

6.107 W0127

6.107.1 Message body

An implicit type conversion from char to float.

6.107.2 Content

Under construction.

6.107.3 Sample code

extern void foo(float a);

void bar(char a)
{
    float b = a; /* W0127 */
    foo(a); /* W0127 */
}

6.107.4 Related Message

• W0119 An implicit type conversion from char to signed char.
• W0120 An implicit type conversion from char to unsigned char.
• W0121 An implicit type conversion from char to short.
• W0122 An implicit type conversion from char to unsigned short.
• W0123 An implicit type conversion from char to int.
• W0124 An implicit type conversion from char to unsigned int.
• W0125 An implicit type conversion from char to long.
• W0126 An implicit type conversion from char to unsigned long.
• W0128 An implicit type conversion from char to double.
• W0129 An implicit type conversion from char to long double.
• W0130 An implicit type conversion from char to long long.
• W0131 An implicit type conversion from char to unsigned long long.

6.107.5 Since

1.0.0

6.108 W0128

6.108.1 Message body

An implicit type conversion from char to double.

6.108.2 Content

Under construction.

6.108.3 Sample code

extern void foo(double a);

void bar(char a)
{
    double b = a; /* W0128 */
    foo(a); /* W0128 */
}

6.108.4 Related message

• W0119 An implicit type conversion from char to signed char.
• W0120 An implicit type conversion from char to unsigned char.
• W0121 An implicit type conversion from char to short.
• W0122 An implicit type conversion from char to unsigned short.
• W0123 An implicit type conversion from char to int.
• W0124 An implicit type conversion from char to unsigned int.
• W0125 An implicit type conversion from char to long.
• W0126 An implicit type conversion from char to unsigned long.
• W0127 An implicit type conversion from char to float.
• W0129 An implicit type conversion from char to long double.
• W0130 An implicit type conversion from char to long long.
• W0131 An implicit type conversion from char to unsigned long long.

6.108.5 Since

1.0.0

6.109 W0129

6.109.1 Message body

An implicit type conversion from char to long double.

6.109.2 Content

Under construction.

6.109.3 Sample code

extern void foo(long double a);

void bar(char a)
{
    long double b = a; /* W0129 */
    foo(a); /* W0129 */
}

6.109.4 Related message

• W0119 An implicit type conversion from char to signed char.
• W0120 An implicit type conversion from char to unsigned char.
• W0121 An implicit type conversion from char to short.
• W0122 An implicit type conversion from char to unsigned short.
• W0123 An implicit type conversion from char to int.
• W0124 An implicit type conversion from char to unsigned int.
• W0125 An implicit type conversion from char to long.
• W0126 An implicit type conversion from char to unsigned long.
• W0127 An implicit type conversion from char to float.
• W0128 An implicit type conversion from char to double.
• W0130 An implicit type conversion from char to long long.
• W0131 An implicit type conversion from char to unsigned long long.

Under construction.

6.109.5 Since

1.0.0

6.110 W0130

6.110.1 Message body

An implicit type conversion from char to long long.

6.110.2 Content

Under construction.

6.110.3 Sample code

extern void foo(long long a);

void bar(char a)
{
    long long b = a; /* W0130 */
    foo(a); /* W0130 */
}

6.110.4 Related message

• W0119 An implicit type conversion from char to signed char.
• W0120 An implicit type conversion from char to unsigned char.
• W0121 An implicit type conversion from char to short.
• W0122 An implicit type conversion from char to unsigned short.
• W0123 An implicit type conversion from char to int.
• W0124 An implicit type conversion from char to unsigned int.
• W0125 An implicit type conversion from char to long.
• W0126 An implicit type conversion from char to unsigned long.
• W0127 An implicit type conversion from char to float.
• W0128 An implicit type conversion from char to double.
• W0129 An implicit type conversion from char to long double.
• W0131 An implicit type conversion from char to unsigned long long.

6.110.5 Since

1.0.0

6.111 W0131

6.111.1 Message body

An implicit type conversion from char to unsigned long long.

6.111.2 Content

Under construction.

6.111.3 Sample code

extern void foo(unsigned long long a);

void bar(char a)
{
    unsigned long long b = a; /* W0131 */
    foo(a); /* W0131 */
}

6.111.4 Related message

• W0119 An implicit type conversion from char to signed char.
• W0120 An implicit type conversion from char to unsigned char.
• W0121 An implicit type conversion from char to short.
• W0122 An implicit type conversion from char to unsigned short.
• W0123 An implicit type conversion from char to int.
• W0124 An implicit type conversion from char to unsigned int.
• W0125 An implicit type conversion from char to long.
• W0126 An implicit type conversion from char to unsigned long.
• W0127 An implicit type conversion from char to float.
• W0128 An implicit type conversion from char to double.
• W0129 An implicit type conversion from char to long double.
• W0130 An implicit type conversion from char to long long.

6.111.5 Since

1.0.0

6.112 W0132

6.112.1 Message body

An implicit type conversion from unsigned char to char.

6.112.2 Content

Under construction.

6.112.3 Sample code

extern void foo(char a);

void bar(unsigned char a)
{
    char b = a; /* W0132 */
    foo(a); /* W0132 */
}

6.112.4 Related message

• W0133 An implicit type conversion from signed char to char.
• W0134 An implicit type conversion from short to char.
• W0135 An implicit type conversion from unsigned short to char.
• W0136 An implicit type conversion from int to char.
• W0137 An implicit type conversion from unsigned int to char.
• W0138 An implicit type conversion from long to char.
• W0139 An implicit type conversion from unsigned long to char.
• W0140 An implicit type conversion from long long to char.
• W0141 An implicit type conversion from unsigned long long to char.

6.112.5 Since

1.0.0

6.113 W0133

6.113.1 Message body

An implicit type conversion from signed char to char.

6.113.2 Content

Under construction.

6.113.3 Sample code

extern void foo(char a);

void bar(signed char a)
{
    char b = a; /* W0133 */
    foo(a); /* W0133 */
}

6.113.4 Related message

• W0132 An implicit type conversion from unsigned char to char.
• W0134 An implicit type conversion from short to char.
• W0135 An implicit type conversion from unsigned short to char.
• W0136 An implicit type conversion from int to char.
• W0137 An implicit type conversion from unsigned int to char.
• W0138 An implicit type conversion from long to char.
• W0139 An implicit type conversion from unsigned long to char.
• W0140 An implicit type conversion from long long to char.
• W0141 An implicit type conversion from unsigned long long to char.

6.113.5 Since

1.0.0

6.114 W0134

6.114.1 Message body

An implicit type conversion from short to char.

6.114.2 Content

Under construction.

6.114.3 Sample code

extern void foo(char a);

void bar(short a)
{
    char b = a; /* W0134 */
    foo(a); /* W0134 */
}

6.114.4 Related message

• W0132 An implicit type conversion from unsigned char to char.
• W0133 An implicit type conversion from signed char to char.
• W0135 An implicit type conversion from unsigned short to char.
• W0136 An implicit type conversion from int to char.
• W0137 An implicit type conversion from unsigned int to char.
• W0138 An implicit type conversion from long to char.
• W0139 An implicit type conversion from unsigned long to char.
• W0140 An implicit type conversion from long long to char.
• W0141 An implicit type conversion from unsigned long long to char.

6.114.5 Since

1.0.0

6.115 W0135

6.115.1 Message body

An implicit type conversion from unsigned short to char.

6.115.2 Content

Under construction.

6.115.3 Sample code

extern void foo(char a);

void bar(unsigned short a)
{
    char b = a; /* W0135 */
    foo(a); /* W0135 */
}

6.115.4 Related message

• W0132 An implicit type conversion from unsigned char to char.
• W0133 An implicit type conversion from signed char to char.
• W0134 An implicit type conversion from short to char.
• W0136 An implicit type conversion from int to char.
• W0137 An implicit type conversion from unsigned int to char.
• W0138 An implicit type conversion from long to char.
• W0139 An implicit type conversion from unsigned long to char.
• W0140 An implicit type conversion from long long to char.
• W0141 An implicit type conversion from unsigned long long to char.

6.115.5 Since

1.0.0

6.116 W0136

6.116.1 Message body

An implicit type conversion from int to char.

6.116.2 Content

Under construction.

6.116.3 Sample code

extern void foo(char a);

void bar(int a)
{
    char b = a; /* W0136 */
    foo(a); /* W0136 */
}

6.116.4 Related message

• W0132 An implicit type conversion from unsigned char to char.
• W0133 An implicit type conversion from signed char to char.
• W0134 An implicit type conversion from short to char.
• W0135 An implicit type conversion from unsigned short to char.
• W0137 An implicit type conversion from unsigned int to char.
• W0138 An implicit type conversion from long to char.
• W0139 An implicit type conversion from unsigned long to char.
• W0140 An implicit type conversion from long long to char.
• W0141 An implicit type conversion from unsigned long long to char.

6.116.5 Since

1.0.0

6.117 W0137

6.117.1 Message body

An implicit type conversion from unsigned int to char.

6.117.2 Content

Under construction.

6.117.3 Sample code

extern void foo(char a);

void bar(unsigned int a)
{
    char b = a; /* W0137 */
    foo(a); /* W0137 */
}

6.117.4 Related message

• W0132 An implicit type conversion from unsigned char to char.
• W0133 An implicit type conversion from signed char to char.
• W0134 An implicit type conversion from short to char.
• W0135 An implicit type conversion from unsigned short to char.
• W0136 An implicit type conversion from int to char.
• W0138 An implicit type conversion from long to char.
• W0139 An implicit type conversion from unsigned long to char.
• W0140 An implicit type conversion from long long to char.
• W0141 An implicit type conversion from unsigned long long to char.

6.117.5 Since

1.0.0

6.118 W0138

6.118.1 Message body

An implicit type conversion from long to char.

6.118.2 Content

Under construction.

6.118.3 Sample code

extern void foo(char a);

void bar(long a)
{
    char b = a; /* W0138 */
    foo(a); /* W0138 */
}

6.118.4 Related message

• W0132 An implicit type conversion from unsigned char to char.
• W0133 An implicit type conversion from signed char to char.
• W0134 An implicit type conversion from short to char.
• W0135 An implicit type conversion from unsigned short to char.
• W0136 An implicit type conversion from int to char.
• W0137 An implicit type conversion from unsigned int to char.
• W0139 An implicit type conversion from unsigned long to char.
• W0140 An implicit type conversion from long long to char.
• W0141 An implicit type conversion from unsigned long long to char.

6.118.5 Since

1.0.0

6.119 W0139

6.119.1 Message body

An implicit type conversion from unsigned long to char.

6.119.2 Content

Under construction.

6.119.3 Sample code

extern void foo(char a);

void bar(unsigned long a)
{
    char b = a; /* W0139 */
    foo(a); /* W0139 */
}

6.119.4 Related message

• W0132 An implicit type conversion from unsigned char to char.
• W0133 An implicit type conversion from signed char to char.
• W0134 An implicit type conversion from short to char.
• W0135 An implicit type conversion from unsigned short to char.
• W0136 An implicit type conversion from int to char.
• W0137 An implicit type conversion from unsigned int to char.
• W0138 An implicit type conversion from long to char.
• W0140 An implicit type conversion from long long to char.
• W0141 An implicit type conversion from unsigned long long to char.

6.119.5 Since

1.0.0

6.120 W0140

6.120.1 Message body

An implicit type conversion from long long to char.

6.120.2 Content

Under construction.

6.120.3 Sample code

extern void foo(char a);

void bar(long long a)
{
    char b = a; /* W0140 */
    foo(a); /* W0140 */
}

6.120.4 Related message

• W0132 An implicit type conversion from unsigned char to char.
• W0133 An implicit type conversion from signed char to char.
• W0134 An implicit type conversion from short to char.
• W0135 An implicit type conversion from unsigned short to char.
• W0136 An implicit type conversion from int to char.
• W0137 An implicit type conversion from unsigned int to char.
• W0138 An implicit type conversion from long to char.
• W0139 An implicit type conversion from unsigned long to char.
• W0141 An implicit type conversion from unsigned long long to char.

6.120.5 Since

1.0.0

6.121 W0141

6.121.1 Message body

An implicit type conversion from unsigned long long to char.

6.121.2 Content

Under construction.

6.121.3 Sample code

extern void foo(char a);

void bar(unsigned long long a)
{
    char b = a; /* W0141 */
    foo(a); /* W0141 */
}

6.121.4 Related message

• W0132 An implicit type conversion from unsigned char to char.
• W0133 An implicit type conversion from signed char to char.
• W0134 An implicit type conversion from short to char.
• W0135 An implicit type conversion from unsigned short to char.
• W0136 An implicit type conversion from int to char.
• W0137 An implicit type conversion from unsigned int to char.
• W0138 An implicit type conversion from long to char.
• W0139 An implicit type conversion from unsigned long to char.
• W0140 An implicit type conversion from long long to char.

6.121.5 Since

1.0.0

6.122 W0142

6.122.1 Message body

An implicit type conversion from unsigned char to signed char.

6.122.2 Content

Under construction.

6.122.3 Sample code

extern void foo(signed char a);

void bar(unsigned char a)
{
    signed char b = a; /* W0142 */
    foo(a); /* W0142 */
}

6.122.4 Related message

• W0143 An implicit type conversion from unsigned short to signed char.
• W0144 An implicit type conversion from unsigned short to short.
• W0145 An implicit type conversion from unsigned int to signed char.
• W0146 An implicit type conversion from unsigned int to short.
• W0147 An implicit type conversion from unsigned int to int.
• W0148 An implicit type conversion from unsigned long to signed char.
• W0149 An implicit type conversion from unsigned long to short.
• W0150 An implicit type conversion from unsigned long to int.
• W0151 An implicit type conversion from unsigned long to long.
• W0152 An implicit type conversion from unsigned long long to signed char.
• W0153 An implicit type conversion from unsigned long long to short.
• W0154 An implicit type conversion from unsigned long long to int.
• W0155 An implicit type conversion from unsigned long long to long.
• W0156 An implicit type conversion from unsigned long long to long long.

6.122.5 Since

1.0.0

6.123 W0143

6.123.1 Message body

An implicit type conversion from unsigned short to signed char.

6.123.2 Content

Under construction.

6.123.3 Sample code

extern void foo(signed char a);

void bar(unsigned short a)
{
    signed char b = a; /* W0143 */
    foo(a); /* W0143 */
}

6.123.4 Related message

• W0142 An implicit type conversion from unsigned char to signed char.
• W0144 An implicit type conversion from unsigned short to short.
• W0145 An implicit type conversion from unsigned int to signed char.
• W0146 An implicit type conversion from unsigned int to short.
• W0147 An implicit type conversion from unsigned int to int.
• W0148 An implicit type conversion from unsigned long to signed char.
• W0149 An implicit type conversion from unsigned long to short.
• W0150 An implicit type conversion from unsigned long to int.
• W0151 An implicit type conversion from unsigned long to long.
• W0152 An implicit type conversion from unsigned long long to signed char.
• W0153 An implicit type conversion from unsigned long long to short.
• W0154 An implicit type conversion from unsigned long long to int.
• W0155 An implicit type conversion from unsigned long long to long.
• W0156 An implicit type conversion from unsigned long long to long long.

6.123.5 Since

1.0.0

6.124 W0144

6.124.1 Message body

An implicit type conversion from unsigned short to short.

6.124.2 Content

Under construction.

6.124.3 Sample code

extern void foo(short a);

void bar(unsigned short a)
{
    short b = a; /* W0144 */
    foo(a); /* W0144 */
}

6.124.4 Related message

• W0142 An implicit type conversion from unsigned char to signed char.
• W0143 An implicit type conversion from unsigned short to signed char.
• W0145 An implicit type conversion from unsigned int to signed char.
• W0146 An implicit type conversion from unsigned int to short.
• W0147 An implicit type conversion from unsigned int to int.
• W0148 An implicit type conversion from unsigned long to signed char.
• W0149 An implicit type conversion from unsigned long to short.
• W0150 An implicit type conversion from unsigned long to int.
• W0151 An implicit type conversion from unsigned long to long.
• W0152 An implicit type conversion from unsigned long long to signed char.
• W0153 An implicit type conversion from unsigned long long to short.
• W0154 An implicit type conversion from unsigned long long to int.
• W0155 An implicit type conversion from unsigned long long to long.
• W0156 An implicit type conversion from unsigned long long to long long.

6.124.5 Since

1.0.0

6.125 W0145

6.125.1 Message body

An implicit type conversion from unsigned int to signed char.

6.125.2 Content

Under construction.

6.125.3 Sample code

extern void foo(signed char a);

void bar(unsigned int a)
{
    signed char b = a; /* W0145 */
    foo(a); /* W0145 */
}

6.125.4 Related message

• W0142 An implicit type conversion from unsigned char to signed char.
• W0143 An implicit type conversion from unsigned short to signed char.
• W0144 An implicit type conversion from unsigned short to short.
• W0146 An implicit type conversion from unsigned int to short.
• W0147 An implicit type conversion from unsigned int to int.
• W0148 An implicit type conversion from unsigned long to signed char.
• W0149 An implicit type conversion from unsigned long to short.
• W0150 An implicit type conversion from unsigned long to int.
• W0151 An implicit type conversion from unsigned long to long.
• W0152 An implicit type conversion from unsigned long long to signed char.
• W0153 An implicit type conversion from unsigned long long to short.
• W0154 An implicit type conversion from unsigned long long to int.
• W0155 An implicit type conversion from unsigned long long to long.
• W0156 An implicit type conversion from unsigned long long to long long.

6.125.5 Since

1.0.0

6.126 W0146

6.126.1 Message body

An implicit type conversion from unsigned int to short.

6.126.2 Content

Under construction.

6.126.3 Sample code

extern void foo(short a);

void bar(unsigned int a)
{
    short b = a; /* W0146 */
    foo(a); /* W0146 */
}

6.126.4 Related message

• W0142 An implicit type conversion from unsigned char to signed char.
• W0143 An implicit type conversion from unsigned short to signed char.
• W0144 An implicit type conversion from unsigned short to short.
• W0145 An implicit type conversion from unsigned int to signed char.
• W0147 An implicit type conversion from unsigned int to int.
• W0148 An implicit type conversion from unsigned long to signed char.
• W0149 An implicit type conversion from unsigned long to short.
• W0150 An implicit type conversion from unsigned long to int.
• W0151 An implicit type conversion from unsigned long to long.
• W0152 An implicit type conversion from unsigned long long to signed char.
• W0153 An implicit type conversion from unsigned long long to short.
• W0154 An implicit type conversion from unsigned long long to int.
• W0155 An implicit type conversion from unsigned long long to long.
• W0156 An implicit type conversion from unsigned long long to long long.

6.126.5 Since

1.0.0

6.127 W0147

6.127.1 Message body

An implicit type conversion from unsigned int to int.

6.127.2 Content

Under construction.

6.127.3 Sample code

extern void foo(int a);

void bar(unsigned int a)
{
    int b = a; /* W0147 */
    foo(a); /* W0147 */
}

6.127.4 Related message

• W0142 An implicit type conversion from unsigned char to signed char.
• W0143 An implicit type conversion from unsigned short to signed char.
• W0144 An implicit type conversion from unsigned short to short.
• W0145 An implicit type conversion from unsigned int to signed char.
• W0146 An implicit type conversion from unsigned int to short.
• W0148 An implicit type conversion from unsigned long to signed char.
• W0149 An implicit type conversion from unsigned long to short.
• W0150 An implicit type conversion from unsigned long to int.
• W0151 An implicit type conversion from unsigned long to long.
• W0152 An implicit type conversion from unsigned long long to signed char.
• W0153 An implicit type conversion from unsigned long long to short.
• W0154 An implicit type conversion from unsigned long long to int.
• W0155 An implicit type conversion from unsigned long long to long.
• W0156 An implicit type conversion from unsigned long long to long long.

6.127.5 Since

1.0.0

6.128 W0148

6.128.1 Message body

An implicit type conversion from unsigned long to signed char.

6.128.2 Content

Under construction.

6.128.3 Sample code

extern void foo(signed char a);

void bar(unsigned long a)
{
    signed char b = a; /* W0148 */
    foo(a); /* W0148 */
}

6.128.4 Related message

• W0142 An implicit type conversion from unsigned char to signed char.
• W0143 An implicit type conversion from unsigned short to signed char.
• W0144 An implicit type conversion from unsigned short to short.
• W0145 An implicit type conversion from unsigned int to signed char.
• W0146 An implicit type conversion from unsigned int to short.
• W0147 An implicit type conversion from unsigned int to int.
• W0149 An implicit type conversion from unsigned long to short.
• W0150 An implicit type conversion from unsigned long to int.
• W0151 An implicit type conversion from unsigned long to long.
• W0152 An implicit type conversion from unsigned long long to signed char.
• W0153 An implicit type conversion from unsigned long long to short.
• W0154 An implicit type conversion from unsigned long long to int.
• W0155 An implicit type conversion from unsigned long long to long.
• W0156 An implicit type conversion from unsigned long long to long long.

6.128.5 Since

1.0.0

6.129 W0149

6.129.1 Message body

An implicit type conversion from unsigned long to short.

6.129.2 Content

Under construction.

6.129.3 Sample code

extern void foo(short a);

void bar(unsigned long a)
{
    short b = a; /* W0149 */
    foo(a); /* W0149 */
}

6.129.4 Related message

• W0142 An implicit type conversion from unsigned char to signed char.
• W0143 An implicit type conversion from unsigned short to signed char.
• W0144 An implicit type conversion from unsigned short to short.
• W0145 An implicit type conversion from unsigned int to signed char.
• W0146 An implicit type conversion from unsigned int to short.
• W0147 An implicit type conversion from unsigned int to int.
• W0148 An implicit type conversion from unsigned long to signed char.
• W0150 An implicit type conversion from unsigned long to int.
• W0151 An implicit type conversion from unsigned long to long.
• W0152 An implicit type conversion from unsigned long long to signed char.
• W0153 An implicit type conversion from unsigned long long to short.
• W0154 An implicit type conversion from unsigned long long to int.
• W0155 An implicit type conversion from unsigned long long to long.
• W0156 An implicit type conversion from unsigned long long to long long.

6.129.5 Since

1.0.0

6.130 W0150

6.130.1 Message body

An implicit type conversion from unsigned long to int.

6.130.2 Content

Under construction.

6.130.3 Sample code

extern void foo(int a);

void bar(unsigned long a)
{
    int b = a; /* W0150 */
    foo(a); /* W0150 */
}

6.130.4 Related message

• W0142 An implicit type conversion from unsigned char to signed char.
• W0143 An implicit type conversion from unsigned short to signed char.
• W0144 An implicit type conversion from unsigned short to short.
• W0145 An implicit type conversion from unsigned int to signed char.
• W0146 An implicit type conversion from unsigned int to short.
• W0147 An implicit type conversion from unsigned int to int.
• W0148 An implicit type conversion from unsigned long to signed char.
• W0149 An implicit type conversion from unsigned long to short.
• W0151 An implicit type conversion from unsigned long to long.
• W0152 An implicit type conversion from unsigned long long to signed char.
• W0153 An implicit type conversion from unsigned long long to short.
• W0154 An implicit type conversion from unsigned long long to int.
• W0155 An implicit type conversion from unsigned long long to long.
• W0156 An implicit type conversion from unsigned long long to long long.

6.130.5 Since

1.0.0

6.131 W0151

6.131.1 Message body

An implicit type conversion from unsigned long to long.

6.131.2 Content

Under construction.

6.131.3 Sample code

extern void foo(long a);

void bar(unsigned long a)
{
    long b = a; /* W0151 */
    foo(a); /* W0151 */
}

6.131.4 Related message

• W0142 An implicit type conversion from unsigned char to signed char.
• W0143 An implicit type conversion from unsigned short to signed char.
• W0144 An implicit type conversion from unsigned short to short.
• W0145 An implicit type conversion from unsigned int to signed char.
• W0146 An implicit type conversion from unsigned int to short.
• W0147 An implicit type conversion from unsigned int to int.
• W0148 An implicit type conversion from unsigned long to signed char.
• W0149 An implicit type conversion from unsigned long to short.
• W0150 An implicit type conversion from unsigned long to int.
• W0152 An implicit type conversion from unsigned long long to signed char.
• W0153 An implicit type conversion from unsigned long long to short.
• W0154 An implicit type conversion from unsigned long long to int.
• W0155 An implicit type conversion from unsigned long long to long.
• W0156 An implicit type conversion from unsigned long long to long long.

6.131.5 Since

1.0.0

6.132 W0152

6.132.1 Message body

An implicit type conversion from unsigned long long to signed char.

6.132.2 Content

Under construction.

6.132.3 Sample code

extern void foo(signed char a);

void bar(unsigned long long a)
{
    signed char b = a; /* W0152 */
    foo(a); /* W0152 */
}

6.132.4 Related message

• W0142 An implicit type conversion from unsigned char to signed char.
• W0143 An implicit type conversion from unsigned short to signed char.
• W0144 An implicit type conversion from unsigned short to short.
• W0145 An implicit type conversion from unsigned int to signed char.
• W0146 An implicit type conversion from unsigned int to short.
• W0147 An implicit type conversion from unsigned int to int.
• W0148 An implicit type conversion from unsigned long to signed char.
• W0149 An implicit type conversion from unsigned long to short.
• W0150 An implicit type conversion from unsigned long to int.
• W0151 An implicit type conversion from unsigned long to long.
• W0153 An implicit type conversion from unsigned long long to short.
• W0154 An implicit type conversion from unsigned long long to int.
• W0155 An implicit type conversion from unsigned long long to long.
• W0156 An implicit type conversion from unsigned long long to long long.

6.132.5 Since

1.0.0

6.133 W0153

6.133.1 Message body

An implicit type conversion from unsigned long long to short.

6.133.2 Content

Under construction.

6.133.3 Sample code

extern void foo(short a);

void bar(unsigned long long a)
{
    short b = a; /* W0153 */
    foo(a); /* W0153 */
}

6.133.4 Related message

• W0142 An implicit type conversion from unsigned char to signed char.
• W0143 An implicit type conversion from unsigned short to signed char.
• W0144 An implicit type conversion from unsigned short to short.
• W0145 An implicit type conversion from unsigned int to signed char.
• W0146 An implicit type conversion from unsigned int to short.
• W0147 An implicit type conversion from unsigned int to int.
• W0148 An implicit type conversion from unsigned long to signed char.
• W0149 An implicit type conversion from unsigned long to short.
• W0150 An implicit type conversion from unsigned long to int.
• W0151 An implicit type conversion from unsigned long to long.
• W0152 An implicit type conversion from unsigned long long to signed char.
• W0154 An implicit type conversion from unsigned long long to int.
• W0155 An implicit type conversion from unsigned long long to long.
• W0156 An implicit type conversion from unsigned long long to long long.

6.133.5 Since

1.0.0

6.134 W0154

6.134.1 Message body

An implicit type conversion from unsigned long long to int.

6.134.2 Content

Under construction.

6.134.3 Sample code

extern void foo(int a);

void bar(unsigned long long a)
{
    int b = a; /* W0154 */
    foo(a); /* W0154 */
}

6.134.4 Related message

• W0142 An implicit type conversion from unsigned char to signed char.
• W0143 An implicit type conversion from unsigned short to signed char.
• W0144 An implicit type conversion from unsigned short to short.
• W0145 An implicit type conversion from unsigned int to signed char.
• W0146 An implicit type conversion from unsigned int to short.
• W0147 An implicit type conversion from unsigned int to int.
• W0148 An implicit type conversion from unsigned long to signed char.
• W0149 An implicit type conversion from unsigned long to short.
• W0150 An implicit type conversion from unsigned long to int.
• W0151 An implicit type conversion from unsigned long to long.
• W0152 An implicit type conversion from unsigned long long to signed char.
• W0153 An implicit type conversion from unsigned long long to short.
• W0155 An implicit type conversion from unsigned long long to long.
• W0156 An implicit type conversion from unsigned long long to long long.

6.134.5 Since

1.0.0

6.135 W0155

6.135.1 Message body

An implicit type conversion from unsigned long long to long.

6.135.2 Content

Under construction.

6.135.3 Sample code

extern void foo(long a);

void bar(unsigned long long a)
{
    long b = a; /* W0155 */
    foo(a); /* W0155 */
}

6.135.4 Related message

• W0142 An implicit type conversion from unsigned char to signed char.
• W0143 An implicit type conversion from unsigned short to signed char.
• W0144 An implicit type conversion from unsigned short to short.
• W0145 An implicit type conversion from unsigned int to signed char.
• W0146 An implicit type conversion from unsigned int to short.
• W0147 An implicit type conversion from unsigned int to int.
• W0148 An implicit type conversion from unsigned long to signed char.
• W0149 An implicit type conversion from unsigned long to short.
• W0150 An implicit type conversion from unsigned long to int.
• W0151 An implicit type conversion from unsigned long to long.
• W0152 An implicit type conversion from unsigned long long to signed char.
• W0153 An implicit type conversion from unsigned long long to short.
• W0154 An implicit type conversion from unsigned long long to int.
• W0156 An implicit type conversion from unsigned long long to long long.

6.135.5 Since

1.0.0

6.136 W0156

6.136.1 Message body

An implicit type conversion from unsigned long long to long long.

6.136.2 Content

Under construction.

6.136.3 Sample code

extern void foo(long long a);

void bar(unsigned long long a)
{
    long long b = a; /* W0156 */
    foo(a); /* W0156 */
}

6.136.4 Related message

• W0142 An implicit type conversion from unsigned char to signed char.
• W0143 An implicit type conversion from unsigned short to signed char.
• W0144 An implicit type conversion from unsigned short to short.
• W0145 An implicit type conversion from unsigned int to signed char.
• W0146 An implicit type conversion from unsigned int to short.
• W0147 An implicit type conversion from unsigned int to int.
• W0148 An implicit type conversion from unsigned long to signed char.
• W0149 An implicit type conversion from unsigned long to short.
• W0150 An implicit type conversion from unsigned long to int.
• W0151 An implicit type conversion from unsigned long to long.
• W0152 An implicit type conversion from unsigned long long to signed char.
• W0153 An implicit type conversion from unsigned long long to short.
• W0154 An implicit type conversion from unsigned long long to int.
• W0155 An implicit type conversion from unsigned long long to long.

6.136.5 Since

1.0.0

6.137 W0157

6.137.1 Message body

An implicit type conversion from signed char to unsigned char.

6.137.2 Content

Under construction.

6.137.3 Sample code

extern void foo(unsigned char a);

void bar(signed char a)
{
    unsigned char b = a; /* W0157 */
    foo(a); /* W0157 */
}

6.137.4 Related message

• W0158 An implicit type conversion from signed char to unsigned short.
• W0159 An implicit type conversion from signed char to unsigned int.
• W0160 An implicit type conversion from signed char to unsigned long.
• W0161 An implicit type conversion from short to unsigned char.
• W0162 An implicit type conversion from short to unsigned short.
• W0163 An implicit type conversion from short to unsigned int.
• W0164 An implicit type conversion from short to unsigned long.
• W0165 An implicit type conversion from int to unsigned char.
• W0166 An implicit type conversion from int to unsigned short.
• W0167 An implicit type conversion from int to unsigned int.
• W0168 An implicit type conversion from int to unsigned long.
• W0169 An implicit type conversion from long to unsigned char.
• W0170 An implicit type conversion from long to unsigned short.
• W0171 An implicit type conversion from long to unsigned int.
• W0172 An implicit type conversion from long to unsigned long.
• W0173 An implicit type conversion from signed char to unsigned long long.
• W0174 An implicit type conversion from short to unsigned long long.
• W0175 An implicit type conversion from int to unsigned long long.
• W0176 An implicit type conversion from long to unsigned long long.
• W0177 An implicit type conversion from long long to unsigned char.
• W0178 An implicit type conversion from long long to unsigned short.
• W0179 An implicit type conversion from long long to unsigned int.
• W0180 An implicit type conversion from long long to unsigned long.
• W0181 An implicit type conversion from long long to unsigned long long.

6.137.5 Since

1.0.0

6.138 W0158

6.138.1 Message body

An implicit type conversion from signed char to unsigned short.

6.138.2 Content

Under construction.

6.138.3 Sample code

extern void foo(unsigned short a);

void bar(signed char a)
{
    unsigned short b = a; /* W0158 */
    foo(a); /* W0158 */
}

6.138.4 Related message

• W0157 An implicit type conversion from signed char to unsigned char.
• W0159 An implicit type conversion from signed char to unsigned int.
• W0160 An implicit type conversion from signed char to unsigned long.
• W0161 An implicit type conversion from short to unsigned char.
• W0162 An implicit type conversion from short to unsigned short.
• W0163 An implicit type conversion from short to unsigned int.
• W0164 An implicit type conversion from short to unsigned long.
• W0165 An implicit type conversion from int to unsigned char.
• W0166 An implicit type conversion from int to unsigned short.
• W0167 An implicit type conversion from int to unsigned int.
• W0168 An implicit type conversion from int to unsigned long.
• W0169 An implicit type conversion from long to unsigned char.
• W0170 An implicit type conversion from long to unsigned short.
• W0171 An implicit type conversion from long to unsigned int.
• W0172 An implicit type conversion from long to unsigned long.
• W0173 An implicit type conversion from signed char to unsigned long long.
• W0174 An implicit type conversion from short to unsigned long long.
• W0175 An implicit type conversion from int to unsigned long long.
• W0176 An implicit type conversion from long to unsigned long long.
• W0177 An implicit type conversion from long long to unsigned char.
• W0178 An implicit type conversion from long long to unsigned short.
• W0179 An implicit type conversion from long long to unsigned int.
• W0180 An implicit type conversion from long long to unsigned long.
• W0181 An implicit type conversion from long long to unsigned long long.

Under construction.

6.138.5 Since

1.0.0

6.139 W0159

6.139.1 Message body

An implicit type conversion from signed char to unsigned int.

6.139.2 Content

Under construction.

6.139.3 Sample code

extern void foo(unsigned int a);

void bar(signed char a)
{
    unsigned int b = a; /* W0159 */
    foo(a); /* W0159 */
}

6.139.4 Related message

• W0157 An implicit type conversion from signed char to unsigned char.
• W0158 An implicit type conversion from signed char to unsigned short.
• W0160 An implicit type conversion from signed char to unsigned long.
• W0161 An implicit type conversion from short to unsigned char.
• W0162 An implicit type conversion from short to unsigned short.
• W0163 An implicit type conversion from short to unsigned int.
• W0164 An implicit type conversion from short to unsigned long.
• W0165 An implicit type conversion from int to unsigned char.
• W0166 An implicit type conversion from int to unsigned short.
• W0167 An implicit type conversion from int to unsigned int.
• W0168 An implicit type conversion from int to unsigned long.
• W0169 An implicit type conversion from long to unsigned char.
• W0170 An implicit type conversion from long to unsigned short.
• W0171 An implicit type conversion from long to unsigned int.
• W0172 An implicit type conversion from long to unsigned long.
• W0173 An implicit type conversion from signed char to unsigned long long.
• W0174 An implicit type conversion from short to unsigned long long.
• W0175 An implicit type conversion from int to unsigned long long.
• W0176 An implicit type conversion from long to unsigned long long.
• W0177 An implicit type conversion from long long to unsigned char.
• W0178 An implicit type conversion from long long to unsigned short.
• W0179 An implicit type conversion from long long to unsigned int.
• W0180 An implicit type conversion from long long to unsigned long.
• W0181 An implicit type conversion from long long to unsigned long long.

6.139.5 Since

1.0.0

6.140 W0160

6.140.1 Message body

An implicit type conversion from signed char to unsigned long.

6.140.2 Content

Under construction.

6.140.3 Sample code

extern void foo(unsigned long a);

void bar(signed char a)
{
    unsigned long b = a; /* W0160 */
    foo(a); /* W0160 */
}

6.140.4 Related message

• W0157 An implicit type conversion from signed char to unsigned char.
• W0158 An implicit type conversion from signed char to unsigned short.
• W0159 An implicit type conversion from signed char to unsigned int.
• W0161 An implicit type conversion from short to unsigned char.
• W0162 An implicit type conversion from short to unsigned short.
• W0163 An implicit type conversion from short to unsigned int.
• W0164 An implicit type conversion from short to unsigned long.
• W0165 An implicit type conversion from int to unsigned char.
• W0166 An implicit type conversion from int to unsigned short.
• W0167 An implicit type conversion from int to unsigned int.
• W0168 An implicit type conversion from int to unsigned long.
• W0169 An implicit type conversion from long to unsigned char.
• W0170 An implicit type conversion from long to unsigned short.
• W0171 An implicit type conversion from long to unsigned int.
• W0172 An implicit type conversion from long to unsigned long.
• W0173 An implicit type conversion from signed char to unsigned long long.
• W0174 An implicit type conversion from short to unsigned long long.
• W0175 An implicit type conversion from int to unsigned long long.
• W0176 An implicit type conversion from long to unsigned long long.
• W0177 An implicit type conversion from long long to unsigned char.
• W0178 An implicit type conversion from long long to unsigned short.
• W0179 An implicit type conversion from long long to unsigned int.
• W0180 An implicit type conversion from long long to unsigned long.
• W0181 An implicit type conversion from long long to unsigned long long.

6.140.5 Since

1.0.0

6.141 W0161

6.141.1 Message body

An implicit type conversion from short to unsigned char.

6.141.2 Content

Under construction.

6.141.3 Sample code

extern void foo(unsigned char a);

void bar(short a)
{
    unsigned char b = a; /* W0161 */
    foo(a); /* W0161 */
}

6.141.4 Related message

• W0157 An implicit type conversion from signed char to unsigned char.
• W0158 An implicit type conversion from signed char to unsigned short.
• W0159 An implicit type conversion from signed char to unsigned int.
• W0160 An implicit type conversion from signed char to unsigned long.
• W0161 An implicit type conversion from short to unsigned char.
• W0162 An implicit type conversion from short to unsigned short.
• W0163 An implicit type conversion from short to unsigned int.
• W0164 An implicit type conversion from short to unsigned long.
• W0165 An implicit type conversion from int to unsigned char.
• W0166 An implicit type conversion from int to unsigned short.
• W0167 An implicit type conversion from int to unsigned int.
• W0168 An implicit type conversion from int to unsigned long.
• W0169 An implicit type conversion from long to unsigned char.
• W0170 An implicit type conversion from long to unsigned short.
• W0171 An implicit type conversion from long to unsigned int.
• W0172 An implicit type conversion from long to unsigned long.
• W0173 An implicit type conversion from signed char to unsigned long long.
• W0174 An implicit type conversion from short to unsigned long long.
• W0175 An implicit type conversion from int to unsigned long long.
• W0176 An implicit type conversion from long to unsigned long long.
• W0177 An implicit type conversion from long long to unsigned char.
• W0178 An implicit type conversion from long long to unsigned short.
• W0179 An implicit type conversion from long long to unsigned int.
• W0180 An implicit type conversion from long long to unsigned long.
• W0181 An implicit type conversion from long long to unsigned long long.

6.141.5 Since

1.0.0

6.142 W0162

6.142.1 Message body

An implicit type conversion from short to unsigned short.

6.142.2 Content

Under construction.

6.142.3 Sample code

extern void foo(unsigned short a);

void bar(short a)
{
    unsigned short b = a; /* W0162 */
    foo(a); /* W0162 */
}

6.142.4 Related message

• W0157 An implicit type conversion from signed char to unsigned char.
• W0158 An implicit type conversion from signed char to unsigned short.
• W0159 An implicit type conversion from signed char to unsigned int.
• W0160 An implicit type conversion from signed char to unsigned long.
• W0161 An implicit type conversion from short to unsigned char.
• W0163 An implicit type conversion from short to unsigned int.
• W0164 An implicit type conversion from short to unsigned long.
• W0165 An implicit type conversion from int to unsigned char.
• W0166 An implicit type conversion from int to unsigned short.
• W0167 An implicit type conversion from int to unsigned int.
• W0168 An implicit type conversion from int to unsigned long.
• W0169 An implicit type conversion from long to unsigned char.
• W0170 An implicit type conversion from long to unsigned short.
• W0171 An implicit type conversion from long to unsigned int.
• W0172 An implicit type conversion from long to unsigned long.
• W0173 An implicit type conversion from signed char to unsigned long long.
• W0174 An implicit type conversion from short to unsigned long long.
• W0175 An implicit type conversion from int to unsigned long long.
• W0176 An implicit type conversion from long to unsigned long long.
• W0177 An implicit type conversion from long long to unsigned char.
• W0178 An implicit type conversion from long long to unsigned short.
• W0179 An implicit type conversion from long long to unsigned int.
• W0180 An implicit type conversion from long long to unsigned long.
• W0181 An implicit type conversion from long long to unsigned long long.

6.142.5 Since

1.0.0

6.143 W0163

6.143.1 Message body

An implicit type conversion from short to unsigned int.

6.143.2 Content

Under construction.

6.143.3 Sample code

extern void foo(unsigned int a);

void bar(short a)
{
    unsigned int b = a; /* W0163 */
    foo(a); /* W0163 */
}

6.143.4 Related message

• W0157 An implicit type conversion from signed char to unsigned char.
• W0158 An implicit type conversion from signed char to unsigned short.
• W0159 An implicit type conversion from signed char to unsigned int.
• W0160 An implicit type conversion from signed char to unsigned long.
• W0161 An implicit type conversion from short to unsigned char.
• W0162 An implicit type conversion from short to unsigned short.
• W0164 An implicit type conversion from short to unsigned long.
• W0165 An implicit type conversion from int to unsigned char.
• W0166 An implicit type conversion from int to unsigned short.
• W0167 An implicit type conversion from int to unsigned int.
• W0168 An implicit type conversion from int to unsigned long.
• W0169 An implicit type conversion from long to unsigned char.
• W0170 An implicit type conversion from long to unsigned short.
• W0171 An implicit type conversion from long to unsigned int.
• W0172 An implicit type conversion from long to unsigned long.
• W0173 An implicit type conversion from signed char to unsigned long long.
• W0174 An implicit type conversion from short to unsigned long long.
• W0175 An implicit type conversion from int to unsigned long long.
• W0176 An implicit type conversion from long to unsigned long long.
• W0177 An implicit type conversion from long long to unsigned char.
• W0178 An implicit type conversion from long long to unsigned short.
• W0179 An implicit type conversion from long long to unsigned int.
• W0180 An implicit type conversion from long long to unsigned long.
• W0181 An implicit type conversion from long long to unsigned long long.

6.143.5 Since

1.0.0

6.144 W0164

6.144.1 Message body

An implicit type conversion from short to unsigned long.

6.144.2 Content

Under construction.

6.144.3 Sample code

extern void foo(unsigned long a);

void bar(short a)
{
    unsigned long b = a; /* W0164 */
    foo(a); /* W0164 */
}

6.144.4 Related message

• W0157 An implicit type conversion from signed char to unsigned char.
• W0158 An implicit type conversion from signed char to unsigned short.
• W0159 An implicit type conversion from signed char to unsigned int.
• W0160 An implicit type conversion from signed char to unsigned long.
• W0161 An implicit type conversion from short to unsigned char.
• W0162 An implicit type conversion from short to unsigned short.
• W0163 An implicit type conversion from short to unsigned int.
• W0165 An implicit type conversion from int to unsigned char.
• W0166 An implicit type conversion from int to unsigned short.
• W0167 An implicit type conversion from int to unsigned int.
• W0168 An implicit type conversion from int to unsigned long.
• W0169 An implicit type conversion from long to unsigned char.
• W0170 An implicit type conversion from long to unsigned short.
• W0171 An implicit type conversion from long to unsigned int.
• W0172 An implicit type conversion from long to unsigned long.
• W0173 An implicit type conversion from signed char to unsigned long long.
• W0174 An implicit type conversion from short to unsigned long long.
• W0175 An implicit type conversion from int to unsigned long long.
• W0176 An implicit type conversion from long to unsigned long long.
• W0177 An implicit type conversion from long long to unsigned char.
• W0178 An implicit type conversion from long long to unsigned short.
• W0179 An implicit type conversion from long long to unsigned int.
• W0180 An implicit type conversion from long long to unsigned long.
• W0181 An implicit type conversion from long long to unsigned long long.

6.144.5 Since

1.0.0

6.145 W0165

6.145.1 Message body

An implicit type conversion from int to unsigned char.

6.145.2 Content

Under construction.

6.145.3 Sample code

extern void foo(unsigned char a);

void bar(int a)
{
    unsigned char b = a; /* W0165 */
    foo(a); /* W0165 */
}

6.145.4 Related message

• W0157 An implicit type conversion from signed char to unsigned char.
• W0158 An implicit type conversion from signed char to unsigned short.
• W0159 An implicit type conversion from signed char to unsigned int.
• W0160 An implicit type conversion from signed char to unsigned long.
• W0161 An implicit type conversion from short to unsigned char.
• W0162 An implicit type conversion from short to unsigned short.
• W0163 An implicit type conversion from short to unsigned int.
• W0164 An implicit type conversion from short to unsigned long.
• W0166 An implicit type conversion from int to unsigned short.
• W0167 An implicit type conversion from int to unsigned int.
• W0168 An implicit type conversion from int to unsigned long.
• W0169 An implicit type conversion from long to unsigned char.
• W0170 An implicit type conversion from long to unsigned short.
• W0171 An implicit type conversion from long to unsigned int.
• W0172 An implicit type conversion from long to unsigned long.
• W0173 An implicit type conversion from signed char to unsigned long long.
• W0174 An implicit type conversion from short to unsigned long long.
• W0175 An implicit type conversion from int to unsigned long long.
• W0176 An implicit type conversion from long to unsigned long long.
• W0177 An implicit type conversion from long long to unsigned char.
• W0178 An implicit type conversion from long long to unsigned short.
• W0179 An implicit type conversion from long long to unsigned int.
• W0180 An implicit type conversion from long long to unsigned long.
• W0181 An implicit type conversion from long long to unsigned long long.

6.145.5 Since

1.0.0

6.146 W0166

6.146.1 Message body

An implicit type conversion from int to unsigned short.

6.146.2 Content

Under construction.

6.146.3 Sample code

extern void foo(unsigned short a);

void bar(int a)
{
    unsigned short b = a; /* W0166 */
    foo(a); /* W0166 */
}

6.146.4 Related message

• W0157 An implicit type conversion from signed char to unsigned char.
• W0158 An implicit type conversion from signed char to unsigned short.
• W0159 An implicit type conversion from signed char to unsigned int.
• W0160 An implicit type conversion from signed char to unsigned long.
• W0161 An implicit type conversion from short to unsigned char.
• W0162 An implicit type conversion from short to unsigned short.
• W0163 An implicit type conversion from short to unsigned int.
• W0164 An implicit type conversion from short to unsigned long.
• W0165 An implicit type conversion from int to unsigned char.
• W0167 An implicit type conversion from int to unsigned int.
• W0168 An implicit type conversion from int to unsigned long.
• W0169 An implicit type conversion from long to unsigned char.
• W0170 An implicit type conversion from long to unsigned short.
• W0171 An implicit type conversion from long to unsigned int.
• W0172 An implicit type conversion from long to unsigned long.
• W0173 An implicit type conversion from signed char to unsigned long long.
• W0174 An implicit type conversion from short to unsigned long long.
• W0175 An implicit type conversion from int to unsigned long long.
• W0176 An implicit type conversion from long to unsigned long long.
• W0177 An implicit type conversion from long long to unsigned char.
• W0178 An implicit type conversion from long long to unsigned short.
• W0179 An implicit type conversion from long long to unsigned int.
• W0180 An implicit type conversion from long long to unsigned long.
• W0181 An implicit type conversion from long long to unsigned long long.

6.146.5 Since

1.0.0

6.147 W0167

6.147.1 Message body

An implicit type conversion from int to unsigned int.

6.147.2 Content

Under construction.

6.147.3 Sample code

extern void foo(unsigned int a);

void bar(int a)
{
    unsigned int b = a; /* W0167 */
    foo(a); /* W0167 */
}

6.147.4 Related message

• W0157 An implicit type conversion from signed char to unsigned char.
• W0158 An implicit type conversion from signed char to unsigned short.
• W0159 An implicit type conversion from signed char to unsigned int.
• W0160 An implicit type conversion from signed char to unsigned long.
• W0161 An implicit type conversion from short to unsigned char.
• W0162 An implicit type conversion from short to unsigned short.
• W0163 An implicit type conversion from short to unsigned int.
• W0164 An implicit type conversion from short to unsigned long.
• W0165 An implicit type conversion from int to unsigned char.
• W0166 An implicit type conversion from int to unsigned short.
• W0168 An implicit type conversion from int to unsigned long.
• W0169 An implicit type conversion from long to unsigned char.
• W0170 An implicit type conversion from long to unsigned short.
• W0171 An implicit type conversion from long to unsigned int.
• W0172 An implicit type conversion from long to unsigned long.
• W0173 An implicit type conversion from signed char to unsigned long long.
• W0174 An implicit type conversion from short to unsigned long long.
• W0175 An implicit type conversion from int to unsigned long long.
• W0176 An implicit type conversion from long to unsigned long long.
• W0177 An implicit type conversion from long long to unsigned char.
• W0178 An implicit type conversion from long long to unsigned short.
• W0179 An implicit type conversion from long long to unsigned int.
• W0180 An implicit type conversion from long long to unsigned long.
• W0181 An implicit type conversion from long long to unsigned long long.

6.147.5 Since

1.0.0

6.148 W0168

6.148.1 Message body

An implicit type conversion from int to unsigned long.

6.148.2 Content

Under construction.

6.148.3 Sample code

extern void foo(unsigned long a);

void bar(int a)
{
    unsigned long b = a; /* W0168 */
    foo(a); /* W0168 */
}

6.148.4 Related message

• W0157 An implicit type conversion from signed char to unsigned char.
• W0158 An implicit type conversion from signed char to unsigned short.
• W0159 An implicit type conversion from signed char to unsigned int.
• W0160 An implicit type conversion from signed char to unsigned long.
• W0161 An implicit type conversion from short to unsigned char.
• W0162 An implicit type conversion from short to unsigned short.
• W0163 An implicit type conversion from short to unsigned int.
• W0164 An implicit type conversion from short to unsigned long.
• W0165 An implicit type conversion from int to unsigned char.
• W0166 An implicit type conversion from int to unsigned short.
• W0167 An implicit type conversion from int to unsigned int.
• W0169 An implicit type conversion from long to unsigned char.
• W0170 An implicit type conversion from long to unsigned short.
• W0171 An implicit type conversion from long to unsigned int.
• W0172 An implicit type conversion from long to unsigned long.
• W0173 An implicit type conversion from signed char to unsigned long long.
• W0174 An implicit type conversion from short to unsigned long long.
• W0175 An implicit type conversion from int to unsigned long long.
• W0176 An implicit type conversion from long to unsigned long long.
• W0177 An implicit type conversion from long long to unsigned char.
• W0178 An implicit type conversion from long long to unsigned short.
• W0179 An implicit type conversion from long long to unsigned int.
• W0180 An implicit type conversion from long long to unsigned long.
• W0181 An implicit type conversion from long long to unsigned long long.

6.148.5 Since

1.0.0

6.149 W0169

6.149.1 Message body

An implicit type conversion from long to unsigned char.

6.149.2 Content

Under construction.

6.149.3 Sample code

extern void foo(unsigned char a);

void bar(long a)
{
    unsigned char b = a; /* W0169 */
    foo(a); /* W0169 */
}

6.149.4 Related message

• W0157 An implicit type conversion from signed char to unsigned char.
• W0158 An implicit type conversion from signed char to unsigned short.
• W0159 An implicit type conversion from signed char to unsigned int.
• W0160 An implicit type conversion from signed char to unsigned long.
• W0161 An implicit type conversion from short to unsigned char.
• W0162 An implicit type conversion from short to unsigned short.
• W0163 An implicit type conversion from short to unsigned int.
• W0164 An implicit type conversion from short to unsigned long.
• W0165 An implicit type conversion from int to unsigned char.
• W0166 An implicit type conversion from int to unsigned short.
• W0167 An implicit type conversion from int to unsigned int.
• W0168 An implicit type conversion from int to unsigned long.
• W0170 An implicit type conversion from long to unsigned short.
• W0171 An implicit type conversion from long to unsigned int.
• W0172 An implicit type conversion from long to unsigned long.
• W0173 An implicit type conversion from signed char to unsigned long long.
• W0174 An implicit type conversion from short to unsigned long long.
• W0175 An implicit type conversion from int to unsigned long long.
• W0176 An implicit type conversion from long to unsigned long long.
• W0177 An implicit type conversion from long long to unsigned char.
• W0178 An implicit type conversion from long long to unsigned short.
• W0179 An implicit type conversion from long long to unsigned int.
• W0180 An implicit type conversion from long long to unsigned long.
• W0181 An implicit type conversion from long long to unsigned long long.

6.149.5 Since

1.0.0

6.150 W0170

6.150.1 Message body

An implicit type conversion from long to unsigned char.

6.150.2 Content

Under construction.

6.150.3 Sample code

extern void foo(unsigned short a);

void bar(long a)
{
    unsigned short b = a; /* W0170 */
    foo(a); /* W0170 */
}

6.150.4 Related message

• W0157 An implicit type conversion from signed char to unsigned char.
• W0158 An implicit type conversion from signed char to unsigned short.
• W0159 An implicit type conversion from signed char to unsigned int.
• W0160 An implicit type conversion from signed char to unsigned long.
• W0161 An implicit type conversion from short to unsigned char.
• W0162 An implicit type conversion from short to unsigned short.
• W0163 An implicit type conversion from short to unsigned int.
• W0164 An implicit type conversion from short to unsigned long.
• W0165 An implicit type conversion from int to unsigned char.
• W0166 An implicit type conversion from int to unsigned short.
• W0167 An implicit type conversion from int to unsigned int.
• W0168 An implicit type conversion from int to unsigned long.
• W0169 An implicit type conversion from long to unsigned char.
• W0171 An implicit type conversion from long to unsigned int.
• W0172 An implicit type conversion from long to unsigned long.
• W0173 An implicit type conversion from signed char to unsigned long long.
• W0174 An implicit type conversion from short to unsigned long long.
• W0175 An implicit type conversion from int to unsigned long long.
• W0176 An implicit type conversion from long to unsigned long long.
• W0177 An implicit type conversion from long long to unsigned char.
• W0178 An implicit type conversion from long long to unsigned short.
• W0179 An implicit type conversion from long long to unsigned int.
• W0180 An implicit type conversion from long long to unsigned long.
• W0181 An implicit type conversion from long long to unsigned long long.

6.150.5 Since

1.0.0

6.151 W0171

6.151.1 Message body

An implicit type conversion from long to unsigned int.

6.151.2 Content

Under construction.

6.151.3 Sample code

extern void foo(unsigned int a);

void bar(long a)
{
    unsigned int b = a; /* W0171 */
    foo(a); /* W0171 */
}

6.151.4 Related message

• W0157 An implicit type conversion from signed char to unsigned char.
• W0158 An implicit type conversion from signed char to unsigned short.
• W0159 An implicit type conversion from signed char to unsigned int.
• W0160 An implicit type conversion from signed char to unsigned long.
• W0161 An implicit type conversion from short to unsigned char.
• W0162 An implicit type conversion from short to unsigned short.
• W0163 An implicit type conversion from short to unsigned int.
• W0164 An implicit type conversion from short to unsigned long.
• W0165 An implicit type conversion from int to unsigned char.
• W0166 An implicit type conversion from int to unsigned short.
• W0167 An implicit type conversion from int to unsigned int.
• W0168 An implicit type conversion from int to unsigned long.
• W0169 An implicit type conversion from long to unsigned char.
• W0170 An implicit type conversion from long to unsigned short.
• W0172 An implicit type conversion from long to unsigned long.
• W0173 An implicit type conversion from signed char to unsigned long long.
• W0174 An implicit type conversion from short to unsigned long long.
• W0175 An implicit type conversion from int to unsigned long long.
• W0176 An implicit type conversion from long to unsigned long long.
• W0177 An implicit type conversion from long long to unsigned char.
• W0178 An implicit type conversion from long long to unsigned short.
• W0179 An implicit type conversion from long long to unsigned int.
• W0180 An implicit type conversion from long long to unsigned long.
• W0181 An implicit type conversion from long long to unsigned long long.

6.151.5 Since

1.0.0

6.152 W0172

6.152.1 Message body

An implicit type conversion from long to unsigned long.

6.152.2 Content

Under construction.

6.152.3 Sample code

extern void foo(unsigned long a);

void bar(long a)
{
    unsigned long b = a; /* W0172 */
    foo(a); /* W0172 */
}

6.152.4 Related message

• W0157 An implicit type conversion from signed char to unsigned char.
• W0158 An implicit type conversion from signed char to unsigned short.
• W0159 An implicit type conversion from signed char to unsigned int.
• W0160 An implicit type conversion from signed char to unsigned long.
• W0161 An implicit type conversion from short to unsigned char.
• W0162 An implicit type conversion from short to unsigned short.
• W0163 An implicit type conversion from short to unsigned int.
• W0164 An implicit type conversion from short to unsigned long.
• W0165 An implicit type conversion from int to unsigned char.
• W0166 An implicit type conversion from int to unsigned short.
• W0167 An implicit type conversion from int to unsigned int.
• W0168 An implicit type conversion from int to unsigned long.
• W0169 An implicit type conversion from long to unsigned char.
• W0170 An implicit type conversion from long to unsigned short.
• W0171 An implicit type conversion from long to unsigned int.
• W0173 An implicit type conversion from signed char to unsigned long long.
• W0174 An implicit type conversion from short to unsigned long long.
• W0175 An implicit type conversion from int to unsigned long long.
• W0176 An implicit type conversion from long to unsigned long long.
• W0177 An implicit type conversion from long long to unsigned char.
• W0178 An implicit type conversion from long long to unsigned short.
• W0179 An implicit type conversion from long long to unsigned int.
• W0180 An implicit type conversion from long long to unsigned long.
• W0181 An implicit type conversion from long long to unsigned long long.

6.152.5 Since

1.0.0

6.153 W0173

6.153.1 Message body

An implicit type conversion from signed char to unsigned long long.

6.153.2 Content

Under construction.

6.153.3 Sample code