0d973c0a0d
This patch implements the error directive. Depending on clauses it is either a compile time diagnostics (in that case diagnosed right away) or runtime diagnostics (libgomp API call that diagnoses at runtime), and either fatal or warning (error or warning at compile time or fatal error vs. error at runtime) and either has no message or user supplied message (this kind of e.g. deprecated attribute). The directive is also stand-alone directive when at runtime while utility (thus disappears from the IL as if it wasn't there for parsing like nothing directive) at compile time. There are some clarifications in the works ATM, so this patch doesn't yet require that for compile time diagnostics the user message must be a constant string literal, there are uncertainities on what exactly is valid argument of message clause (whether just const char * type, convertible to const char *, qualified/unqualified const char * or char * or what else) and what to do in templates. Currently even in templates it is diagnosed right away for compile time diagnostics, if we'll need to substitute it, we'd need to queue something into the IL, have pt.c handle it and diagnose only later. 2021-08-20 Jakub Jelinek <jakub@redhat.com> gcc/ * omp-builtins.def (BUILT_IN_GOMP_WARNING, BUILT_IN_GOMP_ERROR): New builtins. gcc/c-family/ * c-pragma.h (enum pragma_kind): Add PRAGMA_OMP_ERROR. * c-pragma.c (omp_pragmas): Add error directive. * c-omp.c (omp_directives): Uncomment error directive entry. gcc/c/ * c-parser.c (c_parser_omp_error): New function. (c_parser_pragma): Handle PRAGMA_OMP_ERROR. gcc/cp/ * parser.c (cp_parser_handle_statement_omp_attributes): Determine if PRAGMA_OMP_ERROR directive is C_OMP_DIR_STANDALONE. (cp_parser_omp_error): New function. (cp_parser_pragma): Handle PRAGMA_OMP_ERROR. gcc/fortran/ * types.def (BT_FN_VOID_CONST_PTR_SIZE): New DEF_FUNCTION_TYPE_2. * f95-lang.c (ATTR_COLD_NORETURN_NOTHROW_LEAF_LIST): Define. gcc/testsuite/ * c-c++-common/gomp/error-1.c: New test. * c-c++-common/gomp/error-2.c: New test. * c-c++-common/gomp/error-3.c: New test. * g++.dg/gomp/attrs-1.C (bar): Add error directive test. * g++.dg/gomp/attrs-2.C (bar): Add error directive test. * g++.dg/gomp/attrs-13.C: New test. * g++.dg/gomp/error-1.C: New test. libgomp/ * libgomp.map (GOMP_5.1): Add GOMP_error and GOMP_warning. * libgomp_g.h (GOMP_warning, GOMP_error): Declare. * error.c (GOMP_warning, GOMP_error): New functions. * testsuite/libgomp.c-c++-common/error-1.c: New test.
403 lines
15 KiB
C
403 lines
15 KiB
C
/* Copyright (C) 2005-2021 Free Software Foundation, Inc.
|
|
Contributed by Richard Henderson <rth@redhat.com>.
|
|
|
|
This file is part of the GNU Offloading and Multi Processing Library
|
|
(libgomp).
|
|
|
|
Libgomp is free software; you can redistribute it and/or modify it
|
|
under the terms of the GNU General Public License as published by
|
|
the Free Software Foundation; either version 3, or (at your option)
|
|
any later version.
|
|
|
|
Libgomp is distributed in the hope that it will be useful, but WITHOUT ANY
|
|
WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
|
|
FOR A PARTICULAR PURPOSE. See the GNU General Public License for
|
|
more details.
|
|
|
|
Under Section 7 of GPL version 3, you are granted additional
|
|
permissions described in the GCC Runtime Library Exception, version
|
|
3.1, as published by the Free Software Foundation.
|
|
|
|
You should have received a copy of the GNU General Public License and
|
|
a copy of the GCC Runtime Library Exception along with this program;
|
|
see the files COPYING3 and COPYING.RUNTIME respectively. If not, see
|
|
<http://www.gnu.org/licenses/>. */
|
|
|
|
/* This file contains prototypes of functions in the external ABI.
|
|
This file is included by files in the testsuite. */
|
|
|
|
#ifndef LIBGOMP_G_H
|
|
#define LIBGOMP_G_H 1
|
|
|
|
#include <stdbool.h>
|
|
#include <stddef.h>
|
|
#include <stdint.h>
|
|
|
|
/* barrier.c */
|
|
|
|
extern void GOMP_barrier (void);
|
|
extern bool GOMP_barrier_cancel (void);
|
|
|
|
/* critical.c */
|
|
|
|
extern void GOMP_critical_start (void);
|
|
extern void GOMP_critical_end (void);
|
|
extern void GOMP_critical_name_start (void **);
|
|
extern void GOMP_critical_name_end (void **);
|
|
extern void GOMP_atomic_start (void);
|
|
extern void GOMP_atomic_end (void);
|
|
|
|
/* loop.c */
|
|
|
|
extern bool GOMP_loop_static_start (long, long, long, long, long *, long *);
|
|
extern bool GOMP_loop_dynamic_start (long, long, long, long, long *, long *);
|
|
extern bool GOMP_loop_guided_start (long, long, long, long, long *, long *);
|
|
extern bool GOMP_loop_runtime_start (long, long, long, long *, long *);
|
|
extern bool GOMP_loop_nonmonotonic_dynamic_start (long, long, long, long,
|
|
long *, long *);
|
|
extern bool GOMP_loop_nonmonotonic_guided_start (long, long, long, long,
|
|
long *, long *);
|
|
extern bool GOMP_loop_nonmonotonic_runtime_start (long, long, long,
|
|
long *, long *);
|
|
extern bool GOMP_loop_maybe_nonmonotonic_runtime_start (long, long, long,
|
|
long *, long *);
|
|
extern bool GOMP_loop_start (long, long, long, long, long, long *, long *,
|
|
uintptr_t *, void **);
|
|
|
|
extern bool GOMP_loop_ordered_static_start (long, long, long, long,
|
|
long *, long *);
|
|
extern bool GOMP_loop_ordered_dynamic_start (long, long, long, long,
|
|
long *, long *);
|
|
extern bool GOMP_loop_ordered_guided_start (long, long, long, long,
|
|
long *, long *);
|
|
extern bool GOMP_loop_ordered_runtime_start (long, long, long, long *, long *);
|
|
extern bool GOMP_loop_ordered_start (long, long, long, long, long, long *,
|
|
long *, uintptr_t *, void **);
|
|
|
|
extern bool GOMP_loop_static_next (long *, long *);
|
|
extern bool GOMP_loop_dynamic_next (long *, long *);
|
|
extern bool GOMP_loop_guided_next (long *, long *);
|
|
extern bool GOMP_loop_runtime_next (long *, long *);
|
|
extern bool GOMP_loop_nonmonotonic_dynamic_next (long *, long *);
|
|
extern bool GOMP_loop_nonmonotonic_guided_next (long *, long *);
|
|
extern bool GOMP_loop_nonmonotonic_runtime_next (long *, long *);
|
|
extern bool GOMP_loop_maybe_nonmonotonic_runtime_next (long *, long *);
|
|
|
|
extern bool GOMP_loop_ordered_static_next (long *, long *);
|
|
extern bool GOMP_loop_ordered_dynamic_next (long *, long *);
|
|
extern bool GOMP_loop_ordered_guided_next (long *, long *);
|
|
extern bool GOMP_loop_ordered_runtime_next (long *, long *);
|
|
|
|
extern bool GOMP_loop_doacross_static_start (unsigned, long *, long, long *,
|
|
long *);
|
|
extern bool GOMP_loop_doacross_dynamic_start (unsigned, long *, long, long *,
|
|
long *);
|
|
extern bool GOMP_loop_doacross_guided_start (unsigned, long *, long, long *,
|
|
long *);
|
|
extern bool GOMP_loop_doacross_runtime_start (unsigned, long *, long *,
|
|
long *);
|
|
extern bool GOMP_loop_doacross_start (unsigned, long *, long, long, long *,
|
|
long *, uintptr_t *, void **);
|
|
|
|
extern void GOMP_parallel_loop_static_start (void (*)(void *), void *,
|
|
unsigned, long, long, long, long);
|
|
extern void GOMP_parallel_loop_dynamic_start (void (*)(void *), void *,
|
|
unsigned, long, long, long, long);
|
|
extern void GOMP_parallel_loop_guided_start (void (*)(void *), void *,
|
|
unsigned, long, long, long, long);
|
|
extern void GOMP_parallel_loop_runtime_start (void (*)(void *), void *,
|
|
unsigned, long, long, long);
|
|
extern void GOMP_parallel_loop_static (void (*)(void *), void *,
|
|
unsigned, long, long, long, long,
|
|
unsigned);
|
|
extern void GOMP_parallel_loop_dynamic (void (*)(void *), void *,
|
|
unsigned, long, long, long, long,
|
|
unsigned);
|
|
extern void GOMP_parallel_loop_guided (void (*)(void *), void *,
|
|
unsigned, long, long, long, long,
|
|
unsigned);
|
|
extern void GOMP_parallel_loop_runtime (void (*)(void *), void *,
|
|
unsigned, long, long, long,
|
|
unsigned);
|
|
extern void GOMP_parallel_loop_nonmonotonic_dynamic (void (*)(void *), void *,
|
|
unsigned, long, long,
|
|
long, long, unsigned);
|
|
extern void GOMP_parallel_loop_nonmonotonic_guided (void (*)(void *), void *,
|
|
unsigned, long, long,
|
|
long, long, unsigned);
|
|
extern void GOMP_parallel_loop_nonmonotonic_runtime (void (*)(void *), void *,
|
|
unsigned, long, long,
|
|
long, unsigned);
|
|
extern void GOMP_parallel_loop_maybe_nonmonotonic_runtime (void (*)(void *),
|
|
void *, unsigned,
|
|
long, long,
|
|
long, unsigned);
|
|
|
|
extern void GOMP_loop_end (void);
|
|
extern void GOMP_loop_end_nowait (void);
|
|
extern bool GOMP_loop_end_cancel (void);
|
|
|
|
/* loop_ull.c */
|
|
|
|
extern bool GOMP_loop_ull_static_start (bool, unsigned long long,
|
|
unsigned long long,
|
|
unsigned long long,
|
|
unsigned long long,
|
|
unsigned long long *,
|
|
unsigned long long *);
|
|
extern bool GOMP_loop_ull_dynamic_start (bool, unsigned long long,
|
|
unsigned long long,
|
|
unsigned long long,
|
|
unsigned long long,
|
|
unsigned long long *,
|
|
unsigned long long *);
|
|
extern bool GOMP_loop_ull_guided_start (bool, unsigned long long,
|
|
unsigned long long,
|
|
unsigned long long,
|
|
unsigned long long,
|
|
unsigned long long *,
|
|
unsigned long long *);
|
|
extern bool GOMP_loop_ull_runtime_start (bool, unsigned long long,
|
|
unsigned long long,
|
|
unsigned long long,
|
|
unsigned long long *,
|
|
unsigned long long *);
|
|
extern bool GOMP_loop_ull_nonmonotonic_dynamic_start (bool, unsigned long long,
|
|
unsigned long long,
|
|
unsigned long long,
|
|
unsigned long long,
|
|
unsigned long long *,
|
|
unsigned long long *);
|
|
extern bool GOMP_loop_ull_nonmonotonic_guided_start (bool, unsigned long long,
|
|
unsigned long long,
|
|
unsigned long long,
|
|
unsigned long long,
|
|
unsigned long long *,
|
|
unsigned long long *);
|
|
extern bool GOMP_loop_ull_nonmonotonic_runtime_start (bool, unsigned long long,
|
|
unsigned long long,
|
|
unsigned long long,
|
|
unsigned long long *,
|
|
unsigned long long *);
|
|
extern bool GOMP_loop_ull_maybe_nonmonotonic_runtime_start (bool,
|
|
unsigned long long,
|
|
unsigned long long,
|
|
unsigned long long,
|
|
unsigned long long *,
|
|
unsigned long long *);
|
|
extern bool GOMP_loop_ull_start (bool, unsigned long long, unsigned long long,
|
|
unsigned long long, long, unsigned long long,
|
|
unsigned long long *, unsigned long long *,
|
|
uintptr_t *, void **);
|
|
|
|
extern bool GOMP_loop_ull_ordered_static_start (bool, unsigned long long,
|
|
unsigned long long,
|
|
unsigned long long,
|
|
unsigned long long,
|
|
unsigned long long *,
|
|
unsigned long long *);
|
|
extern bool GOMP_loop_ull_ordered_dynamic_start (bool, unsigned long long,
|
|
unsigned long long,
|
|
unsigned long long,
|
|
unsigned long long,
|
|
unsigned long long *,
|
|
unsigned long long *);
|
|
extern bool GOMP_loop_ull_ordered_guided_start (bool, unsigned long long,
|
|
unsigned long long,
|
|
unsigned long long,
|
|
unsigned long long,
|
|
unsigned long long *,
|
|
unsigned long long *);
|
|
extern bool GOMP_loop_ull_ordered_runtime_start (bool, unsigned long long,
|
|
unsigned long long,
|
|
unsigned long long,
|
|
unsigned long long *,
|
|
unsigned long long *);
|
|
extern bool GOMP_loop_ull_ordered_start (bool, unsigned long long,
|
|
unsigned long long,
|
|
unsigned long long, long,
|
|
unsigned long long,
|
|
unsigned long long *,
|
|
unsigned long long *,
|
|
uintptr_t *, void **);
|
|
|
|
extern bool GOMP_loop_ull_static_next (unsigned long long *,
|
|
unsigned long long *);
|
|
extern bool GOMP_loop_ull_dynamic_next (unsigned long long *,
|
|
unsigned long long *);
|
|
extern bool GOMP_loop_ull_guided_next (unsigned long long *,
|
|
unsigned long long *);
|
|
extern bool GOMP_loop_ull_runtime_next (unsigned long long *,
|
|
unsigned long long *);
|
|
extern bool GOMP_loop_ull_nonmonotonic_dynamic_next (unsigned long long *,
|
|
unsigned long long *);
|
|
extern bool GOMP_loop_ull_nonmonotonic_guided_next (unsigned long long *,
|
|
unsigned long long *);
|
|
extern bool GOMP_loop_ull_nonmonotonic_runtime_next (unsigned long long *,
|
|
unsigned long long *);
|
|
extern bool GOMP_loop_ull_maybe_nonmonotonic_runtime_next (unsigned long long *,
|
|
unsigned long long *);
|
|
|
|
extern bool GOMP_loop_ull_ordered_static_next (unsigned long long *,
|
|
unsigned long long *);
|
|
extern bool GOMP_loop_ull_ordered_dynamic_next (unsigned long long *,
|
|
unsigned long long *);
|
|
extern bool GOMP_loop_ull_ordered_guided_next (unsigned long long *,
|
|
unsigned long long *);
|
|
extern bool GOMP_loop_ull_ordered_runtime_next (unsigned long long *,
|
|
unsigned long long *);
|
|
|
|
extern bool GOMP_loop_ull_doacross_static_start (unsigned,
|
|
unsigned long long *,
|
|
unsigned long long,
|
|
unsigned long long *,
|
|
unsigned long long *);
|
|
extern bool GOMP_loop_ull_doacross_dynamic_start (unsigned,
|
|
unsigned long long *,
|
|
unsigned long long,
|
|
unsigned long long *,
|
|
unsigned long long *);
|
|
extern bool GOMP_loop_ull_doacross_guided_start (unsigned,
|
|
unsigned long long *,
|
|
unsigned long long,
|
|
unsigned long long *,
|
|
unsigned long long *);
|
|
extern bool GOMP_loop_ull_doacross_runtime_start (unsigned,
|
|
unsigned long long *,
|
|
unsigned long long *,
|
|
unsigned long long *);
|
|
extern bool GOMP_loop_ull_doacross_start (unsigned, unsigned long long *,
|
|
long, unsigned long long,
|
|
unsigned long long *,
|
|
unsigned long long *,
|
|
uintptr_t *, void **);
|
|
|
|
/* ordered.c */
|
|
|
|
extern void GOMP_ordered_start (void);
|
|
extern void GOMP_ordered_end (void);
|
|
extern void GOMP_doacross_post (long *);
|
|
extern void GOMP_doacross_wait (long, ...);
|
|
extern void GOMP_doacross_ull_post (unsigned long long *);
|
|
extern void GOMP_doacross_ull_wait (unsigned long long, ...);
|
|
|
|
/* parallel.c */
|
|
|
|
extern void GOMP_parallel_start (void (*) (void *), void *, unsigned);
|
|
extern void GOMP_parallel_end (void);
|
|
extern void GOMP_parallel (void (*) (void *), void *, unsigned, unsigned);
|
|
extern unsigned GOMP_parallel_reductions (void (*) (void *), void *, unsigned,
|
|
unsigned);
|
|
extern bool GOMP_cancel (int, bool);
|
|
extern bool GOMP_cancellation_point (int);
|
|
|
|
/* task.c */
|
|
|
|
extern void GOMP_task (void (*) (void *), void *, void (*) (void *, void *),
|
|
long, long, bool, unsigned, void **, int, void *);
|
|
extern void GOMP_taskloop (void (*) (void *), void *,
|
|
void (*) (void *, void *), long, long, unsigned,
|
|
unsigned long, int, long, long, long);
|
|
extern void GOMP_taskloop_ull (void (*) (void *), void *,
|
|
void (*) (void *, void *), long, long,
|
|
unsigned, unsigned long, int,
|
|
unsigned long long, unsigned long long,
|
|
unsigned long long);
|
|
extern void GOMP_taskwait (void);
|
|
extern void GOMP_taskwait_depend (void **);
|
|
extern void GOMP_taskyield (void);
|
|
extern void GOMP_taskgroup_start (void);
|
|
extern void GOMP_taskgroup_end (void);
|
|
extern void GOMP_taskgroup_reduction_register (uintptr_t *);
|
|
extern void GOMP_taskgroup_reduction_unregister (uintptr_t *);
|
|
extern void GOMP_task_reduction_remap (size_t, size_t, void **);
|
|
extern void GOMP_workshare_task_reduction_unregister (bool);
|
|
|
|
/* sections.c */
|
|
|
|
extern unsigned GOMP_sections_start (unsigned);
|
|
extern unsigned GOMP_sections2_start (unsigned, uintptr_t *, void **);
|
|
extern unsigned GOMP_sections_next (void);
|
|
extern void GOMP_parallel_sections_start (void (*) (void *), void *,
|
|
unsigned, unsigned);
|
|
extern void GOMP_parallel_sections (void (*) (void *), void *,
|
|
unsigned, unsigned, unsigned);
|
|
extern void GOMP_sections_end (void);
|
|
extern void GOMP_sections_end_nowait (void);
|
|
extern bool GOMP_sections_end_cancel (void);
|
|
|
|
/* single.c */
|
|
|
|
extern bool GOMP_single_start (void);
|
|
extern void *GOMP_single_copy_start (void);
|
|
extern void GOMP_single_copy_end (void *);
|
|
|
|
/* scope.c */
|
|
|
|
extern void GOMP_scope_start (uintptr_t *);
|
|
|
|
/* target.c */
|
|
|
|
extern void GOMP_target (int, void (*) (void *), const void *,
|
|
size_t, void **, size_t *, unsigned char *);
|
|
extern void GOMP_target_ext (int, void (*) (void *), size_t, void **, size_t *,
|
|
unsigned short *, unsigned int, void **, void **);
|
|
extern void GOMP_target_data (int, const void *,
|
|
size_t, void **, size_t *, unsigned char *);
|
|
extern void GOMP_target_data_ext (int, size_t, void **, size_t *,
|
|
unsigned short *);
|
|
extern void GOMP_target_end_data (void);
|
|
extern void GOMP_target_update (int, const void *,
|
|
size_t, void **, size_t *, unsigned char *);
|
|
extern void GOMP_target_update_ext (int, size_t, void **, size_t *,
|
|
unsigned short *, unsigned int, void **);
|
|
extern void GOMP_target_enter_exit_data (int, size_t, void **, size_t *,
|
|
unsigned short *, unsigned int,
|
|
void **);
|
|
extern void GOMP_teams (unsigned int, unsigned int);
|
|
|
|
/* teams.c */
|
|
|
|
extern void GOMP_teams_reg (void (*) (void *), void *, unsigned, unsigned,
|
|
unsigned);
|
|
|
|
/* allocator.c */
|
|
|
|
extern void *GOMP_alloc (size_t, size_t, uintptr_t);
|
|
extern void GOMP_free (void *, uintptr_t);
|
|
|
|
/* error.c */
|
|
|
|
extern void GOMP_warning (const char *, size_t);
|
|
extern void GOMP_error (const char *, size_t);
|
|
|
|
/* oacc-async.c */
|
|
|
|
extern void GOACC_wait (int, int, ...);
|
|
|
|
/* oacc-mem.c */
|
|
|
|
extern void GOACC_enter_exit_data (int, size_t, void **, size_t *,
|
|
unsigned short *, int, int, ...);
|
|
extern void GOACC_enter_data (int, size_t, void **, size_t *,
|
|
unsigned short *, int, int, ...);
|
|
extern void GOACC_exit_data (int, size_t, void **, size_t *,
|
|
unsigned short *, int, int, ...);
|
|
extern void GOACC_declare (int, size_t, void **, size_t *, unsigned short *);
|
|
|
|
/* oacc-parallel.c */
|
|
|
|
extern void GOACC_parallel_keyed (int, void (*) (void *), size_t,
|
|
void **, size_t *, unsigned short *, ...);
|
|
extern void GOACC_parallel (int, void (*) (void *), size_t, void **, size_t *,
|
|
unsigned short *, int, int, int, int, int, ...);
|
|
extern void GOACC_data_start (int, size_t, void **, size_t *,
|
|
unsigned short *);
|
|
extern void GOACC_data_end (void);
|
|
extern void GOACC_update (int, size_t, void **, size_t *,
|
|
unsigned short *, int, int, ...);
|
|
extern int GOACC_get_num_threads (void);
|
|
extern int GOACC_get_thread_num (void);
|
|
|
|
#endif /* LIBGOMP_G_H */
|