When compiling and linking the lshaped program (part of ATR), the symbol
_ZNK18OsiSolverInterface20getFractionalIndicesEd is defined twice in the
resulting bytecode file: once as an undefined symbol and once as a defined local
function (according to llvm-nm).

This causes the JIT problems; the first time it looks for the function, it
thinks it is external and attmepts to find it in the JIT's address space.  Later
on, the JIT finds the function definition and uses it properly.

I'm guessing this behavior is from the libraries used by gccld.

Note that this occurs when gccld's optimizations are enabled or disabled (i.e.
it's not an optimizer problem).

This is actually a bug in the g++ front end.

The front end is creating a function that returns an aggregate type (as opposed
to moving the aggregate type into the first parameter).  This causes there to be
two different typed functions with the same name.  Hence, the JIT goes looking
for the version returning the aggregate type, can't find it, and fails.

Now, the trick is: Can I reduce it to a usable test case?

Created an attachment (id=30) [details]
Reproduces the problem.

This reproduces the problem when gccas has assertions that check for functions
that return aggregate types.

Thanks for reducing this testcase John!

-Chris

Note that, with the new assertion in the parser, this problem is blocking
building libstdc++.  :(

-Chris

Testcase reduced to:

#include <vector>

std::vector<int> my_method ();
int main (){
  my_method ();
  return 0;
}

... next step, get rid of #include.

Fixed.

Testcase here: 2003-11-25-ReturningOpaqueByValue.cpp

The patch:
$ diff -u llvm-types.c~ llvm-types.c
--- llvm-types.c~       2003-11-19 18:59:34.000000000 -0600
+++ llvm-types.c        2003-11-25 02:41:55.000000000 -0600
@@ -874,7 +874,7 @@
      * returning void and taking struct argument as it's first
      * parameter.
      */
-    if (RetType->ID == StructTyID) {
+    if (RetType->ID == StructTyID || RetType->ID == OpaqueTyID) {
       FirstArgTy = llvm_type_get_pointer(RetType);
       NumArgs++;
       RetType = VoidTy;