This will enable recovering the full path to a source file where necessary.

Used for coverage output and dead-code analysis

Catch decl in the try/catch is not used.
Making string constants to be ID_constant expressions with string_typet
Typecheking function call.
Added "nan" symbol. Assigning type to lhs after unknown function call.
White spaces, positioning { in new line.
Cleaning up the code. Correct includes.
Renaming jsil types.
Explicit constructors. Inlining expressions if used only once.
Asserting that expression does not have type set just yet.
More efficient implementation for is_subtype.
Introduced jsil_incompatible_types to hide low level implementation.
Fixed bug in is_subtype.
Typechecking throw and return labels.
Typechecking bitwise operators.
Avoiding duplicate type-checking by marking symbols as type-checked.
Add empty decl symbol. Special case for index expression. Clean up.
Converting all procedure declarations to symbols before typechecking.

… than Java

Supports, e.g., x86_64-apple-darwin14-llvm-gcc-4.2 when invoked as
x86_64-apple-darwin14-llvm-goto-gcc-4.2

cr https://cr.amazon.com/r/4975025/

Windows vs. Unix need distinct treatment for executables; cleanup
of duplicate declaration (using include instead) and formatting.

…iple times

Before, hybrid binaries could not be built from stdin as noticed by Norbert.
This was caused by preprocessing consuming stdin, leaving no input left for
subsequent (native) gcc invocations. Now an input file "-" triggers reading all
input into a temporary file, which is then opened and set as file descriptor for
subprocesses.

Do not handle "-m" any more, as recent gcc versions do not support
it.

Signed-off-by: Norbert Manthey <nmanthey@amazon.de>
CC: Michael Tautschnig <tautschn@amazon.co.uk>
CC: Daniel Kroening <dankro@amazon.co.uk>

CR: https://cr.amazon.com/r/5198492/

Started type checking jsil programs

New goto-instrument option --list-eloc

Store the current working directory in source locations for better diagnostic output

Linking of functions with/without ellipsis or transparent-union/POD conflicts

Goto gcc bugfixes and extensions

…ration

… types

Also improves the readabilit of error output when argument conversion is denied

… are missing (pointer related assertions missing from the goto program)

…umented with pointer checks

…id/cbmc into java_pointer_checks

…t inner class names

--function with nondet structs for Java

added script to run datastax benchmarks and changed test.pl to suppor…

Support __attribute__((constructor))

Support klibc's version of __assert_fail, cleanup of assert handling

Minor cleanup of the ansi-c parser: consistent use of init

Linking arrays and compound types

Linking and type checking for weak symbols

Transparent unions require argument conversion, do this for all union types

Permit preprocessor command within __attribute__