gcc/gcc/ipa-polymorphic-call.c

1 /* Analysis of polymorphic call context.
189     that the context is either invalid, or the instance type must be
208      /* If derived type is not allowed, we know that the context is invalid.
449 	      /* In these weird cases we want to accept the context.
504   ipa_polymorphic_call_context context;
516   context.offset = offset;
517   context.outer_type = TYPE_MAIN_VARIANT (outer_type);
518   context.maybe_derived_type = false;
519   context.dynamic = false;
520   return context.restrict_to_inner_class (otr_type, consider_placement_new,
643 /* Dump human readable context to F.  If NEWLINE is true, it will be terminated
683 /* Print context to stderr.  */
691 /* Stream out the context to OB.  */
721 /* Stream in the context from IB and DATA_IN.  */
758 /* Proudce polymorphic call context for call method of instance
786    polymorphic call context for polymorphic call of method
857 	 bases.  When doing context analysis, we do not really care
889 /* Create polymorphic call context from IP invariant CST.
902 /* Build context for pointer REF contained in FNDECL at statement STMT.
904    the context or DECL where context is contained in.  */
1349       ipa_polymorphic_call_context context;
1351       context.offset = offset;
1352       context.outer_type = type;
1353       context.maybe_in_construction = false;
1354       context.maybe_derived_type = false;
1355       context.dynamic = true;
1358       if (!context.restrict_to_inner_class (tci->otr_type))
1366       if (!context.maybe_derived_type)
1368           type = context.outer_type;
1369           offset = context.offset;
1513 /* THIS is polymorphic call context obtained from get_polymorphic_context.
1527    We do not include this analysis in the context analysis itself, because
1678      maybe_in_construction flag if the context already have outer type.
1779    seems consistent (and useful) with what we already have in the non-speculative context.  */
1800      This is not 100% true for placement new, where the outer context may
1836    If OTR_TYPE is set, assume the context is used with OTR_TYPE.  */
1933    If OTR_TYPE is set, assume the context is used with OTR_TYPE.  */
2027 /* Assume that both THIS and a given context is valid and strenghten THIS
2029    If actual type the context is being used in is known, OTR_TYPE should be
2041   /* Restricting context to inner type makes merging easier, however do not
2042      do that unless we know how the context is used (OTR_TYPE is non-NULL)  */
2053       fprintf (dump_file, "Polymorphic call context combine:");
2055       fprintf (dump_file, "With context:                    ");
2069         fprintf (dump_file, "-> Invalid context\n");
2120       /* It may be easy to check if second context permits the first
2153       /* If we do not know how the context is being used, we can
2189 		fprintf (dump_file, "Second context does not permit base -> invalid\n");
2216 		fprintf (dump_file, "First context does not permit base -> invalid\n");
2260    that context is going to be used only that way.  */
2297 /* Return TRUE if this context conveys the same information as OTHER.  */
2350 /* Modify context to be strictly less restrictive than CTX.  */
2361   /* Restricting context to inner type makes merging easier, however do not
2362      do that unless we know how the context is used (OTR_TYPE is non-NULL)  */
2382       fprintf (dump_file, "Polymorphic call context meet:");
2384       fprintf (dump_file, "With context:                    ");
2446          We need to set DYNAMIC flag to avoid declaring context INVALID