Not at all. In LLVM-IR, all pointer were always allowed to alias each other, regardless of their type. Type-based no-alias information (as by the frontend langu

Not at all. In LLVM-IR, all pointer were always allowed to alias each other, regardless of their type. Type-based no-alias information (as by the frontend language semantics) is added by metadata called TBAA [1]. [1] https://llvm.org/docs/LangRef.html#tbaa-metadata https://llvm.org/docs/LangRef.html#tbaa-metadata