https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83648
prathamesh3492 at gcc dot gnu.org changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |prathamesh3492 at gcc dot gnu.org --- Comment #1 from prathamesh3492 at gcc dot gnu.org --- ipa-pure-const dump shows: MALLOC LATTICE after propagation: __builtin_malloc: malloc g: malloc_bottom f: malloc So it's not able to detect that g could be annotated with malloc. I will take a look. Thanks, Prathamesh