index
:
moon/zygotec
main
work/b213
work/bench
work/defer
work/prover
work/uninit-locals
work-in-progress programming language.
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
tests
/
conformance
/
4-statements
Mode
Name
Size
-rw-r--r--
asm_arith_mnemonics.zc
225
log
plain
blame
-rw-r--r--
asm_constant_name.zc
180
log
plain
blame
-rw-r--r--
asm_expression_value.zc
149
log
plain
blame
-rw-r--r--
asm_float_literal.zc
244
log
plain
blame
-rw-r--r--
asm_function_name.zc
219
log
plain
blame
-rw-r--r--
asm_negative_literal.zc
165
log
plain
blame
-rw-r--r--
asm_statement_local.zc
197
log
plain
blame
-rw-r--r--
asm_string_pushes_address.zc
176
log
plain
blame
-rw-r--r--
asm_unknown_name.zc
163
log
plain
blame
-rw-r--r--
break_inner_loop_only.zc
256
log
plain
blame
-rw-r--r--
break_outside.zc
153
log
plain
blame
-rw-r--r--
checked_owned_never_used.zc
236
log
plain
blame
-rw-r--r--
continue_in_switch_outside_loop.zc
266
log
plain
blame
-rw-r--r--
continue_outside.zc
147
log
plain
blame
-rw-r--r--
decl_const_assign.zc
167
log
plain
blame
-rw-r--r--
decl_const_increment.zc
175
log
plain
blame
-rw-r--r--
decl_const_local_typed_float.zc
243
log
plain
blame
-rw-r--r--
decl_const_takes_initializer_type.zc
284
log
plain
blame
-rw-r--r--
decl_for_init_scope.zc
233
log
plain
blame
-rw-r--r--
decl_for_let_init_scope.zc
188
log
plain
blame
-rw-r--r--
decl_let_array.zc
231
log
plain
blame
-rw-r--r--
decl_let_bstr.zc
187
log
plain
blame
-rw-r--r--
decl_let_char_ptr.zc
192
log
plain
blame
-rw-r--r--
decl_let_float_local.zc
263
log
plain
blame
-rw-r--r--
decl_let_function_type.zc
214
log
plain
blame
-rw-r--r--
decl_let_integer_is_word.zc
155
log
plain
blame
-rw-r--r--
decl_let_multiple.zc
178
log
plain
blame
-rw-r--r--
decl_redeclare_same_block.zc
223
log
plain
blame
-rw-r--r--
decl_scope_ends_with_block.zc
195
log
plain
blame
-rw-r--r--
decl_shadow_function_name.zc
207
log
plain
blame
-rw-r--r--
decl_shadow_global.zc
177
log
plain
blame
-rw-r--r--
decl_shadow_outer_block.zc
202
log
plain
blame
-rw-r--r--
decl_shadow_param.zc
203
log
plain
blame
-rw-r--r--
decl_tag_only.zc
233
log
plain
blame
-rw-r--r--
decl_typed_array_declarator.zc
203
log
plain
blame
-rw-r--r--
decl_typed_multi.zc
199
log
plain
blame
-rw-r--r--
decl_typed_tag_u_hand_up.zc
271
log
plain
blame
-rw-r--r--
decl_uninit_global_is_zero.zc
219
log
plain
blame
-rw-r--r--
decl_void_variable.zc
150
log
plain
blame
-rw-r--r--
defer_statement_forms.zc
716
log
plain
blame
-rw-r--r--
do_basic.zc
211
log
plain
blame
-rw-r--r--
do_break.zc
183
log
plain
blame
-rw-r--r--
do_continue_jumps_to_test.zc
246
log
plain
blame
-rw-r--r--
do_runs_once.zc
189
log
plain
blame
-rw-r--r--
for_basic.zc
164
log
plain
blame
-rw-r--r--
for_cond_tests_first.zc
159
log
plain
blame
-rw-r--r--
for_continue_runs_step.zc
226
log
plain
blame
-rw-r--r--
for_empty_parts.zc
224
log
plain
blame
-rw-r--r--
for_expression_init.zc
189
log
plain
blame
-rw-r--r--
for_let_init.zc
200
log
plain
blame
-rw-r--r--
for_variable_is_scoped.zc
264
log
plain
blame
-rw-r--r--
hints_forms_accepted.zc
226
log
plain
blame
-rw-r--r--
if_basic.zc
183
log
plain
blame
-rw-r--r--
if_branch_is_own_scope.zc
214
log
plain
blame
-rw-r--r--
if_else_binds_nearest.zc
173
log
plain
blame
-rw-r--r--
if_else_binds_nearest_outer_not_taken.zc
224
log
plain
blame
-rw-r--r--
if_else_chain.zc
198
log
plain
blame
-rw-r--r--
if_float_condition.zc
270
log
plain
blame
-rw-r--r--
memdebug_double_free.zc
226
log
plain
blame
-rw-r--r--
memdebug_off.zc
248
log
plain
blame
-rw-r--r--
memdebug_report.zc
356
log
plain
blame
-rw-r--r--
memdebug_report_line.zc
321
log
plain
blame
-rw-r--r--
memdebug_scrub_accepted.zc
189
log
plain
blame
-rw-r--r--
memdebug_scrub_fills.zc
344
log
plain
blame
-rw-r--r--
memdebug_statement_form.zc
220
log
plain
blame
-rw-r--r--
memdebug_use_after_free.zc
233
log
plain
blame
-rw-r--r--
nested_return_in_loop.zc
204
log
plain
blame
-rw-r--r--
o3_asm_cannot_reach.zc
188
log
plain
blame
-rw-r--r--
o3_block.zc
231
log
plain
blame
-rw-r--r--
o3_fn_form.zc
191
log
plain
blame
-rw-r--r--
o3_function_sum.zc
373
log
plain
blame
-rw-r--r--
o3_nested_is_ordinary_block.zc
205
log
plain
blame
-rw-r--r--
o3_no_address_of.zc
188
log
plain
blame
-rw-r--r--
o3_outside_function_ordinary_block.zc
189
log
plain
blame
-rw-r--r--
o3_parameter_needs_type.zc
178
log
plain
blame
-rw-r--r--
o3_single_variable.zc
177
log
plain
blame
-rw-r--r--
o3_variable_needs_type.zc
177
log
plain
blame
-rw-r--r--
return_bare_is_zero.zc
158
log
plain
blame
-rw-r--r--
return_fall_off_is_zero.zc
178
log
plain
blame
-rw-r--r--
return_frees_owned_locals.zc
282
log
plain
blame
-rw-r--r--
return_outside_function.zc
135
log
plain
blame
-rw-r--r--
return_value_converted_float.zc
235
log
plain
blame
-rw-r--r--
return_value_converted_int.zc
145
log
plain
blame
-rw-r--r--
return_void_value_typecheck_on.zc
204
log
plain
blame
-rw-r--r--
stmt_block_scope.zc
189
log
plain
blame
-rw-r--r--
stmt_empty_statement.zc
139
log
plain
blame
-rw-r--r--
stmt_expression_value_dropped.zc
196
log
plain
blame
-rw-r--r--
stmt_fresh_value_thrown_away.zc
174
log
plain
blame
-rw-r--r--
stmt_u_result_thrown_away.zc
219
log
plain
blame
-rw-r--r--
switch_break_in_loop_leaves_switch_only.zc
296
log
plain
blame
-rw-r--r--
switch_break_leaves_early.zc
230
log
plain
blame
-rw-r--r--
switch_case_own_block.zc
273
log
plain
blame
-rw-r--r--
switch_case_three.zc
276
log
plain
blame
-rw-r--r--
switch_case_underscore.zc
312
log
plain
blame
-rw-r--r--
switch_continue_continues_loop.zc
269
log
plain
blame
-rw-r--r--
switch_default_and_underscore.zc
260
log
plain
blame
-rw-r--r--
switch_default_first_position_not_matched.zc
318
log
plain
blame
-rw-r--r--
switch_default_first_position_taken.zc
316
log
plain
blame
-rw-r--r--
switch_default_middle.zc
299
log
plain
blame
-rw-r--r--
switch_default_runs.zc
272
log
plain
blame
-rw-r--r--
switch_duplicate_labels_first_wins.zc
328
log
plain
blame
-rw-r--r--
switch_expression_evaluated_once.zc
220
log
plain
blame
-rw-r--r--
switch_label_forms.zc
442
log
plain
blame
-rw-r--r--
switch_nested.zc
311
log
plain
blame
-rw-r--r--
switch_no_fallthrough_k2.zc
305
log
plain
blame
-rw-r--r--
switch_no_match_no_default.zc
256
log
plain
blame
-rw-r--r--
switch_non_constant_label.zc
181
log
plain
blame
-rw-r--r--
switch_return_inside_case.zc
237
log
plain
blame
-rw-r--r--
switch_tagged_all_covered_no_warning.zc
271
log
plain
blame
-rw-r--r--
switch_tagged_binding_count.zc
312
log
plain
blame
-rw-r--r--
switch_tagged_binding_scoped_to_case.zc
376
log
plain
blame
-rw-r--r--
switch_tagged_circle.zc
323
log
plain
blame
-rw-r--r--
switch_tagged_default_no_warning.zc
320
log
plain
blame
-rw-r--r--
switch_tagged_empty_parens_with_fields.zc
469
log
plain
blame
-rw-r--r--
switch_tagged_example.zc
344
log
plain
blame
-rw-r--r--
switch_tagged_match_by_tag.zc
579
log
plain
blame
-rw-r--r--
switch_tagged_uncovered_warning.zc
383
log
plain
blame
-rw-r--r--
switch_tagged_uncovered_warning_not_error.zc
381
log
plain
blame
-rw-r--r--
switch_two_defaults.zc
196
log
plain
blame
-rw-r--r--
switch_two_underscores.zc
201
log
plain
blame
-rw-r--r--
unchecked_fn.zc
237
log
plain
blame
-rw-r--r--
unchecked_fn_does_not_extend.zc
262
log
plain
blame
-rw-r--r--
unchecked_stmt_block.zc
280
log
plain
blame
-rw-r--r--
unchecked_stmt_single.zc
167
log
plain
blame
-rw-r--r--
unchecked_toplevel_rest_of_unit.zc
240
log
plain
blame
-rw-r--r--
unchecked_tracked_local_rejected.zc
224
log
plain
blame
-rw-r--r--
while_basic.zc
169
log
plain
blame
-rw-r--r--
while_continue.zc
257
log
plain
blame
-rw-r--r--
while_one_exit_by_return.zc
181
log
plain
blame
-rw-r--r--
while_one_exits_by_break.zc
200
log
plain
blame
-rw-r--r--
while_tests_before.zc
165
log
plain
blame