On Sat, Jul 4, 2015 at 2:51 PM, Jim Meyering <j...@meyering.net> wrote: > On Sat, Jul 4, 2015 at 1:43 PM, Paul Eggert <egg...@cs.ucla.edu> wrote: >> Thanks for looking into this. >> >> One little thing I noticed while reading that patch. dfaalloc could be >> declared with _GL_ATTRIBUTE_MALLOC; this is true both before and after the >> patch is applied. I don't know if it's worth bothering to declaring it that >> way, though, as I doubt it'd improve the quality of the generated code. >> Plus, _GL_ATTRIBUTE_MALLOC isn't visible in dfa.h now. > > Good idea. I prefer to add it, on principle. > To permit that change, I'll move the inclusion of xalloc.h -- > the header that defines it -- from dfa.c to dfa.h.
Pushed with that change.
