Tomasz Miąsko fbc3cc18be Avoid constructing switch sources unless necessary ...

Switch sources are used by backward analysis with a custom switch int
edge effects, but are otherwise unnecessarily computed.

Delay the computation until we know that switch sources are indeed
required and avoid the computation otherwise.

2022-05-08 23:14:56 +02:00

..

src

Avoid constructing switch sources unless necessary

2022-05-08 23:14:56 +02:00

Cargo.toml

Migrate to 2021

2021-09-20 22:21:42 -04:00