Hi Adarsh, > It contains the bitcode file(without any optimization) of the below program, sorry for not being clear. I meant: please provide the bitcode. One possibility is that the malloc return value is not being marked "noalias" by the front-end. Ciao, Duncan.