GCC 10 and Coverity Scan

Joel Sherrill joel@rtems.org
Wed Oct 28 16:04:16 GMT 2020


Hi

This isn't the perfect place to ask this but someone here may have insight.
And getting help with Coverity Scan directly isn't easy. I'm hoping someone
here has some insight or can point me to someone who does.

We have been using Coverity Scan a long time with RTEMS. It works fine
using gcc 7.5.0 but Coverity appears to have a problem with gcc 10. This is
what --version reports for both toolchains:

$ ~/rtems-work/tools/5/bin/sparc-rtems5-gcc --version
sparc-rtems5-gcc (GCC) 7.5.0 20191114 (RTEMS 5, RSB 5 (cbae90a5817a),
Newlib 7947581)

$ sparc-rtems6-gcc --version
sparc-rtems6-gcc (GCC) 10.2.1 20201028 (RTEMS 6, RSB
4c5af1f7c1553e53739ca4e9892de26924ec2b3f, Newlib fcaaf40)

I am a bit suspicious that Coverity isn't handling the transition from 1 to
2 digits in the major number. All I am changing is the name of the target
in the script that does the analysis build.

This is the output from Coverity:

/home/joel/coverity/cov-analysis-linux64-2019.03/bin/cov-emit
--dir=/home/joel/rtems-work/b-coverity-sparc-rtems6/cov-int
--ignore_path=/tmp/cov-joel/d83f12de08465ee5db7c3d5793b61b7f/cov-configure
--ignore_path=/tmp/cov-joel/d83f12de08465ee5db7c3d5793b61b7f/cov-joel/4c6332bd8a8cc093158cd207a79a6edf
--pre_preinclude
/home/joel/coverity/cov-analysis-linux64-2019.03/config/gcc-config-0/coverity-macro-compat.h
--pre_preinclude
/home/joel/coverity/cov-analysis-linux64-2019.03/config/gcc-config-0/coverity-compiler-compat.h
--add_type_modifier=__coverity___fpreg
--add_type_modifier=__coverity_decimal --add_type_modifier=__coverity_float
--add_type_modifier=__coverity_floatx --no_predefined_feature_test_macros
--no_stdarg_builtin --no_predefined_cplusplus -w --no_predefines --comp_ver
0.2.1 --char_bit_size=8 --restrict --gnu_carriage_return_line_terminator
--no_multiline_string --no_trigraphs --ignore_calling_convention --c11
--no_enable_80bit_float --no_enable_128bit_float --allow__bool
--macro_stack_pragmas --inline_keyword --has_include_macro
--has_include_next_macro --has_cpp_attribute_macro --no_predefines --c
--no_builtin_emulation --ppp_translator
"replace%#\s*ident\s*([^;]*);%#ident $1" --gcc --gnu_version 201 -I.
-I/home/joel/rtems-work/b-coverity-sparc-rtems6/sparc-rtems6/c/leon3/include
-I/home/joel/rtems-work/rtems/cpukit/include
-I/home/joel/rtems-work/rtems/cpukit/score/cpu/sparc/include --sys_include
/home/joel/rtems-work/tools/6/lib/gcc/sparc-rtems6/10.2.1/include
--sys_include
/home/joel/rtems-work/tools/6/lib/gcc/sparc-rtems6/10.2.1/include-fixed
--sys_include
/home/joel/rtems-work/tools/6/lib/gcc/sparc-rtems6/10.2.1/../../../../sparc-rtems6/include
-DHAVE_CONFIG_H -D__OPTIMIZE__ --type_sizes=dex8Pfil4s2
--type_alignments=dex8Pfil4s2 --size_t_type=j --wchar_t_type=l
--ptrdiff_t_type=i ../../../../../rtems/cpukit/zlib/zutil.c
Command-line error #1359: invalid GNU version number: 201

[ERROR] 1 catastrophic error detected in this compilation.
Compilation terminated.
WARNING: cov-emit returned with code 2

Any insight or pointers to someone who might be of help is appreciated.

--joel


More information about the Gcc mailing list