Actually, the value of the option wasn't used anywhere...

David Bühler authored 2 years ago and Valentin Perrelle committed 2 years ago

On a memory access alarm, returns the lvalues required to compute the address
as dependencies of the alarm.

To be removed in the next open-source release.

In plugins pdg, scope and slicing, directly uses the Eva API instead of this
function.

Maxime Jacquemin authored 2 years ago and David Bühler committed 2 years ago

The only remaining mention to <Db.From> is in <eva/register.ml>.
It looks like a circular dependency, but maybe we could tackle it later.

Valentin Perrelle authored 2 years ago and David Bühler committed 2 years ago

- use cardinal for integers, thus better hints for small set
- do not try to compute range when it's desperate

has not been used since years, depends on really old software