Bug#748914: Missing function declaration shadows stack underflow

2014-12-28 Thread Graham Inggs
Hi Michael This appears to have been fixed upstream and is included in linsmith 0.99.28-1 in Debian. If you get the chance, please run your tests on the current version and let me know if you pick up any other errors. Regards Graham -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.d

Bug#748914: Missing function declaration shadows stack underflow

2014-06-19 Thread John Coppens
One of linSmith's users drew my attention to this bug report. >Note that this could easily have been avoided if compiler warnings had been >obeyed: >misc.c: In function 'on_comp_scale_value_changed': >misc.c:640:3: warning: implicit declaration of function 'recalculate_all' >[-Wimplicit-function

Bug#748914: Missing function declaration shadows stack underflow

2014-05-22 Thread Michael Tautschnig
Package: linsmith Version: 0.99.21-1 Usertags: goto-cc During an analysis of all Debian packages using our research compiler tool-chain (using tools from the cbmc package) the following error was found: recalculate_all takes one argument: http://sources.debian.net/src/linsmith/0.99.21-1/src/char