Handle 'malloc(deallocator)' GCC attribute (prevented GCC re-parsing a file produced by Frama-C)

Closes #1140

See merge request frama-c/frama-c!3923