forked from ocaml-flambda/flambda-backend
-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathtest_attribute_error_duplicate.output
20 lines (15 loc) · 1.47 KB
/
test_attribute_error_duplicate.output
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
File "test_attribute_error_duplicate.ml", line 1, characters 25-35:
Warning 54 [duplicated-attribute]: the "zero_alloc" attribute is used more than once on this expression
File "test_attribute_error_duplicate.ml", line 2, characters 66-76:
Warning 54 [duplicated-attribute]: the "zero_alloc" attribute is used more than once on this expression
File "test_attribute_error_duplicate.ml", line 3, characters 5-15:
Warning 47 [attribute-payload]: illegal payload for attribute 'zero_alloc'.
It must be either 'assume', 'strict', 'opt', 'opt strict', 'assume strict', 'assume never_returns_normally', 'assume never_returns_normally strict', 'ignore' or empty
File "test_attribute_error_duplicate.ml", line 4, characters 5-15:
Warning 47 [attribute-payload]: illegal payload for attribute 'zero_alloc'.
It must be either 'assume', 'strict', 'opt', 'opt strict', 'assume strict', 'assume never_returns_normally', 'assume never_returns_normally strict', 'ignore' or empty
File "test_attribute_error_duplicate.ml", line 5, characters 5-15:
Warning 47 [attribute-payload]: illegal payload for attribute 'zero_alloc'.
It must be either 'assume', 'strict', 'opt', 'opt strict', 'assume strict', 'assume never_returns_normally', 'assume never_returns_normally strict', 'ignore' or empty
File "test_attribute_error_duplicate.ml", line 1, characters 5-15:
Error: Annotation check for zero_alloc strict failed on function Test_attribute_error_duplicate.test1 (camlTest_attribute_error_duplicate.test1_HIDE_STAMP)