Update test output and remove CR-soon.

Author: gretay-js

tests/backend/checkmach/test_all_opt.ml

@@ -7,13 +7,3 @@ let[@zero_alloc opt] foo x = (x,x)
 let[@zero_alloc] bar x = [x;x]
 
 let baz x = [|x;x+1|]
-(* CR-soon gyorsh:
-   The check fails on [baz] with -check-zero-alloc default/all/opt.
-   This shows that the current interpretation of [@@@zero_alloc all] on functions
-   that do not have an explicit "zero_alloc" attribute
-   is to require "zero all" with both "opt" and "default" flags.
-   This behavior behavior exposes an implementation detail that does not matter in
-   practice because "opt" flag is only intended for testing, and the behavior
-   with "default" and "all" flags is indistinguishable.
-   Fix it in the next commit.
-*)

tests/backend/checkmach/test_all_opt3.output

@@ -3,9 +3,3 @@ Error: Annotation check for zero_alloc failed on function Test_all_opt3.foo (cam
 
 File "test_all_opt3.ml", line 4, characters 29-34:
 Error: allocation of 24 bytes
-
-File "test_all_opt3.ml", line 9, characters 8-21:
-Error: Annotation check for zero_alloc failed on function Test_all_opt3.baz (camlTest_all_opt3.baz_HIDE_STAMP)
-
-File "test_all_opt3.ml", line 9, characters 12-21:
-Error: allocation of 24 bytes