[LLVMdev] inttoptr and basicaa

[Caldarale, Charles R]

> From: llvmdev-bounces at cs.uiuc.edu [mailto:llvmdev-bounces at cs.uiuc.edu]
> On Behalf Of Arnold Schwaighofer
> Subject: [LLVMdev] inttoptr and basicaa

> BasicAA treats it conservatively if used on its own. It will return mayalias 
> for the two pointers.

> TBAA operates based on the guarantee that pointers to different types cannot 
> alias (think C's strict aliasing rules).  Therein lies its power but also its
> danger, that is, nothing prevents the programmer to write code that violates 
> these rules (That's why we have -fno-strict-aliasing).

> So when basica gives up returning mayalias we query tbaa, which will return - 
> based on strict aliasing rules of our language - noalias.

Except... TBAA is called prior to basicaa, when using addInitialAliasAnalysisPasses().

 - Chuck


THIS COMMUNICATION MAY CONTAIN CONFIDENTIAL AND/OR OTHERWISE PROPRIETARY MATERIAL and is thus for use only by the intended recipient. If you received this in error, please contact the sender and delete the e-mail and its attachments from all computers.