OSDN Git Service

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