This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

[Ada] Improve inlining of functions returning unconstrained types


Test on i686-linux, committed on trunk.

In order to inline a call to a function that returns an unconstrained
type, the declaration of the returned variable cannot depend on any local
computation, because its it must be placed outside of the generated block.
This restriction is now enforced in the code that determines whether a
request for front-end inlining can be honored.

2006-02-17  Ed Schonberg  <schonberg@adacore.com>

	* sem_ch6.adb (Build_Body_To_Inline): Enforce the rule that in order
	to inline a function that returns an unconstrained type, the return
	expression must be the first variable declared in the body of the
	function.

Attachment: difs.13
Description: Text document


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]