2021-10-17 09:01
ftp://ftp.de.debian.org/debian/pool/main/libu/libunistring/libunistring_0.9.10.orig.tar.xz
cppcheck-options: --library=posix --library=gnu  --showtime=top5 --check-library --inconclusive --enable=style,information --template=daca2 -D__GNUC__ --platform=unix64 -rp=temp
platform: Linux-5.10.0-9-amd64-x86_64-with-glibc2.31
python: 3.9.2
client-version: 1.3.15
compiler: g++ (Debian 10.2.1-6) 10.2.1 20210110
cppcheck: head 2.6
head-info: 27d7609d8 (2021-10-16 13:59:39 +0200)
count: Crash! 469
elapsed-time: -6.0 1190.6
head-timing-info:

old-timing-info:
 Overall time: 0s

head results:
Checking temp/libunistring-0.9.10/tests/test-intprops.c: __GNUC__=1...

Program received signal SIGABRT, Aborted.
__GI_raise (sig=sig@entry=6) at ../sysdeps/unix/sysv/linux/raise.c:50
#0  __GI_raise (sig=sig@entry=6) at ../sysdeps/unix/sysv/linux/raise.c:50
#1  0x00007ffff7af2537 in __GI_abort () at abort.c:79
#2  0x00007ffff7af240f in __assert_fail_base (fmt=0x7ffff7c5b128 "%s%s%s:%u: %s%sAssertion `%s' failed.\n%n", assertion=0x55555592d42c "!maxValue->isKnown()", file=0x55555592d48c "build/infer.cpp", line=136, function=<optimized out>) at assert.c:92
#3  0x00007ffff7b01662 in __GI___assert_fail (assertion=assertion@entry=0x55555592d42c "!maxValue->isKnown()", file=file@entry=0x55555592d48c "build/infer.cpp", line=line@entry=136, function=function@entry=0x55555592d310 "static Interval Interval::fromValues(const std::__cxx11::list<ValueFlow::Value>&, Predicate) [with Predicate = Interval::fromValues(const std::__cxx11::list<ValueFlow::Value>&)::<lambda(const ValueFlo"...) at assert.c:101
#4  0x0000555555785018 in Interval::fromValues<Interval::fromValues(std::__cxx11::list<ValueFlow::Value, std::allocator<ValueFlow::Value> > const&)::{lambda(ValueFlow::Value const&)#1}>(std::__cxx11::list<ValueFlow::Value, std::allocator<ValueFlow::Value> > const&, Interval::fromValues(std::__cxx11::list<ValueFlow::Value, std::allocator<ValueFlow::Value> > const&)::{lambda(ValueFlow::Value const&)#1}) (values=std::__cxx11::list = {...}, predicate=...) at lib/valueflow.h:392
#5  0x000055555578555d in Interval::fromValues (values=std::__cxx11::list = {...}) at build/infer.cpp:143
#6  infer (model=..., op="==", lhsValues=std::__cxx11::list = {...}, rhsValues=std::__cxx11::list = {...}) at build/infer.cpp:291
#7  0x00005555558c4596 in valueFlowInferCondition (tokenlist=0x7fffffffc120, tokenlist=0x7fffffffc120, settings=0x7fffffffd1e0) at build/valueflow.cpp:6922
#8  ValueFlow::setValues (tokenlist=0x7fffffffc120, symboldatabase=0x555555be91e0, errorLogger=0x7fffffffcfc0, settings=0x7fffffffd1e0) at build/valueflow.cpp:8944
#9  0x000055555587ec32 in Tokenizer::simplifyTokens1 (this=this@entry=0x7fffffffc120, configuration="__GNUC__=1") at build/tokenize.cpp:12427
#10 0x0000555555728645 in CppCheck::checkFile (this=0x7fffffffcfc0, filename="temp/libunistring-0.9.10/tests/test-intprops.c", cfgname=..., fileStream=...) at build/cppcheck.cpp:825
#11 0x000055555572a4b8 in CppCheck::check (this=this@entry=0x7fffffffcfc0, path="temp/libunistring-0.9.10/tests/test-intprops.c") at build/cppcheck.cpp:524
#12 0x00005555558e7cbf in CppCheckExecutor::check_internal (this=0x7fffffffdf80, cppcheck=..., argv=<optimized out>) at cli/cppcheckexecutor.cpp:939
#13 0x00005555558e8172 in CppCheckExecutor::check (this=this@entry=0x7fffffffdf80, argc=argc@entry=13, argv=argv@entry=0x7fffffffe318) at cli/cppcheckexecutor.cpp:244
#14 0x000055555560a2eb in main (argc=13, argv=0x7fffffffe318) at cli/main.cpp:95

DONE