Allow not expected result for const allocator

OpenMP-Validation-and-Verification / OpenMP_VV

OpenMP Offloading Validation & Verification Suite; Official repository. We have migrated from bitbucket!! For documentation, results, publication and presentations, please check out our website ->

https://crpl.cis.udel.edu/ompvvsollve/

Other

54 stars 19 forks source link

Allow not expected result for const allocator #804

Closed fel-cab closed 6 months ago

fel-cab commented 6 months ago

The test tests/5.0/target/test_target_uses_allocators_const.c was checking that writing to x was successful even though the specification says that the omp_const_mem_space: Represents storage optimized for variables with constant values. The result of writing to this storage is unspecified. Which means that if the variable x is not written, the result is also correct. This PR seeks to solve this problem.

seyonglee commented 6 months ago

Is this test legal? For me, it does not make sense to evaluate "unspecified behavior". (We cannot say whether this test is passed or failed in any case.)