Temporary header file '/tmp/2XeQUzv3Dx/dump1.h' with the following content will be compiled to create GCC translation unit dump:

  // add defines
  #define __STDC_VERSION__ 201710L
#define _GXX_NULLPTR_T
#define CLUTTER_ENABLE_COMPOSITOR_API 1
#define _REGEX_NELTS(n)
#define _Atomic
#define PACKED
#define getaddrinfo_a(a,b,c,d)

  // add includes
  #include "/usr/include/cvc4/api/cvc4cpp.h"
  #include "/usr/include/cvc4/api/cvc4cppkind.h"
  #include "/usr/include/cvc4/base/configuration.h"
  #include "/usr/include/cvc4/base/exception.h"
  #include "/usr/include/cvc4/base/listener.h"
  #include "/usr/include/cvc4/base/modal_exception.h"
  #include "/usr/include/cvc4/context/cdhashmap_forward.h"
  #include "/usr/include/cvc4/context/cdhashset_forward.h"
  #include "/usr/include/cvc4/context/cdinsert_hashmap_forward.h"
  #include "/usr/include/cvc4/context/cdlist_forward.h"
  #include "/usr/include/cvc4/cvc4.h"
  #include "/usr/include/cvc4/cvc4_public.h"
  #include "/usr/include/cvc4/cvc4parser_public.h"
  #include "/usr/include/cvc4/expr/array.h"
  #include "/usr/include/cvc4/expr/array_store_all.h"
  #include "/usr/include/cvc4/expr/ascription_type.h"
  #include "/usr/include/cvc4/expr/datatype.h"
  #include "/usr/include/cvc4/expr/emptyset.h"
  #include "/usr/include/cvc4/expr/expr.h"
  #include "/usr/include/cvc4/expr/expr_iomanip.h"
  #include "/usr/include/cvc4/expr/expr_manager.h"
  #include "/usr/include/cvc4/expr/expr_sequence.h"
  #include "/usr/include/cvc4/expr/kind.h"
  #include "/usr/include/cvc4/expr/record.h"
  #include "/usr/include/cvc4/expr/symbol_table.h"
  #include "/usr/include/cvc4/expr/type.h"
  #include "/usr/include/cvc4/expr/uninterpreted_constant.h"
  #include "/usr/include/cvc4/expr/variable_type_map.h"
  #include "/usr/include/cvc4/options/language.h"
  #include "/usr/include/cvc4/options/option_exception.h"
  #include "/usr/include/cvc4/options/options.h"
  #include "/usr/include/cvc4/options/printer_modes.h"
  #include "/usr/include/cvc4/options/set_language.h"
  #include "/usr/include/cvc4/parser/input.h"
  #include "/usr/include/cvc4/parser/parse_op.h"
  #include "/usr/include/cvc4/parser/parser.h"
  #include "/usr/include/cvc4/parser/parser_builder.h"
  #include "/usr/include/cvc4/parser/parser_exception.h"
  #include "/usr/include/cvc4/printer/sygus_print_callback.h"
  #include "/usr/include/cvc4/proof/unsat_core.h"
  #include "/usr/include/cvc4/smt/command.h"
  #include "/usr/include/cvc4/smt/logic_exception.h"
  #include "/usr/include/cvc4/smt/smt_engine.h"
  #include "/usr/include/cvc4/theory/logic_info.h"
  #include "/usr/include/cvc4/theory/theory_id.h"
  #include "/usr/include/cvc4/util/abstract_value.h"
  #include "/usr/include/cvc4/util/bitvector.h"
  #include "/usr/include/cvc4/util/bool.h"
  #include "/usr/include/cvc4/util/cardinality.h"
  #include "/usr/include/cvc4/util/divisible.h"
  #include "/usr/include/cvc4/util/floatingpoint.h"
  #include "/usr/include/cvc4/util/gmp_util.h"
  #include "/usr/include/cvc4/util/hash.h"
  #include "/usr/include/cvc4/util/integer.h"
  #include "/usr/include/cvc4/util/integer_cln_imp.h"
  #include "/usr/include/cvc4/util/integer_gmp_imp.h"
  #include "/usr/include/cvc4/util/maybe.h"
  #include "/usr/include/cvc4/util/proof.h"
  #include "/usr/include/cvc4/util/rational.h"
  #include "/usr/include/cvc4/util/rational_cln_imp.h"
  #include "/usr/include/cvc4/util/rational_gmp_imp.h"
  #include "/usr/include/cvc4/util/regexp.h"
  #include "/usr/include/cvc4/util/resource_manager.h"
  #include "/usr/include/cvc4/util/result.h"
  #include "/usr/include/cvc4/util/sexpr.h"
  #include "/usr/include/cvc4/util/statistics.h"
  #include "/usr/include/cvc4/util/string.h"
  #include "/usr/include/cvc4/util/tuple.h"
  #include "/usr/include/cvc4/util/unsafe_interrupt_exception.h"

  // add namespaces
  namespace CVC4{typedef int tmp_add_type_1;}
  CVC4::tmp_add_type_1 tmp_add_func_1(){return 0;};
  namespace CVC4{namespace api{typedef int tmp_add_type_2;}}
  CVC4::api::tmp_add_type_2 tmp_add_func_2(){return 0;};
  namespace CVC4{namespace context{typedef int tmp_add_type_3;}}
  CVC4::context::tmp_add_type_3 tmp_add_func_3(){return 0;};
  namespace CVC4{namespace kind{typedef int tmp_add_type_4;}}
  CVC4::kind::tmp_add_type_4 tmp_add_func_4(){return 0;};
  namespace CVC4{namespace theory{typedef int tmp_add_type_5;}}
  CVC4::theory::tmp_add_type_5 tmp_add_func_5(){return 0;};

The GCC parameters:
  gcc -fdump-lang-raw -fkeep-inline-functions -c -x c++ -fpermissive -w "/tmp/2XeQUzv3Dx/dump1.h"

In file included from /usr/include/cvc4/util/integer.h:31,
                 from /usr/include/cvc4/util/cardinality.h:27,
                 from /usr/include/cvc4/expr/type.h:27,
                 from /usr/include/cvc4/expr/uninterpreted_constant.h:23,
                 from /usr/include/cvc4/expr/expr.h:52,
                 from /usr/include/cvc4/expr/datatype.h:37,
                 from /usr/include/cvc4/cvc4.h:23,
                 from /tmp/2XeQUzv3Dx/dump1.h:22:
/usr/include/cvc4/util/integer_cln_imp.h:23:10: fatal error: cln/input.h: No such file or directory
   23 | #include <cln/input.h>
      |          ^~~~~~~~~~~~~
compilation terminated.

