Provide builtin assert #99

Open
opened 2025-04-15 07:34:23 +02:00 by belka · 1 comment
Owner

If asserts argument is a constant evaluating to false, generate an unreachable call, otherwise assert.

If asserts argument is a constant evaluating to false, generate an unreachable call, otherwise assert.
belka added the
bootstrap
label 2025-04-15 07:34:23 +02:00
Author
Owner
  • The beginning of visit(boot::procedure_call *call) handles an assert call. Extract this logic into a separate private function.
  • assert() with a non-constant is ignored. Abort the execution if the assertion fails.
  • remove unreachable from the Generic symbol table.
- The beginning of `visit(boot::procedure_call *call)` handles an `assert` call. Extract this logic into a separate private function. - `assert()` with a non-constant is ignored. Abort the execution if the assertion fails. - remove `unreachable` from the Generic symbol table.
Sign in to join this conversation.
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: belka/elna#99
No description provided.