ansi-c/get-gcc-builtins.sh gives an error

[martin-cs]

$ ./get-gcc-builtins.sh
Downloading http://gcc.gnu.org/svn/gcc/trunk/gcc/builtin-types.def
Downloading http://gcc.gnu.org/svn/gcc/trunk/gcc/builtins.def
Downloading http://gcc.gnu.org/svn/gcc/trunk/gcc/sync-builtins.def
Downloading http://gcc.gnu.org/svn/gcc/trunk/gcc/omp-builtins.def
Downloading http://gcc.gnu.org/svn/gcc/trunk/gcc/gtm-builtins.def
Downloading http://gcc.gnu.org/svn/gcc/trunk/gcc/cilk-builtins.def
Downloading http://gcc.gnu.org/svn/gcc/trunk/gcc/cilkplus.def
Downloading http://gcc.gnu.org/svn/gcc/trunk/gcc/sanitizer.def
Downloading http://gcc.gnu.org/svn/gcc/trunk/gcc/chkp-builtins.def
builtins.h:1053:28: fatal error: hsa-builtins.def: No such file or directory
compilation terminated.
:7:13: error: expected identifier or ‘(’ before ‘,’ token
:476:36: error: unknown type name ‘TYPE_QUAL_CONST’
:477:37: error: unknown type name ‘TYPE_QUAL_CONST’
:478:37: error: unknown type name ‘TYPE_QUAL_CONST’
:478:61: error: unknown type name ‘TYPE_QUAL_CONST’
:521:57: error: unknown type name ‘const_tm_ptr_type_node’

Also, the resultant gcc-builtins.h does not define isgreater, isgreaterequal, etc. as described in:

https://gcc.gnu.org/onlinedocs/gcc/Other-Builtins.html

[tautschnig]

I should probably put my patch collection on get-gcc-builtins.sh out as a pull request... Will do in a few moments!

[martin-cs]

Ping? I'm down to the last 6 issues on the SV-COMP benchmarks I'm fixing. They all appear to be issues with _builtin functions not being declared so I wonder if / hope this might fix them.

[tautschnig]

I've updated #337 to include declarations (as far as these are actually possible), but it seems one of #363 or #365 is necessary as well.

[tautschnig]

Closing as #337 has been merged.