search

mutilin / klever

Klever Git repository read-only mirror
https://forge.ispras.ru/projects/klever
Apache License 2.0
0 stars 1 forks source link

Recalculate cache of applied unsafe marks correctly #21

Closed vmordan closed 5 years ago

vmordan commented 5 years ago

Currently cache of applied unsafe marks only recalculated on function changes, whereas some other actions (for example, switching off and on optimizations) also require such recalculation. In this case marks may not be fully changed.

vmordan commented 5 years ago

In order to recalculate cache on optimizations, they should be saved with marks, which requires database changes.

vmordan commented 5 years ago

Implemented in commit 1c83575. Also there is an option to postpone cache recalculation as an optimization.