Error 'The program has no entry point' on goto-binary either with and without main(), although --function is given

[stefanodallapalma]

I obtained the above error while following this guide but using a different version of httpd and apr, namely:

• httpd-2.4.41
• apr-1.7.8
• apr-util-1.6.1

The above error can be replicated as follows from a Docker image.

Extract apache-httpd.zip (you can download the folder here)

cd apache-httdp

docker build -t apache-httdp .
docker run -it apache-httpd
cd httpd-2.4.41/support
find ./ -name "*.i" > source-file-list

for a in `cat source-file-list` ; do
   goto-cc -c $a -o $a.gb
done

That's what I tried then:

1. cbmc checkgid.i.gb (checkgid.c has a main() inside, but got error)
2. goto-instrument checkgid.i.gb foo --bounds-check ; cbmc foo
3. cbmc htdbm.i.gb --function terminate (does not contain main(), but stil does not work)
4. goto-cc checkgid.o -o foo ; cbmc foo (Failed to figure out type of file `foo')

I think this issue is related to #175

Any help? Thanks!

CBMC version: 5.11
Operating system: 64-bit x86_64 linux (Ubuntu 18.04)
Exact command line resulting in the issue: see above
What behaviour did you expect: run cbmc correctly, as from documentation
What happened instead: got the error 'The program has no entry point'

[stefanodallapalma]

for a in `cat source-file-list` ; do
   goto-cc -c $a -o $a.gb
done

The problem was the -c option in the line goto-cc -c $a -o $a.gb

Removing it resolves the problem.