OSDN Git Service

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