execution order

[John Love-Jensen]

Hi Kövesdi,

> How the inter-dependency is determined?

Outside of my knowledge.  I presume by variable usage analysis.

GCC uses the SSA optimization technique as well, which has helped perform
some impressive optimizations.  I'm not sure if SSA is relevant here.

> How can I tell the compiler not to do re-ordering?

Use -O0 - that will tell the compiler not to optimize, which will prevent
re-ordering.

> Is it possible to make such a dependency between them?

If the destructor is not inline, and also is not provided in that same
translation unit (so it isn't "known" at compile time for that translation
unit), and also the global variable being returned is not static (so it has
external access outside of the translation unit), then the compiler cannot
presume that there is no dependency.  (Holistic analysis optimizers like
LLVM can still reorder.  But, currently, GCC isn't a holistic optimizer - so
that's not a concern.)

HTH,
--Eljay