1 2004-11-29 Kelley Cook <kcook@gcc.gnu.org>
3 * Makefile.am: Define ACLOCAL_AMFLAGS.
4 * acinclude.m4: Remove.
5 * stamp-h.in: Remove superfluous stamp file.
6 * aclocal.m4, configure, Makefile.in: Regenerate.
7 * testsuite/Makefile.in: Likewise.
9 2004-11-24 Kelley Cook <kcook@gcc.gnu.org>
11 * Makefile.am: Revert previous.
12 * acinclude.m4: Restore.
13 * aclocal.m4, configure, Makefile.in: Regenerate.
14 * testsuite/Makefile.in: Likewise.
16 2004-11-24 Kelley Cook <kcook@gcc.gnu.org>
18 * Makefile.am: Define ACLOCAL_AMFLAGS.
19 * acinclude.m4: Remove.
20 * aclocal.m4, configure, Makefile.in: Regenerate.
21 * testsuite/Makefile.in: Likewise.
23 2004-11-23 John David Anglin <dave.anglin@nrc-cnrc.gc.ca>
25 * testsuite/lib/libmudflap.exp: Use new procs in target-libpath.exp.
27 2004-11-23 Kelley Cook <kcook@gcc.gnu.org>
29 * Makefile.in, configure, aclocal.m4: Regenerate with automake 1.9.3.
30 * testsuite/Makefile.in: Likewise.
32 2004-11-01 Andreas Schwab <schwab@suse.de>
34 * configure.ac: (target_alias): Default to $host_alias, not
36 * configure: Regenerated.
38 2004-10-28 Frank Ch. Eigler <fche@redhat.com>
40 * testsuite/libmudflap.c/fail35-,pass53-,pass54-frag.c: New tests.
41 * testsuite/libmudflap.c/pass35-frag.c: Correct embedded warning
44 2004-10-25 Eric Botcazou <ebotcazou@libertysurf.fr>
47 * testsuite/lib/libmudflap.exp: Accept more than one multilib libgcc.
49 2004-10-12 Frank Ch. Eigler <fche@redhat.com>
51 * configure.ac: Check for more headers, functions.
52 * mf-hooks2.c (mkbuffer, unmkbuffer): New helper functions for
53 tracking overridden FILE buffers.
54 (fopen, setvbuf): New/revised hook functions for buffer overriding.
55 (setbuf,setlinebuf,fdopen,freopen,fopen64,freopen64,fclose): Ditto.
56 (fflush): Accept given NULL stream (means "all streams").
58 * mf-runtime.c (__mfu_check): Accept accesses that span adjacent
60 (LOOKUP_CACHE_SIZE_MAX): Raise to 64K entries tentatively.
61 (__mf_adapt_cache): Use them all.
62 * testsuite/libmudflap.c/pass35-frag.c: Update warning message.
63 * testsuite/libmudflap.c++/ctors.exp: Ditto.
64 * testsuite/libmudflap.c/{pass51,pass52}-frag.c: New tests.
65 * configure, config.h.in: Regenerated.
67 2004-10-05 Frank Ch. Eigler <fche@redhat.com>
69 * configure.ac: Checking for sys/socket.h once is enough.
70 * configure: Regenerated.
72 2004-10-04 Frank Ch. Eigler <fche@redhat.com>
74 * configure.ac: Look for more headers & functions.
75 * mf-hooks2.c (getmntent, inet_ntoa, getproto*): New wrapper functions.
76 * mf-runtime.h.in: Add new "#pragma redefine_extname"s for them.
77 * mf-runtime.c (options): Clean up integer signedness warnings.
78 (main): Add a declaration to fix a warning.
79 * mf-hooks3.c (pthread_exit): Add not-reached exit() to wrapper.
80 * configure, config.h.in: Regenerated.
82 2004-10-02 Frank Ch. Eigler <fche@redhat.com>
84 * testsuite/libmudflap.c/pass50-frag.c, fail33-frag.c, fail34-frag.c:
85 New tests for proper base/limit checking for aggregates.
87 2004-09-15 Joseph S. Myers <jsm@polyomino.org.uk>
89 * testsuite/libmudflap.c/pass35-frag.c: Update expected message.
91 2004-09-07 Frank Ch. Eigler <fche@redhat.com>
93 * configure.ac: Look for pwd.h, grp.h, netdb.h headers and functions.
94 * mf-hooks2.c (strerror): Unregister previous string returned by
96 (getlogin,cuserid,getpwnam,getpwuid,getgrnam,getgrgid): New wrappers.
97 (getservent,getservbyname,getservbyport,gai_strerror): Ditto.
98 * mf-runtime.h.in: Add redefine_extname pragmas for them all.
99 * mf-runtime.c (__mf_describe_object): Clarify object life status.
100 * testsuite/libmudflap.c/pass48-frag.c, pass49-frag.c, fail32-frag.c:
102 * configure, config.h.in: Regenerated.
104 2004-08-03 Dale Johannesen <dalej@apple.com>
106 * mf-runtime.c: Conditionalize POSIX_SOURCE for Darwin.
108 2004-08-03 Frank Ch. Eigler <fche@redhat.com>
110 * mf-runtime.c (compare_uintptr_t): Remove function. Inline
111 simplified contents in all former callers.
113 2004-07-27 Ulrich Weigand <weigand@informatik.uni-erlangen.de>
115 * mf-runtime.c (__mf_fini): Set mudflap_mode to mode_nop in
116 the statically linked case.
118 2004-07-27 Frank Ch. Eigler <fche@redhat.com>
120 * splay-tree.[ch]: Remove. Merge contents into ...
121 * mf-runtime.c: ... here, renaming symbols and making all functions
122 static. Remove unused min/max functions.
123 * Makefile.am: Forget about splay-tree.[ch].
124 * Makefile.in, testsuite/Makefile.in: Regenerated.
126 2004-07-21 Frank Ch. Eigler <fche@redhat.com>
128 * mf-runtime.c (__mfu_check): Remove mistaken mode-nop handling.
129 (__mfu_usage): Include (C) 2004.
130 * mf-hooks3.c (__mf_find_threadinfo): Don't call tracing functions
131 here. Include a comment explaining why.
133 2004-07-20 Frank Ch. Eigler <fche@redhat.com>
135 * mf-impl.h (__mf_options): Add ignore_reads and timestamps fields.
136 * mf-runtime.c (options): Give them a name.
137 (__mf_set_default_options): Set them.
138 (__mf_insert_new_object, __mfu_unregister): Optionalize timestamps.
139 (__mf_violation): Warning cleanup.
140 * mf-impl.h (MF_VALIDATE_EXTENT): Support ignore_reads option.
141 * splay-tree.c (splay_tree_delete_helper): Remove obsolete decl.
143 2004-07-15 Frank Ch. Eigler <fche@redhat.com>
146 * mf-runtime.c (__mf_init): Make it non-static. Tolerate
149 2004-07-09 Frank Ch. Eigler <fche@redhat.com>
151 Test case for g++/15861
152 * testsuite/libmudflap.c++/ctors-[12].cxx: New test case halves.
153 * testsuite/libmudflap.c++/ctors.exp: Driver.
154 * testsuite/libmudflap.c++/c++frags.exp: Elide redundant default.
155 Look only for *frag* test cases.
157 2004-07-08 Frank Ch. Eigler <fche@redhat.com>
159 ANSI C conversion, libmudflap specialization, recursion limiting.
160 * splay-tree.h (splay_tree_{de,}allocate_fn): Remove allocation_data
161 argument and indirection function pointers, update callers.
162 (splay_tree_s): Add statistics and recursion control fields
163 num_keys, max_depth, depth, rebalance_p.
164 * splay-tree.c (splay_tree_splay_helper): Track recursion depth.
165 Back out of search if it exceeds limit.
166 (splay_tree_splay): Manage recursion limiting with rebalancing as
168 (splay_tree_new): More initialization.
169 (splay_tree_rebalance): New function.
170 (splay_tree_foreach): Rewrite using nonrecursive logic.
171 (splay_tree_xmalloc_allocate, splay_tree_xmalloc_deallocate):
172 Remove. Point indirect calls to mf-runtime.c's routines.
173 (splay_tree_compare_ints, splay_tree_compare_pointers): Remove unused
175 (splay_tree_delete, splay_tree_delete_helper): Ditto.
176 * testsuite/heap-scalestress.c: New test based on one from
177 Eyal Lebedinsky <eyal@eyal.emu.id.au>:
179 2004-07-05 Matthias Klose <doko@debian.org>
181 * libtool-version: New.
182 * Makefile.am (libmudflap_la_LDFLAGS, libmudflapth_la_LDFLAGS):
183 Use -version-info for soname.
184 * Makefile.in: Regenerate.
185 * configure.ac: Remove libtool_VERSION macro
186 * configure: Regenerate
188 2004-07-05 Zack Weinberg <zack@codesourcery.com>
190 * mf-runtime.h.in: Wrap declarations of struct __mf_cache,
191 __mf_lookup_cache, __mf_lc_mask, or __mf_lc_shift in
194 2004-06-29 Frank Ch. Eigler <fche@redhat.com>
196 Splay tree implementation fork.
197 * splay-tree.c, splay-tree.h: Copied & modified from libiberty.
198 Use hard-coded comparison function for uintptr_t. Remove key/value
199 deallocation logic. Cache last splayed key for consecutive lookups.
200 * Makefile.am, Makefile.in: Use them, don't link to them.
201 * mf-runtime.c (__mf_object_tree): Adapt to simpler splay_tree_new.
202 (__mf_find_objects2): Flip successor/predecessor search sequence.
203 * ansidecl.h, libiberty.h: Removed dummy files.
205 2004-06-29 Nick Clifton <nickc@redhat.com>
207 * configure.ac (AC_CHECK_HEADERS): Add dirent.h
208 * configure: Regenerate.
209 * mf-hooks2.c: Surround uses of dirent.h with #ifdef
211 Remove spurious inclusion of <strings.h>.
213 2004-06-29 Nick Clifton <nickc@redhat.com>
215 * mf-runtime.c (pthread_join): Only apply the weak pragma if the
216 function actually exists.
218 2004-06-25 Frank Ch. Eigler <fche@redhat.com>
220 * ansidecl.h, libiberty.h: New dummy files for building splay-tree.
221 * config.h.in: Regenerated.
223 2004-06-24 Frank Ch. Eigler <fche@redhat.com>
225 Adopt splay trees for object database.
226 * Makefile.am: Copy splay-tree.* from libiberty.
227 * Makefile.in, testsuite/Makefile.in: Regenerated.
228 * mf-runtime.h.in (__mf_unregister): Add third parameter (type).
229 * mf-hooks[123].c (*): Add new third parameter to mf_unregister.
230 * mf-impl.h (BEGIN_PROTECT): Remove some trace text.
231 * mf-runtime.c: Rewrite code dealing with object database to use
232 libiberty splay trees. Remove tree liveness aging option.
233 * testsuite/libmudflap.c/fail18-frag.c: Add volatile flag.
235 2004-06-15 Paolo Bonzini <bonzini@gnu.org>
237 * configure.ac: New name of configure.in. Update
238 AC_INIT, AC_CONFIG_SRCDIR, AC_CONFIG_HEADERS, AC_CONFIG_FILES,
239 AC_OUTPUT, AM_INIT_AUTOMAKE to the preferred style for
240 Autoconf 2.5x and Automake 1.7 or later.
241 * configure.in: Remove.
242 * configure: Regenerate.
244 * Makefile.am: Remove useless multilib rules.
245 * Makefile.in: Regenerate.
247 2004-06-15 Paolo Bonzini <bonzini@gnu.org>
249 * .cvsignore: New file.
251 2004-06-10 Stephen Crowley <stephen.crowley@sbcglobal.net>
254 * mf-hooks2.c (semctl): Add cygwin porting hack.
256 2004-06-09 Frank Ch. Eigler <fche@redhat.com>
259 * configure.in: Look for ctype header and glibc implementation.
260 * mf-hooks2.c (__ctype_{b,toupper,tolower}_loc): Sample ctype
261 array hooks for glibc 2.3.
262 * mf-runtime.h.in: Wrap them.
263 * mf-runtime.c (__mf_init): Leave marker regarding other ctype
265 * testsuite/libmudflap.c/pass47-frag.c: New test.
266 * configure, config.h.in: Regenerated.
268 2004-06-04 Frank Ch. Eigler <fche@redhat.com>
270 Portability improvements, e.g., libmudflap/15293.
271 * configure.in: Look for glibc extension functions. Look for
272 support of -f{function,data}-sections. Look for more headers.
273 Create testsuite/mfconfig.exp. Correct more "test x.." thinkos.
274 * Makefile.am: Use $(SECTION_FLAGS). Collapse piecemeal-compiled
275 mf-hooks* into usual single object per source.
276 * mf-hooks*.c: Remove all #if WRAP_foo conditionals.
277 * mf-hooks2.c: #include a bunch more system headers. Define strnlen
278 if system doesn't provide one.
279 * mf-hooks3.c (struct pthread_info): Add stack_*_alloc fields.
280 (pthread_create): Use it to properly GC dead thread stacks.
281 * mf-runtime.c (__mf_violation): Correct snprintf type warning.
282 * testsuite/Makefile.am: Stop generating site.exp.
283 * testsuite/mfconfig.exp.in: New file.
284 * testsuite/config/default.exp: Load new mfconfig.exp.
285 * testsuite/lib/libmudflap.exp (libmudflap-init): Add extra libraries.
286 (prune_gcc_output): Add glibc static linking warnings.
287 * testsuite/libmudflap.*/*frags.exp: Enumerate needed -lmudflap* libs.
288 * testsuite/libmudflap.c/pass46-frag.c: Ditto.
289 * configure, Makefile, aclocal.m4, config.h.in, testsuite/Makefile.in:
290 Regenerated with autoconf 2.57 and automake 1.7.
292 2004-06-04 Per Bothner <per@bothner.com>
294 * configure.in (LIBMUDFLAPTH): Fix thinko.
296 * configure.in: Check for more headers.
297 * mf-hooks2.c: Conditionalize on HAVE_SYS_SOCKET_H etc.
299 * mf-runtime.c: In two places conditionalize on SIUSR1 rather than
300 HAVE_SIGNAL as mingw has signal.h but not SIUSR1.
302 2004-06-01 Andreas Jaeger <aj@suse.de>
304 * configure.in: Handle multilibs, support
305 --enable-version-specific-runtime-libs.
306 * Makefile.am (lib_LTLIBRARIES): Rename to ...
307 (toolexeclib_LTLIBRARIES): this for multilib support.
308 * Makefile.in: Regenerated.
309 * configure: Regenerated.
310 * aclocal.m4: Regenerated.
311 * config.h.in: Regenerated.
312 * testsuite/Makefile.in: Regenerated.
314 2004-06-01 Andreas Jaeger <aj@suse.de>
316 * testsuite/lib/libmudflap.exp (libmudflap-init): Handle
317 multilibs, using multilib directory instead of hardcoded path.
320 2004-05-21 Frank Ch. Eigler <fche@redhat.com>
322 * Makefile.am (AM_MAKEFLAGS): Pass RUNTESTFLAGS.
323 * Makefile.in: Ditto.
325 2004-05-18 Kaz Kojima <kkojima@gcc.gnu.org>
327 * acinclude.m4 (lt_cv_deplibs_check_method): Use pass_all on sh*.
328 * aclocal.m4, configure: Rebuilt.
330 2004-05-17 Frank Ch. Eigler <fche@redhat.com>
332 * lib/libmudflap.exp (libmudflap-init): For C++ test cases only,
333 import some build settings from libstdc++-v3 testsuite_flags.
334 * .../cfrags.exp, .../c++frags.exp, .../cthfrags.exp: Corresponding
335 changes to pass test language.
337 * mf-runtime.c (__mfu_check): Poison the cache with antidote for
338 quicker mode-nop handling.
340 2004-03-25 Frank Ch. Eigler <fche@redhat.com>
342 * mf-impl.h: Added libgcc license header.
344 2004-03-20 Frank Ch. Eigler <fche@redhat.com>
346 * mf-hooks[123].c, mf-runtime.c, mf-heuristics.c:
347 Added libgcc license header.
348 * mf-hooks3.c (__mf_0fn_pthread_create): Correct arg constness.
349 (pthread_create): Simplify stack allocation syntax.
351 2004-03-08 Loren J. Rittle <ljrittle@acm.org>
353 * mf-hooks2.c: Support FreeBSD.
354 (WRAP_gets): Avoid gets().
355 * testsuite/libmudflap.c/pass-stratcliff.c: Do not
356 test unimplemented mem/str calls on FreeBSD.
357 * testsuite/libmudflap.c/pass21-frag.c: Do not include
358 <alloca.h> on FreeBSD.
360 2004-01-30 Frank Ch. Eigler <fche@redhat.com>
362 * testsuite/libmudflap.c/pass36-frag.c: Add missing free() call.
363 * testsuite/libmudflap.c/pass46-frag.c: New test for -fmudflapir.
364 * testsuite/libmudflap.cth/cthfrags.exp: Add -DSTATIC to compiler
365 flags for static linking permutation.
366 * testsuite/libmudflap.cth/pass40-frag.c: When -DSTATIC, avoid
367 some pthreads code that croaks on linux glibc tls.
369 2004-01-27 Frank Ch. Eigler <fche@redhat.com>
371 * testsuite/libmudflap.c/fail31-frag.c, pass45-frag.c: New tests.
373 2004-01-15 Frank Ch. Eigler <fche@redhat.com>
375 * testsuite/libmudflap.c/pass44-frag.c: New test.
377 2004-01-12 Frank Ch. Eigler <fche@redhat.com>
379 * testsuite/libmudflap.c/fail{28,29,30}-frag.c: New tests.
381 2004-01-08 Frank Ch. Eigler <fche@redhat.com>
383 * testsuite/libmudflap.c/pass43-frag.c: Added missing program rc.
385 2003-12-11 Frank Ch. Eigler <fche@redhat.com>
387 * testsuite/libmudflap.c/pass42-frag.c, pass43-frag.c: New tests.
389 2003-12-08 Andrew Pinski <pinskia@physics.uc.edu>
392 * configure.in: Add check for see if
393 socklen_t typedef is in sys/socket.h.
394 * mf-hooks1.c: Add define if socklen_t
396 * mf-hooks2.c: Likewise.
397 * mf-hooks3.c: Likewise.
398 * config.h.in: Regen.
401 2003-12-08 Frank Ch. Eigler <fche@redhat.com>
403 * mf-runtime.c (__mf_watch_or_not): Tweak tracing message.
404 * testsuite/libmudflap.c/fail21-frag.c: Defeat aliasing
406 * testsuite/libmudflap.c/pass25-frag.c: Ditto.
407 * testsuite/libmudflap.c/pass26-frag.c: Tolerate non-overlapping
408 (unoptimized) allocation of stack space.
410 2003-12-07 Richard Henderson <rth@redhat.com>
412 * testsuite/libmudflap.c/fail23-frag.c (main): Adjust addend to 11.
413 * testsuite/libmudflap.c/fail27-frag.c (foo): Mark noinline.
415 2003-12-06 Andrew Pinski <apinski@apple.com>
417 partial PR libmudflap/12670
418 * mf-hooks1.c: Respect Darwin checks. Conditionalize POSIX_SOURCE.
419 * mf-hooks2.c: Likewise.
420 * mf-hooks3.c: Likewise.
422 2003-11-19 Frank Ch. Eigler <fche@redhat.com>
425 * mf-runtime.h.in: Switch to #pragma redefine_extname for
426 symbols interposed at compile time.
427 * testsuite/libmudflap.c++/pass41-frag.cxx: New test.
430 * mf-hooks2.c (semctl): Tolerate FreeBSD.
432 * configure.in: Reorganize check for <pthread.h>.
433 * configure: Regenerated.
435 2003-11-04 David Edelsohn <edelsohn@gnu.org>
437 * mf-runtime.c (_ALL_SOURCE): Define for AIX.
438 (_LARGE_FILE_API): Define for AIX.
439 * mf-hooks[123]: Same.
440 (_XOPEN_SOURCE_EXTENDED): Define to 1 for AIX.
442 2003-10-21 David Edelsohn <edelsohn@gnu.org>
444 * mf-runtime.c (_XOPEN_SOURCE_EXTENDED): Define to 1 for AIX.
446 2003-07-29 Frank Ch. Eigler <fche@redhat.com>
448 2003-07-29 Gerald Pfeifer <pfeifer@dbai.tuwien.ac.at>
450 * configure.in: Update check for union semun.
452 2003-07-29 Gerald Pfeifer <pfeifer@dbai.tuwien.ac.at>
455 * mf-hooks2.c [WRAP_semctl]: Fix check for HAVE_UNION_SEMUN.
457 2003-07-29 Frank Ch. Eigler <fche@redhat.com>
460 * configure.in: Add checks for 64-bit LFS functions, struct semun
461 definition, for BSD compatibility.
462 * mf-hooks1.c: Respect BSD checks. Conditionalize POSIX_SOURCE.
463 * mf-hooks2.c: Ditto. Include <strings.h> for bcmp* decls.
464 * mf-hooks3.c: Ditto.
465 (pthread_create): Try MAP_ANON on platforms without the MAP_ANONYMOUS
467 * configure, config.h.in: Regenerated.
469 2003-07-23 Frank Ch. Eigler <fche@redhat.com>
471 Multithreading fixes:
472 * mf-runtime.c (__mf_object): Store allocating/deallocating
474 (options): Support new "-thread-stack" option.
475 Rename "-heur-argv-environ" option to "-heur-stdlib".
476 Disable "-lc-mask" and "-lc-shift" options.
477 (__mf_dynamic): Add function pointers for pthread_join/_exit.
478 (__assert_fail): New self-contained function for glibc.
479 * mf-hooks3.c: Essentially rewritten, particularly related to
480 use of __mf_pthread_info array.
481 (pthread_join, _exit): New hook functions.
482 * mf-impl.h (BEGIN_PROTECT): Handle starting_p case.
483 * testsuite/libmudflap.cth/pass40-frag.c: New test.
486 * mf-heuristics.c: Add type casts for tracing, sub calls.
487 * mf-impl.h (BEGIN_PROTECT): Redefine to omit result type.
488 Update all callers to declare explicit result holder.
489 (END_PROTECT): Removed.
490 * testsuite/*/*frags.exp: Clean up default MUDFLAP_OPTIONS.
492 2003-07-15 Diego Novillo <dnovillo@redhat.com>
494 * testsuite/libmudflap.c/fail21-frag.c: Add volatile modifiers.
495 * testsuite/libmudflap.c/fail15-frag.c: Likewise.
496 * testsuite/libmudflap.c/fail13-frag.c: Likewise.
498 2003-07-04 Frank Ch. Eigler <fche@redhat.com>
500 * mf-hooks1.c, 2.c, 3.c: New file, splits up content from old ...
502 * mf-impl.h (MF_VALIDATE_EXTENT, BEGIN_PROTECT, END_PROTECT):
503 Move these macros from old mf-hooks.c here.
504 * Makefile.am: Adapt to split-up hook sources for faster builds.
505 * Makefile.in: Regenerated.
507 * mf-heuristics.c: Remove #if-0 block.
509 * mf-impl.h (__mf_state): Reorganize declaration and implementation.
510 (__mf_starting_p): New state only for use while dlsym bootstrapping.
511 (CALL_REAL, __mf_init): Corresponding changes.
512 (TRACE, VERBOSE_TRACE): Include thread id and "mf:" prefix. Update
513 all callers to remove redundant "mf:" prefix.
514 * mf-runtime.h.in: #define a few reentrancy macros for libmudflapth.
515 * mf-hooks3.c: Rewrite chunks to support per-thread __mf_state value.
516 (__mf_pthread_info): Become a hash table.
518 * testsuite/lib/mfdg.exp: Support new "dg-timeout" and
519 "dg-repetitions" directives to control test case execution.
520 * testsuite/libmudflap.cth/pass37-frag.c: Add timeout and repeat
522 * testsuite/libmudflap.cth/pass39-frag.c: Ditto for this new test.
524 2003-06-25 Frank Ch. Eigler <fche@redhat.com>
526 * mf-hooks.c (alloca): Separate into stub.
527 (__mf_wrap_alloca_indirect): New function. Use CALL_REAL
528 malloc/free for alloca blocks.
529 (pthread_create): Tolerate failing pthread_attr_get* calls.
530 * mf-runtime.c (__mf_fini): Call __mf_wrap_alloca_indirect.
531 * mf-impl.h (CALL_WRAP): Remove macro.
532 * testsuite/libmudflap.c/pass21-frag.c: Include <alloca.h>.
533 * testsuite/libmudflap.c/pass23-frag.c: Include more struct
534 padding for ia64 BIT_FIELD_REF constructs.
536 2003-06-19 Frank Ch. Eigler <fche@redhat.com>
538 * mf-hooks.c (struct pthread_info): Add "thread_errno" field.
539 (__mf_pthread_spawner, __mf_pthread_cleanup): Use it with GUESS
540 libmudflap object type.
541 * mf-runtime.c (__mfu_unregister): Correct cemetary logic to avoid
542 crashes on unregistering STATIC objects.
544 2003-06-17 Frank Ch. Eigler <fche@redhat.com>
546 Based on patch from Eyal Lebedinsky <eyal@eyal.emu.id.au>:
547 * mf-hooks.c (__mf_pthread_spawner): Register thread errno.
548 (time, strerror, fopen, fopen64, fclose, fread): New hooks.
549 (fwrite, fgetc, fgets, getc, gets, ungetc, fputc): New hooks.
550 (fputs, putc, puts, clearerr, feof, ferror, fileno): New hooks.
551 (printf, fprintf, sprintf, snprintf, vprintf, vfprintf): New hooks.
552 (vsprintf, vsnprintf, access, remove, fflush, fseek): New hooks.
553 (fseeko64, ftell, ftello64, rewind, fgetpos, fsetpos): New hooks.
554 (stat, stat64, fstat, lstat, mkfifo, setvbuf, setbuf): New hooks.
555 (setvbuf, opendir, closedir, readdir, recv, recvfrom): New hooks.
556 (recvmsg, send, sendto, sendmsg, setsockopt, getsockopt): New hooks.
557 (accept, bind, connect, gethostname, sethostname): New hooks.
558 (gethostbyname, wait, waitpid, popen, pclose, execve): New hooks.
559 (execv, execvp, system, dlopen, dlclose, dlerror, dlsym): New hooks.
560 (semop, semctl, shmctl, shmat, shmdt): New hooks.
561 * mf-runtime.h.in: Corresponding changes.
562 * mf-runtime.c (__mf_ini): Register stdio objects. Use STATIC type.
563 (opts) Rename heur_argv_environ to heur_std_data.
564 (__mf_wrap_main): Use STATIC type for argv/environ strings.
565 * Makefile.am: Corresponding changes.
566 * Makefile.in: Regenerated.
568 2003-06-11 Frank Ch. Eigler <fche@redhat.com>
570 * mf-heuristics.c (__mf_heuristic_check): Disable stack_bounds
571 heuristic for threaded case, and for non-x86-linux targets.
572 * mf-hooks.c (__mf_0fn_calloc): Provide a working dummy implementation
573 for use during pre-main() program startup.
574 (__mf_0fn_*): Make these functions non-static.
575 * mf-impl.h (DECLARE, CALL_REAL): Support calls to 0fn backup hook
577 * mf-runtime.c (__mf_state): Set initial state to "starting".
578 (__mf_resolve_single_dynamic): Tolerate repeated calls for same symbol.
579 (__wrap_main): New function to register argv[] and environ[] strings.
581 (*): In all trace functions, use "%p" as formatter for uintptr_t.
583 * testsuite/libmudflap.c/pass38-frag.c: New test case.
584 * testsuite/libmudflap.cth/pass37-frag.c: Improved test.
586 * acinclude.m4: Add comments with aoliva's concerns about x86_64
588 * aclocal.m4, configure: Regenerated.
590 2003-06-04 Frank Ch. Eigler <fche@redhat.com>
592 * acinclude.m4: Correct typo in AC_MSG_CHECKING.
593 * aclocal.m4, configure: Regenerated.
595 2003-06-03 Frank Ch. Eigler <fche@redhat.com>
597 * acinclude.m4: Force "pass_all" deplibs_check_method for libtool
598 for x86_64 target. Disable caching for this value.
599 * aclocal.m4, configure: Regenerated.
601 2003-06-02 Frank Ch. Eigler <fche@redhat.com>
603 * testsuite/libmudflap.c/pass38-frag.c: Deleted. -fwritable-strings
604 is about to become deprecated, and its present handling bugs are
607 2003-05-30 Frank Ch. Eigler <fche@redhat.com>
609 * testsuite/libmudflap.c/pass38-frag.c: New test for
612 2003-05-23 Frank Ch. Eigler <fche@redhat.com>
614 * mf-runtime.c (__mf_sigusr1_handle): Call unlocked variant of
615 __mf_report, asserting reentrant calling context.
617 2003-05-23 Frank Ch. Eigler <fche@redhat.com>
619 * mf-hooks.c (realloc): Correct reentrancy logic.
620 * testsuite/libmudflap.c/hook-allocstuff.c: New test case.
622 2003-05-20 Frank Ch. Eigler <fche@redhat.com>
624 * mf-hooks.c (LIBMUDFLAPTH_THREADS_MAX): New macro, replaces
625 PTHREAD_THREADS_MAX. Update users.
626 * mf-runtime.c (__mf_usage): Print [active] instead of [default]
628 * testsuite/Makefile.am (all-local): Prime dejagnu site.exp file
629 with libmudflapth presence indicator.
630 * testsuite/Makefile.in: Regenerated.
632 2003-05-16 Frank Ch. Eigler <fche@redhat.com>
634 * Makefile.am (AM_CFLAGS): Remove "-ansi".
635 * configure.in: Remove silly no-pthreads => no-shared logic.
636 * Makefile.in, configure: Regenerated.
637 * mf-heuristics.c (__mf_heuristic_check): Remove reentrancy hacks.
638 * mf-hooks.c (BEGIN_PROTECT, END_PROTECT): Reorganize reentrancy
639 code. Count reentrancy events.
640 (all hook functions): Don't directly manipulate __mf_state variable.
641 Add TRACE calls to hook functions without them.
642 * mf-impl.h (LOCKTH): Try to count lock contention events.
643 (VERBOSE_TRACE, TRACE): Remove reentrancy hacks.
644 * mf-runtime.c (BEGIN_RECURSION_PROTECT, END_RECURSION_PROTECT):
645 Reorganize reentrancy code.
646 (external __mf_ entry points): Use RECURSION_PROTECT mechanism to
647 identify reentrancy with mutex holding times.
648 (internal __mfu_ entry points): Remove internal reentrancy code.
649 (__mf_init): Use ordinary locked calls.
650 (__mfu_report): Print the two new counts.
651 * testsuite/lib/libmudflap.exp: Filter out junk ld/pthreads messages.
652 * testsuite/libmudfap.cth/cthfrags.exp: New test driver.
653 * testsuite/libmudflap.cth/pass37-frag.c: New pthreads test.
654 * testsuite/libmudfap.cth/cfrags.exp: Adapt to new libmudflap
657 2003-05-09 Frank Ch. Eigler <fche@redhat.com>
659 * configure.in: Add pthread support, plus glibc and porting hacks.
660 * Makefile.am (LIBMUDFLAPTH): New conditional, to build -lmudflapth
661 from objects built into ./pth/.
662 * mf-runtime.c (__mfu_watch,register,...): Fork new unlocked
663 functions for internal entry points. Update callers to pick
664 locked vs. unlocked variants.
665 (__mf_resolve_single_dynamic): Extend to support symbol versioning
666 info coming in from a static data structure.
667 (*): Reorder miscellaneous declarations to group data vs functions.
668 (__mf_set_default_options): Simplify.
669 (__mf_usage): Mention threading status of host executable.
670 * mf-impl.h: Move max/min decls here. Reorganize __mf_dynamic
671 decls to match above.
672 (LOCKTH, UNLOCKTH): New macros for Big Libmudflap Lock management.
673 * mf-heuristics.c: Choose between locked/unlocked calls. Add
674 some lock/unlock markers. Remove some unused code.
676 (pthread_create): New hook function.
677 (__mf_pthread_cleanup, _spawner): New helper functions.
678 * configure. aclocal.m4, config.h.in, Makefile.in: Regenerated.
680 2003-05-02 Frank Ch. Eigler <fche@redhat.com>
682 * testsuite/libmudflap.c/fail27-frag.c: Add more volatile flags.
684 2002-04-28 Frank Ch. Eigler <fche@redhat.com>
686 * Makefile.am (HOOKOBJS): Add *time related hooks.
687 * configure.in: Look for pthreads.h header.
688 * mf-hooks.c (asctime, ctime, gmtime, localtime): New wrappers.
689 * mf-runtime.c: Begin sketching some pthreads support.
690 (__mf_usage): Check for -lpthread presence.
691 (__mf_unregister): Confirm matching unregistration base.
692 (__mf_find_objects_rec): Reduce unnecessary recursion.
693 * mf-runtime.h.in: Add "nothrow" attribute to functions. Add
694 #defines for new hook functions.
695 * mf-impl.h: Corresponding changes.
696 * config.h.in, configure, Makefile.in: Regenerated.
698 2002-04-27 Diego Novillo <dnovillo@redhat.com>
700 * testsuite/libmudflap.c/fail1-frag.c: Add volatile
701 modifiers to prevent being optimized away.
702 * testsuite/libmudflap.c/fail10-frag.c: Likewise.
703 * testsuite/libmudflap.c/fail13-frag.c: Likewise.
704 * testsuite/libmudflap.c/fail14-frag.c: Likewise.
705 * testsuite/libmudflap.c/fail15-frag.c: Likewise.
706 * testsuite/libmudflap.c/fail2-frag.c: Likewise.
707 * testsuite/libmudflap.c/fail20-frag.c: Likewise.
708 * testsuite/libmudflap.c/fail3-frag.c: Likewise.
710 2003-04-15 Frank Ch. Eigler <fche@redhat.com>
712 * Makefile.am (libmudflap_la_LIBADD): Remove -ldl.
713 * configure.in: Look for uintptr_t and -ldl on target.
714 * mf-runtime.h.in: Adjust uintptr_t declaration logic.
715 * Makefile.in, aclocal.m4, configure, config.h.in: Regenerated.
716 * testsuite/Makefile.in: Regenerated.
717 * mf-runtime.c (__mf_sigusr1_respond): Tweak declaration and calls
718 for better C compliance.
720 2003-04-15 Frank Ch. Eigler <fche@redhat.com>
722 * mf-hooks.c (MF_VALIDATE_EXTENT): Remove unnecessary reentrancy
724 * mf-runtime.c (__mf_set_default_options): Turn off
725 check-initialization.
726 (__mf_describe_object): Shorten description.
727 * testsuite/libmudflap.c/fail25-frag.c: Turn on check-initialization.
729 2003-04-07 Frank Ch. Eigler <fche@redhat.com>
731 * mf-hooks.c (__mf_0fn_mmap): Correct return value, as per <rth>.
733 2003-04-02 Frank Ch. Eigler <fche@redhat.com>
735 * mf-hooks.c (BEGIN_PROTECT): Handle startup-time reentrant
737 (__mf_0fn_malloc ... _munmap): New dummy backup calls.
738 * mf-impl.h (CALL_BACKUP): New macros.
739 * mf-runtime.c (__mf_init): Tweak __mf_state during startup.
741 2003-03-31 Frank Ch. Eigler <fche@redhat.com>
743 * Makefile.am (AM_CFLAGS): Remove optimization flags.
744 (HOOKOBJS): Remove dlopen hook.
745 (libmudflap_la_LIBADD): Add -ldl.
746 * mf-hooks.c (dlopen): Remove hook.
747 * mf-impl.h (__mf_dynamic): Ditto.
748 * mf-runtime.c (__mf_resolve_dynamics): Ditto.
749 * Makefile.in: Regenerated.
751 2003-03-28 Frank Ch. Eigler <fche@redhat.com>
753 * configure.in: Check for target gettimeofday, signal, some headers.
754 * mf-impl.h (__mf_opts): Add new "sigusr1_report" field. Comment
755 out inop multi_threaded field.
756 * mf-runtime.c (options): Handle new "-sigusr1-report" option.
757 (__mf_set_options): Correct handling of "-help".
758 (__mf_sigusr1_respond): New function to manage SIGUSR1 response.
759 (__mf_check, __mf_register, __mf_unregister): Call it.
760 (__mf_insert_new_object, __mf_unregister): Respect HAVE_GETTIMEOFDAY.
761 (__mf_report_leaks): Make callable
762 (__mf_tree_analyze): Traverse in-order. Accumulate address bit
763 distribution statistics.
764 (__mf_adapt_cache): Rewrite shift guessing logic based on address
766 * config.h.in, configure: Regenerated.
767 * testsuite/libmudflap.c/fail27-frag.c: New test.
768 * testsuite/libmudflap.c/pass36-frag.c: New test.
770 2003-03-11 Frank Ch. Eigler <fche@redhat.com>
772 * mf-runtime.h.in: Tweak.
773 * Makefile.am, configure.in: Tweak mf-runtime.h generation some more.
774 Don't use intermediate files nor AC_OUTPUT-time postprocessing.
775 * Makefile.in, testsuite/Makefile.in, configure: Regenerated.
777 2003-03-10 Frank Ch. Eigler <fche@redhat.com>
779 * configure.in: Tweak generation of mf-runtime.h some more. It
780 needs to work from both config.status and configure.
781 * configure: Regenerated.
783 2003-03-10 Frank Ch. Eigler <fche@redhat.com>
785 * Makefile.am: Reorganize hook file building. Add auto dependencies.
786 * configure.in: Tweak generation of mf-runtime.h.
787 * mf-runtime.h.in: Add new __MF_TYPE_HEAP_I.
788 * mf-hooks.c (*): Adapt to initialized-heap object type.
789 * mf-impl.h: Tweak cemetary boundaries.
790 * mf-runtime.c (__mf_check): Adapt to new initialized-heap object
792 (__mf_insert_new_object, __mf_register, __mf_unregister): Ditto.
793 (__mf_describe_object, __mf_report_leaks, __mf_violation): Ditto.
794 * testsuite/lib/libmudflap.exp (includes): Include build tree.
795 * testsuite/libmudflap.c/pass{26,5}: Further adapt to initialization
797 * testsuite/.../fail{25,26}-frag.c: New tests.
798 * testsuite/.../pass{32,33,34,35}-frag.c: New tests.
799 * Makefile.in, configure: Regenerated.
801 2003-03-05 Frank Ch. Eigler <fche@redhat.com>
803 * mf-runtime.c (__mf_set_default_options): Turn on initialization
805 (__mf_insert_new_object): As a temporary hack, assume that new
806 objects registered on the stack start out initialized.
807 * testsuite/libmudflap.c/fail9,pass23,pass[6789]-*: Initialize
808 heap objects by hand.
810 2003-03-05 Frank Ch. Eigler <fche@redhat.com>
812 Switch to macro-style hooks for str*/mem*/b* functions.
813 * mf-runtime.h.in (__MF_TYPE_*): Moved some internal values out.
814 (mem*, str*, b*): Added macro-style hooks for _MUDFLAP case.
815 * mf-runtime.c: #include config.h to enable glibc backtraces again.
816 (__mf_set_default_options): Turn off heur_proc_map.
817 (*): Adapt to to macro-style hook functions.
818 (__mf_object_dead_head, __mf_object_cemetary): Correct bounds.
819 (__mf_check, __mf_register, __mf_unregister): Tweak tracing message.
820 (__mf_violation): Handle __MF_VIOL_WATCH.
821 * mf-impl.h (__MF_TYPE_*): Moved these internal values here.
822 (__mf_dynamic): Removed mem*/str*/b* functions.
823 (TRACE, VERBOSE_TRACE): Add reentrancy locking.
824 (WRAPPER2): New macro for macro-style hooks.
825 * mf-hooks.c: Convert mem*/str*/b* functions to simpler
827 (BEGIN_PROTECT): Tweak tracing vs reentrancy-lock ordering.
828 * mf-heuristics.c: Adapt to macro-style hook functions.
829 Correct some comments.
830 * testsuite/lib/mfdg.exp (dg-test): Simplify result string for
831 output pattern tests.
832 * testsuite/libmudflap.c/fail[89]-frag.c: Elaborate output test.
833 * testsuite/libmudflap.c++/c++frags.exp: Enable non-static tests.
835 2003-02-28 Frank Ch. Eigler <fche@redhat.com>
837 * testsuite/libmudflap.c/fail23-frag.c, pass30-frag.c: New tests
838 for global array registration.
839 * testsuite/libmudflap.c++/fail24-frag.cxx, pass31-frag.cxx: Ditto.
840 * testsuite/libmudflap.c++/c++frags.exp: Tweak -static multilib hack.
842 2003-02-27 Frank Ch. Eigler <fche@redhat.com>
844 * Makefile.am: Add gross make bug workarounds. Tweaked
845 SUBDIRS and AM_CFLAGS.
846 * Makefile.in: Regenerated.
848 2003-02-26 Frank Ch. Eigler <fche@redhat.com>
851 * configure.in (AC_PROG_CXX): Don't look for C++ any more.
852 * Makefile.am (TESTS): Remove simple automake testing.
853 * configure, Makefile.in: Regenerated.
854 (SUBDIRS): Include new testsuite/ directory.
855 * tests/*: Removed all files; moved bulk under:
856 * testsuite/*: New subdirectory tree.
857 * testsuite/libmudflap.c/cfrags.exp: New file, C test driver.
858 * testsuite/libmudflap.c++/c++frags.exp: New file, C++ test driver.
859 * testsuite/lib/libmudflap.exp: New file, derived from libstdc++.
860 * testsuite/lib/mfdg.exp: New file, derived from dejagnu.
861 * testsuite/config/default.exp: New file.
862 * testsuite/Makefile.am, Makefile.in: New files.
864 2003-01-29 Frank Ch. Eigler <fche@redhat.com>
866 * Makefile.am (TESTS_ENVIRONMENT): Remove redundant "-mode-check".
867 (TESTS): Add fail22 and pass29 tests.
868 * mf-runtime.h.in: Change API to take void*/size_t region parameters.
869 Add new access-type parameter for __mf_check. Move __MF_VIOL* out.
870 * mf-impl.h: Corresponding changes. Update CLAMP* macros for void*
871 values. Move __MF_VIOL* here.
872 * mf-runtime.c (*): Adapt to void*/size_t API in mf-runtime.h.
873 (check_initialization): New field in __mf_opts. Default off.
874 (read_count,write_count): New fields in __mf_object.
875 (__mf_check): Implement basic initialization checking.
876 (__mf_insert_new_object): Assume STATIC|GUESS regions are initialized.
877 (__mf_describe_object): Print new fields.
878 (__mf_violation): Identify check/read vs. check/write in messages.
879 * test/pass29-frag.c, test/fail22-frag.c: Basic tests for new
880 "-check-initialized" mudflap option.
881 * test/pass25-frag.c, test/fail21-frag.c: Adapt to API changes.
882 * mf-hooks.c (MF_VALIDATE_EXTENT): Add new access-type parameter.
883 Drop __FILE__/__LINE__ hack. Update callers.
884 (*): Adapt to new mf-runtime.h API.
885 * Makefile.in: regenerated.
887 2003-01-24 Frank Ch. Eigler <fche@redhat.com>
889 * configure.in: Build mf-runtime.h a more proper way.
890 * mf-hooks.c (strdup, strndup): Correct reentrancy logic.
891 * mf-runtime.c (verbose_violations): Turn on by default.
892 * mf-runtime.h.in: Remove some miscellaneous stuff ...
893 * mf-impl.h: ... and move it here.
894 * configure: Regenerated.
896 2003-01-22 Frank Ch. Eigler <fche@redhat.com>
898 * configure.in: Look for C++ compiler.
899 * test/*-frag.c, mf-driver.c: Reformatted with GNU indent and
900 fixed type warnings when built with C++.
901 * test/pass27-frag.cxx, pass28-frag.cxx: New C++ tests.
902 * Makefile.am (TESTS): Run them.
903 (*) Add new rules for building and running C++ tests.
904 (TESTFLAGS): Set new default to avoid libstdc++-v3 shlib issues.
905 * mf-runtime.h.in: Protect with extern "C".
906 * Makefile, configure: Regenerated.
908 2003-01-06 Frank Ch. Eigler <fche@redhat.com>
910 Portability improvements.
911 * configure.in: Look for glibc backtrace headers/functions.
912 * mf-hooks.c: Don't include <execinfo.h> any more.
913 * mf-runtime.c (__mf_set_options): Call more stdlib functions
915 (__mf_backtrace): Provide alternate baby implementation in
917 * test/mf-driver.c: Portability tweaks.
918 * acinclude.m4: New file, containing top level libtool.m4.
919 * aclocal.m4, configure, Makefile.in, config.h.in: Regenerated.
921 2002-12-19 Frank Ch. Eigler <fche@redhat.com>
923 * mf-runtime.h.in (HAVE_UINTPTR_T): Define unconditionally.
925 2002-11-08 Frank Ch. Eigler <fche@redhat.com>
927 * mf-runtime.c (options): Add new "wipe-heap", "wipe-stack"
929 (__mf_unregister): Implement stack/heap object wiping.
930 (__mf_set_options): Renamed from __mf_process_opts.
931 (__mf_uncache_object): Change arg type, correct callers.
932 * mf-impl.h: Corresponding changes.
933 * mf-hooks.c (realloc): Save/restore heap-wiping flag.
934 * mf-runtime.h.in (__mf_set_options): Extend public API.
935 * test/pass26-frag.c: New test for stack wiping.
936 * Makefile.am (TESTS): Run it.
937 * Makefile.in: Regenerated.
939 2002-11-07 Frank Ch. Eigler <fche@redhat.com>
941 * mf-runtime.h.in (__mf_watch, __mf_unwatch): Extend public API.
942 * mf-runtime.c (__mf_object_t): Add watching_p field.
943 (__mf_watch_or_not): New function to implement
944 object watch flagging.
945 (__mf_watch, __mf_unwatch): New wrappers for above.
946 (__mf_check, __mf_describe_object): Handle objects with watching_p.
947 (__mf_count_violation): Enlarge array.
948 (__mf_uncache_object): Renamed from __mf_remove_old_object. Don't
949 unlink object. Clear cache properly.
950 (__mf_unregister): Unlink object explicitly before uncaching.
951 * test/fail21-frag.c, pass25-frag.c: New tests.
952 * Makefile.in, aclocal.m4: Regenerated.
954 2002-11-05 Frank Ch. Eigler <fche@redhat.com>
956 * test/fail20-frag.c: New test for NULL pointer dereferencing.
957 * Makefile.am (TESTS): Add it.
958 * test/pass-stratcliff.c: Add decls of stpcpy.
959 * configure.in: Test for <stdint.h>. Generate mf-runtime.h in
960 build tree from config.h and new file mf-runtime.h.in.
961 * mf-runtime.h.in: Renamed from mf-runtime.h. Tweak uintptr_t decl.
962 * Makefile.in, configure, config.h.in: Regenerated.
963 * mf-hooks.c: Add #undef for wrapped glibc str*/mem* macros.
964 * mf-runtime.c (options, __mf_set_default_options): Support new
965 default "abbreviate" option.
966 (__mf_object.description_epoch): New field.
967 (__mf_describe_object): Conditionally abbreviate objects already
968 displayed in current epoch. Accept NULL input to increment epoch.
969 (__mf_fini, __mf_ini): Reset description epoch.
970 (__mf_register, __mf_unregister, __mf_adapt_cache, __mf_init): Ensure
971 that NULL pointer slot in lookup cache is invalidated. Register a
972 NOACCESS region around NULL.
973 * mf-impl.h: Corresponding changes.
975 2002-10-16 Frank Ch. Eigler <fche@redhat.com>
977 * test/fail19-frag.c, pass24-frag.c, pass-stratcliff.c: New tests.
978 * Makefile.am: Run them. Install mf-runtime.h.
979 * Makefile.in: Regenerated.
980 * mf-hooks.c: Add some markers for more missing functions.
981 * mf-runtime.c (__mf_adapt_cache): Experiment with a utilization-based
982 statistic to tune tune cache size (mask).
984 2002-10-01 Frank Ch. Eigler <fche@redhat.com>
986 * test/pass23-frag.c: New test for bit_field_ref expressions.
987 * Makefile.am, Makefile.in: Add new test.
988 * mf-hooks.c (mmap, munmap): Rewrite to track individual pages.
989 (MF_VALIDATE_EXTENT): Accept zero-size mem/str operations.
990 * mf-runtime.c (__mf_init): Register errno global.
991 (__mf_find_object): Removed function.
992 (__mf_check): Rewrite logic to support accesses across some
993 contiguous but distinctly registered objects.
994 (__mf_remove_old_object): Tolerate cache entries that span
997 2002-09-30 Frank Ch. Eigler <fche@redhat.com>
999 * test/pass21-frag.c, pass22-frag.c: New tests: alloca, bitfields.
1000 * Makefile.am, Makefile.in: Run new tests.
1001 * mf-hooks.c (alloca): Correct stack direction logic.
1003 2002-09-26 Frank Ch. Eigler <fche@redhat.com>
1005 * mf-impl.h (adapt_cache): New option.
1006 * mf-runtime.c (__mf_set_default_options): Set its default value.
1007 Tweak the tree_aging parameter down.
1008 (__mf_check): Maintain separate counter for cache-adaptation.
1009 (__mf_tree_analyze): New function to collect object tree stats.
1010 (__mf_adapt_cache): New function to automate cache parameters.
1012 2002-09-24 Frank Ch. Eigler <fche@redhat.com>
1014 * mf-heuristics.c (__init_misc, __mf_heuristic_check): Add
1015 hypothetical #if-0'd argv/envp region registration.
1016 * mf-runtime.c (__mf_init): Add kludged form of above.
1017 (*) Add "heur_argv_environ" flag, default on, to govern this.
1018 * mf-impl.h: Corresponding changes.
1020 2002-09-20 Frank Ch. Eigler <fche@redhat.com>
1022 * test/fail18-frag.c: New test file for NOACCESS regions.
1023 * Makefile.am (TESTS): Add new test.
1024 * Makefile.in: Regenerated.
1026 * mf-heuristics.c (__mf_heuristics_check): Correct deja_vu logic.
1027 * mf-impl.h (tree_aging): Add new mudflap_option, default 1000000.
1028 (optimize_object_tree): Remove unused mudflap_option.
1029 * mf-runtime.h (__MF_TYPE_NOACCESS): New region type. Add printing
1030 support throughout. Use .._MAX_CEM for cemetary upper bound.
1031 * mf-runtime.c (__mf_init): Register __mf_* globals as NOACCESS
1033 (__mf_object): Add new liveness field for use by tree aging.
1034 (__mf_check): Trigger tree aging when needed.
1035 (__mf_age_tree): New function to decay liveness field.
1036 (__mf_find_objects_rec): Use liveness field to rotate tree.
1037 (__mf_insert_new_object): Only provide backtrace for HEAP objects.
1038 (__mf_unregister): Ditto.
1039 (__mf_register): Tweak duplicate-static message.
1040 (__mf_violation: Tweak nearby-object counter printing.
1042 2002-09-16 Frank Ch. Eigler <fche@redhat.com>
1044 * test/pass20-frag.c: New test file.
1045 * Makefile.am (TESTS): Reorganize. Add pass20 test.
1046 * Makefile.in: Regenerated.
1048 * mf-impl.h (TRACE_IN, TRACE_OUT): Remove macros. Update callers.
1049 * mf-hooks.c (BEGIN_PROTECT): Add hook tracing here.
1050 * mf-heuristic.c (__mf_heuristic_check): Track seen /proc/self/map
1051 entries to avoid repeat registration.
1052 * mf-runtime.c (__mf_object_cemetary): Don't bother bury GUESS regions.
1053 (__mf_register, __mf_unregister): Rewrite GUESS handling logic.
1055 2002-09-09 Frank Ch. Eigler <fche@redhat.com>
1057 * Makefile.am: Create test sources with #include, not cat>>.
1058 * Makefile.in: Regenerated.
1059 * test/buildtest.sh: Removed.
1060 * test/driver.c (abort_handler, main): Be quiet.
1062 2002-09-06 Frank Ch. Eigler <fche@redhat.com>
1064 * test/pass18-frag.c, pass19-frag.c: New tests.
1065 * Makefile.am (check): Run them. Rebuild test programs each time.
1066 * Makefile.in: Regenerated.
1068 2002-09-06 Frank Ch. Eigler <fche@redhat.com>
1070 * mf-runtime.c (__mf_register): Correct SEGV-inducing error in
1071 overlapping object search.
1072 (__mf_violation): Likewise for nearby objects.
1073 Improve nearby-object listing.
1076 * mf-runtime.c, mf-hooks.c: Remove "{{{"/"}}}" folding marks.
1077 * mf-heuristics.c (__mf_heuristic_check): Tweak message.
1079 2002-09-03 Frank Ch. Eigler <fche@redhat.com>
1082 * Makefile.am (AM_CFLAGS): New definition of needed settings.
1083 (HOOKOBJS): Add alloca-hook.o.
1084 * mf-hooks.c (alloca): New function to implement alloca in libiberty
1086 * mf-runtime.c (__mf_report): Call alloca(0) to flush remaining blocks.
1087 (__mf_backtrace): Reimplement without using alloca.
1088 * Makefile.in: Regenerated.
1091 * mf-hooks.c: Use VERBOSE_TRACE throughout instead of fprintf(stderr).
1092 Correct signedness bugs in length-tracking variables.
1093 * mf-impl.h: Make options unsigned.
1094 (CALL_WRAP): New macro to parallel CALL_REAL().
1095 (DECLARE): Remove erroneous ";" at end.
1096 * mf-runtime.c, mf-hooks.c, mf-heuristics.c: Replace remaining %p
1097 formatting specs with %08lx. Correct several compiler warnings.
1099 2002-08-28 Frank Ch. Eigler <fche@redhat.com>
1101 * mf-runtime.c (__mf_violation): Try harder to locate nearby objects.
1103 2002-08-27 Frank Ch. Eigler <fche@redhat.com>
1105 libmudflap hook breakup:
1106 * Makefile.am (TESTS_ENVIRONMENT): Add ../../gcc to LD_LIBRARY_PATH
1108 (TESTS): Make dependent on libmudflap.
1109 (HOOKOBJS): Break up mf-hooks.o into many little hook objects,
1110 compiled from segments of mf-hooks.c.
1111 * mf-hooks.c: Corresponding changes: wrap each function in
1113 * Makefile.in: Regenerated.
1115 Heuristics reorganization:
1116 * mf-heuristics.c (__mf_register_ro_sections, __mf_init_heuristics):
1117 Remove these functions. Update callers.
1118 (__mf_heuristic_check): Incorporate all the various heuristics.
1119 Encode cacheability/retry judgement into trinary return value.
1120 Separate start-end logic into a separate fallback heuristic. Only
1121 register relevant /proc/self/map segments.
1122 * mf-impl.h: Corresponding changes.
1123 * mf-runtime.c (__mf_check): Reorganize heuristics fallback logic.
1124 (__mf_init): Don't call __mf_init_heuristics.
1127 * mf-heuristics.c, mf-runtime.c: Use new MUDFLAP_OPTION
1128 "-verbose-trace" to emit all tracing messages other than those of
1129 basic public api. Eliminate some duplicate/excessive messages.
1130 * mf-runtime.h: Corresponding changes.
1132 2002-08-27 Graydon Hoare <graydon@redhat.com>
1134 * mf-impl.h (WRAPPER): Change to create linker aliases for __wrap
1135 and __real when compiled with -DPIC.
1136 * mf-hooks.c (WRAPPER): Change all uses of WRAPPER macro slightly.
1137 * Makefile.am (AUTOMAKE_OPTIONS): Fix LD_LIBRARY_PATH for tests.
1138 * Makefile.in: Regenerate.
1140 2002-08-26 Graydon Hoare <graydon@redhat.com>
1142 * mf-impl.h: New file, private implementation header.
1143 * mf-runtime.h: Reorganize a bit.
1144 (CLAMPSZ): Fix arithmetic.
1145 (__MF_CACHE_MISS_P): Fix arithmetic.
1146 * mf-runtime.c: Reorganize a bit.
1147 (__mf_dynamic): New structure.
1148 (resolve_single_dynamic): New function.
1149 (__mf_resolve_dynamics): New function.
1150 (__mf_init): Initialize dynamic wrappers.
1151 * mf-hooks.c: Macro-ize __real calls.
1152 Clamp various bits of arithmetic.
1153 Add explicit __mf_check call contexts.
1154 * Makefile.am: Add dependencies on mf-impl.h
1155 * Makefile.in: Regenerate.
1156 * configure.in: Comment out shared override.
1157 * configure: Regenerate.
1159 2002-08-22 Graydon Hoare <graydon@redhat.com>
1161 * mf-runtime.c (__mf_process_opts): Sanity-check free_queue_length.
1162 (__mf_check): Re-inialize and check heuristics before violation.
1163 (__mf_register): Permit updating pure-guess regions.
1164 * mf-hooks.c (__wrap_free): Correct some free queue logic.
1165 (__wrap_dlopen): New wrapper function.
1166 (__wrap_mmap): New wrapper function.
1167 (__wrap_munmap): New wrapper function.
1168 * mf-heuristics.c (__mf_register_ro_sections): Register *all* regions
1169 which are not stack addresses.
1170 (is_stack_address): New function.
1171 (__mf_init_heuristics): Save and restore state, always initialize with
1174 2002-08-21 Frank Ch. Eigler <fche@redhat.com>
1176 * mf-hooks.c (MF_VALIDATE_EXTENT): Rewrite to correct off-by-one
1177 error. Pass location string.
1178 (wrap_strcpy, wrap_strncpy): Remove extra %s in trace strings.
1179 * mf-runtime.c (options): Add lc-mask, lc-shift options.
1180 (__mf_process_opts): Apply some sanity checking for lc-mask.
1181 (__mf_check, __mf_violation): Take new location-string argument.
1182 Update callers to pass NULL if necessary.
1183 (__mf_backtrace): New smart backtracer function. Calls replace
1184 several ad-hoc blocks elsewhere.
1185 (__mf_describe_object): Remove bad reentrancy test. Improve
1187 * mf-runtime.h: Corresponding changes. Public/private markup.
1188 (__MF_CACHE_MISS_P): New macro.
1190 2002-08-20 Graydon Hoare <graydon@redhat.com>
1192 * mf-runtime.h: New option: stack_bound (heuristic).
1193 Move some macros out of implementation files.
1194 * mf-runtime.c: New option string: -stack-bound.
1195 Unify recursion protection with hooks.
1197 (__mf_check): Call __mf_heuristic_check.
1198 (__mf_process_opts): Fix "no-" processing.
1199 * mf-heuristics.c (__mf_heuristic_check): New function.
1200 * mf-hooks.c: Much off-by-one fixing, recursion protection.
1202 2002-08-20 Frank Ch. Eigler <fche@redhat.com>
1204 Option parsing improvements, region splitting bug fixes:
1205 * mf-heuristics.c (__mf_register_ro_sections): Add warned casts.
1206 * mf-runtime.h (heur_proc_map): New libmudflap option.
1207 * mf-runtime.c (__mf_set_default_options): Set it.
1208 (__mf_usage): Print default values/status.
1209 (__mf_process_opts): Support general "no-" option string prefix.
1210 (__mf_init): Print __mf_usage on unknown-option error.
1211 (__mf_register): Print trace message up front.
1212 Correct region splitting logic for case where a subregion disappears.
1213 Correct memory leak.
1214 (__mf_violation): Make even basic message conditional on option.
1217 * Makefile.am (TESTS_ENVIRONMENT): Add -no-heur-proc-map.
1218 (clean-local): New target.
1219 (test/*x rules): Add -g CFLAGS.
1220 (CFLAGS): Add -freorder-blocks.
1221 (MFCONFIG_CFLAGS, INCLUDE): Remove unneeded settings.
1222 * Makefile.in: Regenerated.
1223 * Makefile, mf-config.h: Removed files.
1225 2002-08-16 Graydon Hoare <graydon@redhat.com>
1227 * mf-runtime.c (__mf_insert_new_object): Factor out of
1229 (__mf_remove_old_object): Factor out of __mf_unregister.
1230 (__mf_register): Handle guessed regions, splitting
1231 guesses when new registrations arrive.
1232 (__mf_unregister): Do not unregister guesses.
1233 * mf-runtime.h: Move convenience macros around,
1234 declare new option fields. Add __MF_TYPE_GUESS.
1235 * mf-hooks.c (__wrap_*alloc): Use crumple zones.
1236 (__wrap_free): Call __real_free for deferred frees.
1237 * Makefile.am: Add more tests, fix dependency.
1238 * Makefile.in: Regenerate.
1239 * test/pass[13..17]-frag.c: New testcases.
1240 * test/fail[13..17]-frag.c: New testcases.
1242 2002-08-15 Graydon Hoare <graydon@redhat.com>
1244 * mf-heuristics.c: New file.
1245 * mf-runtime.c (options): Add -trace-calls option.
1246 (__mf_init): Call __mf_init_heuristics.
1248 2002-08-14 Graydon Hoare <graydon@redhat.com>
1250 * Makefile.am (TESTS): Add testsuite support.
1251 * Makefile.in: Regenerate.
1252 * test/mf-driver.c: New file.
1253 * test/buildtest.sh: New file.
1254 * test/passNN-frag.c: New testcases.
1255 * test/failNN-frag.c: New testcases.
1257 2002-08-14 Graydon Hoare <graydon@redhat.com>
1259 * mf-hooks.c: Change __real_strlen() to __real_strlen()+1 when
1260 verifying non-size-limited string extents.
1262 2002-08-14 Frank Ch. Eigler <fche@redhat.com>
1264 * mf-hooks.c: Make __wrap string* functions use __real_str[n]len
1265 instead of plain str[n]len for internal checks.
1266 * mf-runtime.c (__mf_violation): Print optional stack traceback.
1268 2002-08-14 Frank Ch. Eigler <fche@redhat.com>
1270 * mf-hooks.c: Remove #if-0 around hooks that are now ld-wrapped.
1272 2002-08-13 Graydon Hoare <graydon@redhat.com>
1274 * mf-runtime.c: Rework configuration to operate on
1275 environment variable options rather than #defines
1276 (__mf_violation): Add simple fork-a-gdb violaiton mode.
1277 (__mf_init): Set static __mf_active_p flag on startup,
1278 to inhibit mudflap wrap-based checking during crt0.s.
1279 * mf-runtime.h: Declare options structure.
1280 * mf-hooks.c: New wrappings for mem*, b*, str*
1281 libc functions (temporarily #if 0-ed out).
1283 2002-08-12 Frank Ch. Eigler <fche@redhat.com>
1285 * Makefile.am, configure.in: New files.
1286 * Makefile.in, Makefile, configure, config.h.in: New generated files.
1287 * stamp-h.in, aclocal.m4: Ditto.
1289 2002-08-08 Frank Ch. Eigler <fche@redhat.com>
1291 * Makefile: New file.
1292 * mf-config.h: New file: runtime configuration.
1293 * mf-hooks.c: New file: interposed libc functions.
1294 * mf-runtime.c: New file: bulk of runtime.
1295 * mf-runtime.h: New file: public functions.