blob: 5009531698e1567e59b515e4458d72f9ad0ab295 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
#include <stdio.h>
int some_symbol (void);
int main () {
int ret = some_symbol ();
if (ret == 1)
return 0;
fprintf (stderr, "ret was %i instead of 1\n", ret);
return -1;
}
|