On Mon, Feb 03, 2014 at 09:51:01AM +0000, Bingfeng Mei wrote: > If it is just for C++ placement new, why don't implement it as a lang_hook. > Now other languages such as C have to be made conservative and produce worse > code.
Even in C++ code you don't use placement new that often, so e.g. by having the placement new explicit through some special GIMPLE statement in the IL, you could e.g. just look if a particular function or loop contains any placement new stmts (cached in struct function and loop?) and use TBAA if it isn't there. Jakub