Re: [PATCH] Document -fsanitize=vptr (PR sanitizer/64706)

2015-01-21 Thread Jason Merrill
On 01/21/2015 04:33 PM, Jakub Jelinek wrote: Slightly off-topic, what do you think about replacing *this ={v} {CLOBBER}; stmts in dtors of objects with virtual methods with storing of NULL or some other value into the vtable pointer field, so that we would (sometimes) catch member accesses and me

Re: [PATCH] Document -fsanitize=vptr (PR sanitizer/64706)

2015-01-21 Thread Jason Merrill
On 01/21/2015 04:33 PM, Jakub Jelinek wrote: +This option enables instrumentation of C++ member function calls, member +accesses and some downcasts and upcasts, to verify the referenced object Instead of "downcasts and upcasts" I'd write "conversions between pointers to base and derived classe