This patch adds '!$omp assume' and '!$omp assumes' support. None of the directives is used after resolution. When we actually start using for 'assumes', it has to be stored in .mod files. The other question is how to handle 'holds()' expressions with 'assumes'. -fopenmp-simd: I used a longer wording to imply that not only the 'simd' but all SIMD directives are enabled. OK for mainline? Tobias PS: For 'assume' with holds clause, the same applies as for Jakub's commit/patch: "openmp: Add OpenMP assume, assumes and begin/end assumes support" https://gcc.gnu.org/r13-3020-gd01bd0b0f3b8f4c33c437ff10f0b949200627f56 Namely, it requires that the following - now half-approved - patch is committed: "[PATCH] c++, c: Implement C++23 P1774R8 - Portable assumptions [PR106654]" https://gcc.gnu.org/pipermail/gcc-patches/2022-September/601991.html PPS: I intent to take care in a separate patch the new rules for where OpenMP specification part directives be placed (i.e. after USE/INTENT/IMPORT) for all delarative + informational routines, the latter includes the 'assumes' directive. ----------------- Siemens Electronic Design Automation GmbH; Anschrift: Arnulfstraße 201, 80634 München; Gesellschaft mit beschränkter Haftung; Geschäftsführer: Thomas Heurung, Frank Thürauf; Sitz der Gesellschaft: München; Registergericht München, HRB 106955