Skip to content

Commit 4b5d356

Browse files
committed
Re-use validate_expr in to_*exprt
This provides two advantages: 1) Member access such as testing the number of operands does not break sharing, because it is done in a const context. 2) Code re-use: we no longer implement the same check in two different ways. All changes in this commit were applied automatically via text replacement.
1 parent 5e8af57 commit 4b5d356

File tree

1 file changed

+320
-356
lines changed

1 file changed

+320
-356
lines changed

0 commit comments

Comments
 (0)