Merge pull request #5686 from tautschnig/ellipsis

Refine void/ellipsis typing of GCC built-ins and assembler

Author: tautschnig

src/ansi-c/gcc_builtin_headers_math.h

@@ -167,9 +167,9 @@ float __builtin_gammaf(float);
 float __builtin_gammaf_r(float, int*);
 long double __builtin_gammal(long double);
 long double __builtin_gammal_r(long double, int*);
-double __builtin_huge_val();
-float __builtin_huge_valf();
-long double __builtin_huge_vall();
+double __builtin_huge_val(void);
+float __builtin_huge_valf(void);
+long double __builtin_huge_vall(void);
 double __builtin_hypot(double, double);
 float __builtin_hypotf(float, float);
 long double __builtin_hypotl(long double, long double);
@@ -182,9 +182,9 @@ int __builtin_ifloorl(long double);
 int __builtin_ilogb(double);
 int __builtin_ilogbf(float);
 int __builtin_ilogbl(long double);
-double __builtin_inf();
-float __builtin_inff();
-long double __builtin_infl();
+double __builtin_inf(void);
+float __builtin_inff(void);
+long double __builtin_infl(void);
 int __builtin_irint(double);
 int __builtin_irintf(float);
 int __builtin_irintl(long double);

src/assembler/remove_asm.cpp

@@ -101,7 +101,6 @@ void remove_asmt::gcc_asm_function_call(
   }
 
   code_typet fkt_type({}, empty_typet());
-  fkt_type.make_ellipsis();
 
   symbol_exprt fkt(function_identifier, fkt_type);
 
@@ -150,7 +149,6 @@ void remove_asmt::msc_asm_function_call(
   const typet void_pointer = pointer_type(empty_typet());
 
   code_typet fkt_type({}, empty_typet());
-  fkt_type.make_ellipsis();
 
   symbol_exprt fkt(function_identifier, fkt_type);