Closed neboat closed 1 year ago
This PR fixes a compiler crash where jump threading would break an invariant of the Tapir CFG.
This PR also replaces some uses of the deprecated Optional class in Cilk-related code with std::optional.
Optional
std::optional
This PR fixes a compiler crash where jump threading would break an invariant of the Tapir CFG.
This PR also replaces some uses of the deprecated
Optional
class in Cilk-related code withstd::optional
.