On Thu, Jan 09, 2025 at 01:17:24PM +0100, Tobias Burnus wrote: > A case where 'omp error' diagnostic should be delayed - and (here) suppressed: > > program_control/sources/error.1.c:15:23: error: ‘pragma omp error’ > encountered: GNU compiler required. > 15 | otherwise(error at(compilation) severity(fatal) \ > | ^~~~~ > > which is odd given that we have the GNU compiler: > > #pragma omp metadirective \ > when(implementation={vendor(gnu)}: nothing ) \ > otherwise(error at(compilation) severity(fatal) \ > message("GNU compiler required."))
This isn't going to be fun if it is supposed to be resolved only very late in the compilation process, I guess then we'll need some tree/statement holding the error directive perhaps with the guarding condition from the metadirective and defer diagnostics until the metadirective is resolved. Jakub