On Thu, Dec 13, 2018 at 02:31:45PM +0100, Tom de Vries wrote:
> > 2015-07-24 Cesar Philippidis <ce...@codesourcery.com>
Please use current date ;)
> >
> > gcc/
> > * lto-cgraph.c (input_overwrite_node): Error instead of assert
> > on missing cgraph partitions.
> > (input_varpool_node): Likewise.
> >
> >
> > diff --git a/gcc/lto-cgraph.c b/gcc/lto-cgraph.c
> > index d70537d..7e2fc80 100644
> > --- a/gcc/lto-cgraph.c
> > +++ b/gcc/lto-cgraph.c
> > @@ -1218,9 +1218,11 @@ input_overwrite_node (struct lto_file_decl_data
> > *file_data,
> > LDPR_NUM_KNOWN);
> > node->instrumentation_clone = bp_unpack_value (bp, 1);
> > node->split_part = bp_unpack_value (bp, 1);
> > - gcc_assert (flag_ltrans
> > - || (!node->in_other_partition
> > - && !node->used_from_other_partition));
> > +
> > + int success = flag_ltrans || (!node->in_other_partition
> > + && !node->used_from_other_partition);
I'd use internal_error (or internal_error_no_backtrace ?) here if it isn't
an offloading compiler (so #ifndef ACCEL_COMPILER), or just gcc_assert in
that case? Richard/Honza, your thoughts on that?
And error if ACCEL_COMPILER is defined.
> > + if (!success)
> > + error ("Missing %<%s%>", node->name ());
Diagnostics shouldn't start with capital letters. %<%s%> should be %qs.
The diagnostics for the non-accel case if any can be less verbose, but
perhaps should at least say whether it is a function (above case) or
variable.
For the ACCEL_COMPILER case, I think we should be more verbose, say that
certain function or variable has been referenced in offloaded code but
corresponding function or variable definition hasn't been marked to be
included in the offloaded code.
Would be nice to have a location where it has been referenced if
that can be dug from somewhere. Or if e.g. from attribute we can figure out
whether it was OpenMP or OpenACC offloading and even suggest how to fix it
in the corresponding language extension.
Jakub
