#include "config.h"
#include <ctf-api.h>
#include <stdio.h>
#include <stdlib.h>
#include <string.h>

static char *
insert_dimension (char *old_str, int num)
{
  char *bracket_ptr = strchr (old_str, '[');
  if (!bracket_ptr)
    {
      if (asprintf (&old_str, "int [%d]", num) < 0)
	return NULL;
    }
  else if (asprintf (&old_str, "int [%d]%s", num, bracket_ptr) < 0)
    return NULL;
  return old_str;
}

int
main (int argc, char *argv[])
{
  ctf_archive_t *ctf;
  ctf_dict_t *fp;
  int err;
  ctf_dump_state_t *dump_state = NULL;
  char *dumpstr;
  ctf_next_t *it = NULL;
  ctf_id_t type;
  int flagged = 0;
  const char *name = NULL;

  if ((ctf = ctf_open (argv[1], NULL, &err)) == NULL)
    goto open_err;
  if ((fp = ctf_dict_open (ctf, NULL, &err)) == NULL)
    goto open_err;

  /* First, check for signs that the compiler is fixed but not emitting the
     relevant flag yet.  This combination is not expected to work right.  */

  while ((dumpstr = ctf_dump (fp, &dump_state, CTF_SECT_HEADER, NULL, NULL))
	 != NULL)
    {
      if (strstr (dumpstr, "CTF_F_ARRNELEMS") != NULL)
	flagged = 1;
      free (dumpstr);
    }

  if (!flagged)
    {
      ctf_arinfo_t ar;

      if ((type = ctf_lookup_by_symbol_name (fp, "a")) == CTF_ERR)
	goto unexpected;

      if (ctf_array_info (fp, type, &ar) < 0)
	goto unexpected;

      if (ar.ctr_nelems == 3)
	{
	  fprintf (stderr, "UNSUPPORTED: compiler has GCC PR114186 fixed but "
			   "no indicative flag\n");
	  return 0;
	}
    }

  /* Now check for the actual bug.  */
  if (flagged)
    {
      while ((type = ctf_type_next (fp, &it, NULL, 1)) != -1)
	if (ctf_type_kind (fp, type) == CTF_K_ARRAY)
	  printf ("%s\n", ctf_type_aname (fp, type));
    }

  else
    {
      while ((type = ctf_symbol_next (fp, &it, &name, 0)) != CTF_ERR)
	{
	  char *outstr = strdup ("int ");
	  while (ctf_type_kind (fp, type) == CTF_K_ARRAY)
	    {
	      ctf_arinfo_t ar;
	      if (ctf_array_info (fp, type, &ar) < 0)
		goto unexpected;
	      outstr = insert_dimension (outstr, ar.ctr_nelems);
	      printf ("%s\n", outstr);
	      type = ar.ctr_contents;
	    }
	  free (outstr);
	}
    }

  ctf_dict_close (fp);
  ctf_close (ctf);

  return 0;

open_err:
  fprintf (stderr, "%s: cannot open: %s\n", argv[0], ctf_errmsg (err));
  return 1;

unexpected:
  fprintf (stderr,
	   "Cannot look up symbol to determine compiler bugginess: %s\n",
	   ctf_errmsg (ctf_errno (fp)));
  return 1;
}