libmudflap/ChangeLog

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