public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug libmudflap/48485] New: mudflap don't discover mistake - negative one index on static array i.e. a[-1]=b;
@ 2011-04-06 19:37 krasutug at mail dot ru
2011-04-07 9:24 ` [Bug libmudflap/48485] " rguenth at gcc dot gnu.org
` (5 more replies)
0 siblings, 6 replies; 7+ messages in thread
From: krasutug at mail dot ru @ 2011-04-06 19:37 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=48485
Summary: mudflap don't discover mistake - negative one index on
static array i.e. a[-1]=b;
Product: gcc
Version: 4.5.4
Status: UNCONFIRMED
Severity: major
Priority: P3
Component: libmudflap
AssignedTo: unassigned@gcc.gnu.org
ReportedBy: krasutug@mail.ru
mudflap don't discover mistake - negative one index on static array i.e.
a[-1]=b;
^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug libmudflap/48485] mudflap don't discover mistake - negative one index on static array i.e. a[-1]=b;
2011-04-06 19:37 [Bug libmudflap/48485] New: mudflap don't discover mistake - negative one index on static array i.e. a[-1]=b; krasutug at mail dot ru
@ 2011-04-07 9:24 ` rguenth at gcc dot gnu.org
2011-04-07 10:04 ` krasutug at mail dot ru
` (4 subsequent siblings)
5 siblings, 0 replies; 7+ messages in thread
From: rguenth at gcc dot gnu.org @ 2011-04-07 9:24 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=48485
Richard Guenther <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |WAITING
Last reconfirmed| |2011.04.07 09:23:54
Ever Confirmed|0 |1
--- Comment #1 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-04-07 09:23:54 UTC ---
Testcase?
^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug libmudflap/48485] mudflap don't discover mistake - negative one index on static array i.e. a[-1]=b;
2011-04-06 19:37 [Bug libmudflap/48485] New: mudflap don't discover mistake - negative one index on static array i.e. a[-1]=b; krasutug at mail dot ru
2011-04-07 9:24 ` [Bug libmudflap/48485] " rguenth at gcc dot gnu.org
@ 2011-04-07 10:04 ` krasutug at mail dot ru
2011-04-07 10:09 ` krasutug at mail dot ru
` (3 subsequent siblings)
5 siblings, 0 replies; 7+ messages in thread
From: krasutug at mail dot ru @ 2011-04-07 10:04 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=48485
--- Comment #2 from konst <krasutug at mail dot ru> 2011-04-07 10:04:07 UTC ---
Created attachment 23907
--> http://gcc.gnu.org/bugzilla/attachment.cgi?id=23907
main.c
^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug libmudflap/48485] mudflap don't discover mistake - negative one index on static array i.e. a[-1]=b;
2011-04-06 19:37 [Bug libmudflap/48485] New: mudflap don't discover mistake - negative one index on static array i.e. a[-1]=b; krasutug at mail dot ru
2011-04-07 9:24 ` [Bug libmudflap/48485] " rguenth at gcc dot gnu.org
2011-04-07 10:04 ` krasutug at mail dot ru
@ 2011-04-07 10:09 ` krasutug at mail dot ru
2011-04-07 10:50 ` rguenth at gcc dot gnu.org
` (2 subsequent siblings)
5 siblings, 0 replies; 7+ messages in thread
From: krasutug at mail dot ru @ 2011-04-07 10:09 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=48485
--- Comment #3 from konst <krasutug at mail dot ru> 2011-04-07 10:08:59 UTC ---
gcc -fmudflap main.c -lmudflap -o main && ./main
and nothing, but if I do 'a[-2]=c;' in main.c and compile it then the mistake
is discovered by following output:
*******
mudflap violation 1 (check/write): time=1302170495.754005 ptr=0x7fff720f68f0
size=18446744073709551396
pc=0x7f5975684391 location=`main.c:5:8 (main)'
/usr/lib64/libmudflap.so.0(__mf_check+0x41) [0x7f5975684391]
./main(main+0xa0) [0x400a64]
/lib64/libc.so.6(__libc_start_main+0xfd) [0x7f597532bbfd]
Nearby object 1: checked region begins 0B into and ends 2381354758B after
mudflap object 0x706ea0: name=`main.c:2:6 (main) a'
bounds=[0x7fff720f68f0,0x7fff720f68f9] size=10 area=stack check=0r/3w
liveness=3
alloc time=1302170495.753888 pc=0x7f5975683791
Nearby object 2: checked region begins 280B before and ends 2381354472B after
mudflap object 0x702370: name=`argv[]'
bounds=[0x7fff720f6a08,0x7fff720f6a17] size=16 area=static check=0r/3w
liveness=3
alloc time=1302170495.753853 pc=0x7f5975683791
Nearby object 3: checked region begins 296B before and ends 2381353720B after
mudflap object 0x706ab0: name=`environ[]'
bounds=[0x7fff720f6a18,0x7fff720f6d07] size=752 area=static check=0r/3w
liveness=3
alloc time=1302170495.753885 pc=0x7f5975683791
number of nearby objects: 97
=================
This is my system versions:
=================
uname --all
Linux home 2.6.37.1-1.2-desktop #1 SMP PREEMPT 2011-02-21 10:34:10 +0100 x86_64
x86_64 x86_64 GNU/Linux
==================
gcc -v
Используются внутренние спецификации.
COLLECT_GCC=gcc
COLLECT_LTO_WRAPPER=/usr/lib64/gcc/x86_64-suse-linux/4.5.2/lto-wrapper
Целевая архитектура: x86_64-suse-linux
Параметры конфигурации: ./configure --prefix=/usr --infodir=/usr/share/info
--mandir=/usr/share/man --libdir=/usr/lib64 --libexecdir=/usr/lib64
--enable-languages=c,c++ --enable-checking=release
--with-gxx-include-dir=/usr/include/c++/4.5 --enable-ssp --disable-libssp
--disable-plugin --with-bugurl=http://bugs.opensuse.org/
--with-pkgversion='SUSE Linux' --disable-libgcj --enable-libmudflap
--with-slibdir=/lib64 --with-system-zlib --enable-__cxa_atexit
--enable-libstdcxx-allocator=new --disable-libstdcxx-pch
--enable-version-specific-runtime-libs --program-suffix=-4.5
--enable-linux-futex --without-system-libunwind --enable-gold
--with-plugin-ld=/usr/bin/gold --with-arch-32=i586 --with-tune=generic
--build=x86_64-suse-linux
Модель многопоточности: posix
gcc версия 4.5.2 20101208 (prerelease) [gcc-4_5-branch revision 167585] (SUSE
Linux)
^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug libmudflap/48485] mudflap don't discover mistake - negative one index on static array i.e. a[-1]=b;
2011-04-06 19:37 [Bug libmudflap/48485] New: mudflap don't discover mistake - negative one index on static array i.e. a[-1]=b; krasutug at mail dot ru
` (2 preceding siblings ...)
2011-04-07 10:09 ` krasutug at mail dot ru
@ 2011-04-07 10:50 ` rguenth at gcc dot gnu.org
2011-04-07 11:01 ` krasutug at mail dot ru
2013-11-10 5:45 ` pinskia at gcc dot gnu.org
5 siblings, 0 replies; 7+ messages in thread
From: rguenth at gcc dot gnu.org @ 2011-04-07 10:50 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=48485
--- Comment #4 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-04-07 10:50:10 UTC ---
It works for me.
/tmp> /space/rguenther/install/gcc-4.5.2/bin/gcc -fmudflap t.c -lmudflap -o t
/tmp> ./t
*******
mudflap violation 1 (check/write): time=1302173318.008878 ptr=0x7fffffffde10
size=18446744073709551396
pc=0x7ffff7a3dcb1 location=`t.c:5:8 (main)'
/usr/lib64/libmudflap.so.0(__mf_check+0x41) [0x7ffff7a3dcb1]
./t(main+0xa0) [0x400a64]
/lib64/libc.so.6(__libc_start_main+0xe6) [0x7ffff76f9586]
Nearby object 1: checked region begins 0B into and ends 8678B after
mudflap object 0x706960: name=`t.c:2:6 (main) a'
bounds=[0x7fffffffde10,0x7fffffffde19] size=10 area=stack check=0r/3w
liveness=3
alloc time=1302173318.008431 pc=0x7ffff7a3d3f1
Nearby object 2: checked region begins 264B before and ends 8408B after
mudflap object 0x702370: name=`argv[]'
bounds=[0x7fffffffdf18,0x7fffffffdf27] size=16 area=static check=0r/3w
liveness=3
alloc time=1302173318.008116 pc=0x7ffff7a3d3f1
Nearby object 3: checked region begins 280B before and ends 7712B after
mudflap object 0x706570: name=`environ[]'
bounds=[0x7fffffffdf28,0x7fffffffe1df] size=696 area=static check=0r/3w
liveness=3
alloc time=1302173318.008412 pc=0x7ffff7a3d3f1
number of nearby objects: 90
Note that openSUSE has libmudflap disabled, so I wonder how it even compiles
and links for you ;)
^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug libmudflap/48485] mudflap don't discover mistake - negative one index on static array i.e. a[-1]=b;
2011-04-06 19:37 [Bug libmudflap/48485] New: mudflap don't discover mistake - negative one index on static array i.e. a[-1]=b; krasutug at mail dot ru
` (3 preceding siblings ...)
2011-04-07 10:50 ` rguenth at gcc dot gnu.org
@ 2011-04-07 11:01 ` krasutug at mail dot ru
2013-11-10 5:45 ` pinskia at gcc dot gnu.org
5 siblings, 0 replies; 7+ messages in thread
From: krasutug at mail dot ru @ 2011-04-07 11:01 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=48485
--- Comment #5 from konst <krasutug at mail dot ru> 2011-04-07 11:01:30 UTC ---
> Note that openSUSE has libmudflap disabled, so I wonder how it even compiles
> and links for you ;)
Yes, I downloaded src.rpm, compiled it (gcc and mudflap) and "make install"
^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug libmudflap/48485] mudflap don't discover mistake - negative one index on static array i.e. a[-1]=b;
2011-04-06 19:37 [Bug libmudflap/48485] New: mudflap don't discover mistake - negative one index on static array i.e. a[-1]=b; krasutug at mail dot ru
` (4 preceding siblings ...)
2011-04-07 11:01 ` krasutug at mail dot ru
@ 2013-11-10 5:45 ` pinskia at gcc dot gnu.org
5 siblings, 0 replies; 7+ messages in thread
From: pinskia at gcc dot gnu.org @ 2013-11-10 5:45 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=48485
Andrew Pinski <pinskia at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|WAITING |RESOLVED
Resolution|--- |WONTFIX
Target Milestone|--- |4.9.0
--- Comment #6 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
fmudflap support has been removed.
^ permalink raw reply [flat|nested] 7+ messages in thread
end of thread, other threads:[~2013-11-10 5:45 UTC | newest]
Thread overview: 7+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2011-04-06 19:37 [Bug libmudflap/48485] New: mudflap don't discover mistake - negative one index on static array i.e. a[-1]=b; krasutug at mail dot ru
2011-04-07 9:24 ` [Bug libmudflap/48485] " rguenth at gcc dot gnu.org
2011-04-07 10:04 ` krasutug at mail dot ru
2011-04-07 10:09 ` krasutug at mail dot ru
2011-04-07 10:50 ` rguenth at gcc dot gnu.org
2011-04-07 11:01 ` krasutug at mail dot ru
2013-11-10 5:45 ` pinskia at gcc dot gnu.org
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).