Add overflow_result_exprt: compute result and overflow in one expression#6903

Merged

tautschnig merged 2 commits intodiffblue:developfrom

tautschnig:feature/overflow-and-result

Jun 3, 2022

Commits on Jun 3, 2022

Support non-tag typed struct/union member expressions
tautschnig
committed
Add overflow_result_exprt: compute result and overflow in one expression
tautschnig
committed