On: Why Safety Profiles Failed

[j16sdiz]

> A C++ compiler can infer nothing about aliasing from a function declaration.

True. but you don't solely rely on the declaration, do you? lots of power comes from static analysis.

[steveklabnik → j16sdiz]

It’s important to only rely on the declaration, for a few reasons. One of the simpler ones is that the body may be in another translation unit.

[seanbax → j16sdiz]

You do solely rely on the declaration.

From P3465: "why this is a scalable compile-time solution, because it requires only function-local analysis"

Profiles uses local analysis, as does borrow checking. Whole program analysis is something you don't want to mess with.