Hi, I like the idea of emitting Valgrind annotations. Instrumenting the compiler /a little/ could make a very useful tool even more useful.
I have a minor remark, though (as someone not qualified to talk about
the middle-end bits of code), in the case that the annotation built-in
remains a libgcc bit:
exactl...@ispras.ru writes:
> +#else
> +# define VALGRIND_MAKE_MEM_UNDEFINED(ptr, sz) __builtin_trap ()
> +#endif
> +
> +void __valgrind_make_mem_undefined (void *ptr, unsigned long sz)
> +{
> + VALGRIND_MAKE_MEM_UNDEFINED (ptr, sz);
> +}
Would it be preferable to have a link-time error here if missing?
Have a lovely night.
--
Arsen Arsenović
signature.asc
Description: PGP signature
