Infinite loop with Gnulib's intprops module

Static source code analysis tool for C and C++ code

Brought to you by: danielmarjamaki

Infinite loop with Gnulib's intprops module

Forum: General Discussion

Creator: Daiki Ueno

Created: 2023-01-10

Updated: 2023-01-10

Daiki Ueno - 2023-01-10

Hello,

Gnulib provides some handy intprops for overflow-checked integer arithmetic, which seem to be causing infloop when checked with cppcheck. I haven't managed to create a minimal reproducer, but you could replicate it with:

$ cppcheck --version Cppcheck 2.9 $ git clone --depth=1 https://git.sv.gnu.org/git/gnulib.git $ cd gnulib $ ./gnulib-tool --create-testdir --dir t intprops $ cd t $ ./configure $ time cppcheck --force -q -Igllib -Igltests -I. --error-exitcode=1 gltests/test-intprops.c -j2 ... never stop ...

(PS: I sent an account creation request for the Trac some time ago, but haven't received a reply; so trying on this forum)

Last edit: Daiki Ueno 2023-01-10
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

CHR - 2023-01-10

I can reproduce the hang in createSymbolDatabaseExprIds() with test-intprops.c and intprops.h.
It seems to be related to https://trac.cppcheck.net/ticket/10192

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Log in to post a comment.