Your message dated Wed, 18 May 2011 08:45:23 +0200
with message-id <[email protected]>
and subject line Re: Bug#200831: option to check for type overflows
has caused the Debian Bug report #200831,
regarding option to check for type overflows
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact [email protected]
immediately.)
--
200831: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=200831
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: valgrind
Version: unavailable; reported 2003-07-08
Severity: wishlist
it would be nice to have an option --check-for-overflows which
checks whether an operation will fit in the resulting datatype, e.g.:
short int a;
short int b;
short int c= a * b;
could cause serious trouble and one might want to use e.g.
int c= ((int) a) * b;
instead.
-- System Information:
Debian Release: testing/unstable
Architecture: powerpc
Kernel: Linux no 2.4.21-ben2 #1 Wed Jul 2 15:25:32 CEST 2003 ppc
Locale: LANG=en_IE.UTF-8@euro, LC_CTYPE=en_IE@euro
--- End Message ---
--- Begin Message ---
On Tue, Jul 08, 2003 at 05:54:24PM +0200, Soeren Sonnenburg wrote:
> Package: valgrind
> Version: unavailable; reported 2003-07-08
> Severity: wishlist
>
> it would be nice to have an option --check-for-overflows which
> checks whether an operation will fit in the resulting datatype, e.g.:
>
> short int a;
> short int b;
>
> short int c= a * b;
>
> could cause serious trouble and one might want to use e.g.
>
> int c= ((int) a) * b;
valgrind can't see that as it works at the machine code level. It's only
doable at the compiler or static code check level.
Note that int c = a * b; is correct as a and b will be promoted to int
before the multiplication is performed.
--
·O· Pierre Habouzit
··O [email protected]
OOO http://www.madism.org
--- End Message ---
