From derek.br...@gmail.com on December 10, 2010 17:57:36

PR 406718

xref PR 406535

this case covers adding more checks to the pattern matches for unaddressable and uninitialized exceptions
for string, memory, and alloca routines, to ensure that we're not letting through any true positives.
in particular, making sure only the end of a memory walk has errors suppressed, and not the middle.

xref is_ok_unaddressable_pattern(), check_undefined_reg_exceptions()

Original issue: http://code.google.com/p/drmemory/issues/detail?id=102