Package: splint Version: 1:3.1.2+dfsg-5 Severity: normal Dear Maintainer,
I have been using splint to clean up the PV code[1], and after restructuring src/pv/display.c, found that splint now exits with a segmentation violation when processing that file: *** Segmentation Violation *** Location (not trusted): display.c:917:25 *** Last code point: transferChecks.c:3445 *** Previous code point: transferChecks.c:3437 The changes to "display.c" and "pv-internal.h" that triggered this bug were reasonably significant and introduced sub-structures to the main state structure. I don't know if that's related but I haven't been able to make splint happy with the "display_buffer" variable, as it says it's undefined. A tarball which illustrates the problem is attached; running "bug.sh" should reproduce the error. If additional context is needed, this is effectively an excerpt from PV's git repository[2]. Prior to making these changes, splint was running on all ".c" files in the project without incident. [1] - https://u33067285.ct.sendgrid.net/ls/click?upn=w3EznbKywG7cJlyycYu1XCPHPvMClRoEqyVXd3jgvNQMqaQf9MHqASWGIW0yfqCMpHPmEg1pi6gHqjfiHAkxkw-3D-3DXiSd_kfytytOqXJMoRhb2oyNeM0XjBzsVuOf-2Bk81owLo9uR9sYpCwlpdJYjR1UX-2B0r3O1z54te5elY894ejASOMvPLVUZFY3BC20nFfPdi1-2Bh5-2Fq-2FmyG3mQaYR6TAFOqAmm5OR0Aq8GyFNo3fMSqUICYCAFC0EbZ88J7D1nnCO6z36UOpC5xM4OEWogay4wg7yMLTqQLiArJ4r1-2FAqlCcJ45lqg-3D-3D [2] - https://u33067285.ct.sendgrid.net/ls/click?upn=w3EznbKywG7cJlyycYu1XKXbhztQw403AUCQDYEK2jas0KMgMBTrvzP8mbx5v65USWjq_kfytytOqXJMoRhb2oyNeM0XjBzsVuOf-2Bk81owLo9uR9sYpCwlpdJYjR1UX-2B0r3O1Dsssxr72O5Bf6AQAAS5zPvu-2BC2Tyo2veuYggU-2FXk7Z1NDN-2FOaiRbi8GG-2FzMnWMy1jYPyDeBmjOKBXezCBy-2FVeFp-2F3MeM6SqF5UOgpEn8xRUs8z-2F-2BoGWVK9NWr47Ytt7-2Bf-2Fv8CPqp6Z-2BeVp81gXlV0A-3D-3D -- System Information: Debian Release: 12.2 APT prefers stable-updates APT policy: (500, 'stable-updates'), (500, 'stable-security'), (500, 'stable') Architecture: amd64 (x86_64) Kernel: Linux 6.1.0-10-amd64 (SMP w/1 CPU thread; PREEMPT) Kernel taint flags: TAINT_SOFTLOCKUP Locale: LANG=en_GB.UTF-8, LC_CTYPE=en_GB.UTF-8 (charmap=UTF-8), LANGUAGE=en_GB:en Shell: /bin/sh linked to /usr/bin/dash Init: systemd (via /run/systemd/system) LSM: AppArmor: enabled Versions of packages splint depends on: ii libc6 2.36-9+deb12u3 ii libfl2 2.6.4-8.2 ii splint-data 1:3.1.2+dfsg-5 splint recommends no packages. Versions of packages splint suggests: pn splint-doc-html <none> -- no debconf information
reproduce-splint-bug.tar.gz
Description: application/gzip
