This is the mail archive of the
gcc-cvs@gcc.gnu.org
mailing list for the GCC project.
gcc gcc/ChangeLog.tree-ssa gcc/c-mudflap.c gcc ...
- From: fche at gcc dot gnu dot org
- To: gcc-cvs at gcc dot gnu dot org
- Date: 29 Jan 2003 17:46:34 -0000
- Subject: gcc gcc/ChangeLog.tree-ssa gcc/c-mudflap.c gcc ...
CVSROOT: /cvs/gcc
Module name: gcc
Branch: tree-ssa-20020619-branch
Changes by: fche@gcc.gnu.org 2003-01-29 17:46:34
Modified files:
gcc : ChangeLog.tree-ssa c-mudflap.c tree-mudflap.c
gcc/cp : ChangeLog.tree-ssa cp-mudflap.c
libmudflap : ChangeLog Makefile.am Makefile.in mf-hooks.c
mf-impl.h mf-runtime.c mf-runtime.h.in
libmudflap/test: fail21-frag.c pass25-frag.c
Added files:
libmudflap/test: fail22-frag.c pass29-frag.c
Log message:
* uninitialized read checking
* mf-runtime API tweak
[gcc/ChangeLog.tree-ssa]
2003-01-29 Frank Ch. Eigler <fche@redhat.com>
* tree-mudflap.c (mx_xfn_indirect_ref): Use a stack of flags for
tracking pointer deference reads vs writes.
(mf_build_check_statement_for): Pass access-type value to __mf_check.
* c-mudflap.c (mflang_register_call): Adapt to mf-runtime.h API change.
[gcc/cp/ChangeLog.tree-ssa]
2003-01-29 Frank Ch. Eigler <fche@redhat.com>
* cp-mudflap.c (mflang_register_call): Adapt to mf-runtime.h API
change.
[libmudflap/ChangeLog]
2003-01-29 Frank Ch. Eigler <fche@redhat.com>
* Makefile.am (TESTS_ENVIRONMENT): Remove redundant "-mode-check".
(TESTS): Add fail22 and pass29 tests.
* mf-runtime.h.in: Change API to take void*/size_t region parameters.
Add new access-type parameter for __mf_check. Move __MF_VIOL* out.
* mf-impl.h: Corresponding changes. Update CLAMP* macros for void*
values. Move __MF_VIOL* here.
* mf-runtime.c (*): Adapt to void*/size_t API in mf-runtime.h.
(check_initialization): New field in __mf_opts. Default off.
(read_count,write_count): New fields in __mf_object.
(__mf_check): Implement basic initialization checking.
(__mf_insert_new_object): Assume STATIC|GUESS regions are initialized.
(__mf_describe_object): Print new fields.
(__mf_violation): Identify check/read vs. check/write in messages.
* test/pass29-frag.c, test/fail22-frag.c: Basic tests for new
"-check-initialized" mudflap option.
* test/pass25-frag.c, test/fail21-frag.c: Adapt to API changes.
* mf-hooks.c (MF_VALIDATE_EXTENT): Add new access-type parameter.
Drop __FILE__/__LINE__ hack. Update callers.
(*): Adapt to new mf-runtime.h API.
* Makefile.in: regenerated.
Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.tree-ssa.diff?cvsroot=gcc&only_with_tag=tree-ssa-20020619-branch&r1=1.1.2.196&r2=1.1.2.197
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/c-mudflap.c.diff?cvsroot=gcc&only_with_tag=tree-ssa-20020619-branch&r1=1.1.2.1&r2=1.1.2.2
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/tree-mudflap.c.diff?cvsroot=gcc&only_with_tag=tree-ssa-20020619-branch&r1=1.1.2.34&r2=1.1.2.35
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/ChangeLog.tree-ssa.diff?cvsroot=gcc&only_with_tag=tree-ssa-20020619-branch&r1=1.1.2.12&r2=1.1.2.13
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/cp-mudflap.c.diff?cvsroot=gcc&only_with_tag=tree-ssa-20020619-branch&r1=1.1.2.1&r2=1.1.2.2
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/libmudflap/ChangeLog.diff?cvsroot=gcc&only_with_tag=tree-ssa-20020619-branch&r1=1.1.2.34&r2=1.1.2.35
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/libmudflap/Makefile.am.diff?cvsroot=gcc&only_with_tag=tree-ssa-20020619-branch&r1=1.1.2.19&r2=1.1.2.20
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/libmudflap/Makefile.in.diff?cvsroot=gcc&only_with_tag=tree-ssa-20020619-branch&r1=1.1.2.20&r2=1.1.2.21
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/libmudflap/mf-hooks.c.diff?cvsroot=gcc&only_with_tag=tree-ssa-20020619-branch&r1=1.1.2.23&r2=1.1.2.24
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/libmudflap/mf-impl.h.diff?cvsroot=gcc&only_with_tag=tree-ssa-20020619-branch&r1=1.1.2.11&r2=1.1.2.12
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/libmudflap/mf-runtime.c.diff?cvsroot=gcc&only_with_tag=tree-ssa-20020619-branch&r1=1.1.2.24&r2=1.1.2.25
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/libmudflap/mf-runtime.h.in.diff?cvsroot=gcc&only_with_tag=tree-ssa-20020619-branch&r1=1.1.2.6&r2=1.1.2.7
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/libmudflap/test/fail22-frag.c.diff?cvsroot=gcc&only_with_tag=tree-ssa-20020619-branch&r1=NONE&r2=1.1.2.1
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/libmudflap/test/pass29-frag.c.diff?cvsroot=gcc&only_with_tag=tree-ssa-20020619-branch&r1=NONE&r2=1.1.2.1
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/libmudflap/test/fail21-frag.c.diff?cvsroot=gcc&only_with_tag=tree-ssa-20020619-branch&r1=1.1.2.2&r2=1.1.2.3
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/libmudflap/test/pass25-frag.c.diff?cvsroot=gcc&only_with_tag=tree-ssa-20020619-branch&r1=1.1.2.2&r2=1.1.2.3