Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
[Caml-list] byte-code and -fno-defer-pop
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Xavier Leroy <Xavier.Leroy@i...>
Subject: Re: [Caml-list] byte-code and -fno-defer-pop
> C-files in the OCaml-distribution are usually compiled with -fno-defer-pop
> when they are supposed to be used with byte code, too. What is the
> rationale behind?

There used to be a bug in gcc whereas code using computed gotos (such
as the OCaml bytecode interpreter) would be incorrectly compiled
unless the -fno-defer-pop option is given.  I don't know if this has
been fixed in recent versions of gcc.

At any rate, you're correct that -fno-defer-pop is needed only for
compiling byterun/interp.c, and applying it to all bytecode-related C
files is a bit excessive.

> Is this only intended to limit stack growth a bit or
> are there other reasons? This opposite of this option is normally turned
> on when optimisation (-O) is used. Would you recommend this setting
> generally for C-code that should cooperate with OCaml-byte code?

No, it shouldn't be necessary.

- Xavier Leroy
Bug reports:  FAQ:
To unsubscribe, mail  Archives: