On 01/11/2018 05:26 AM, Bruno Haible wrote:
Another idea is to add some header (like the current implementation does), but instead of storing a marker only in the malloc case, store a different marker also in the alloca case. This should be done through a GCC statement expression. => Should work with __builtin_alloca.
Could we please fix this issue along those lines? Thanks. Florian