Tomasz Miąsko 89c3582d59 Assert that a return place is not used for indexing during integration ...

The inliner integrates call destination place with callee return place
by remapping the local and adding extra projections as necessary.

If a call destination place contains any projections (which is already
possible) and a return place is used in an indexing projection (most
likely doesn't happen yet) the end result would be incorrect.

Add an assertion to ensure that potential issue won't go unnoticed in
the presence of more sophisticated copy propagation scheme.

2020-11-07 00:00:00 +00:00

..

src

Assert that a return place is not used for indexing during integration

2020-11-07 00:00:00 +00:00

Cargo.toml

Use tracing spans to trace the entire MIR interp stack

2020-09-28 20:07:57 +02:00