libmudflap/ChangeLog

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