1 /*
   2  * This file and its contents are supplied under the terms of the
   3  * Common Development and Distribution License ("CDDL"), version 1.0.
   4  * You may only use this file in accordance with the terms of version
   5  * 1.0 of the CDDL.
   6  *
   7  * A full copy of the text of the CDDL should have accompanied this
   8  * source.  A copy of the CDDL is also available via the Internet at
   9  * http://www.illumos.org/license/CDDL.
  10  */
  11 
  12 /*
  13  * Copyright 2019, Joyent, Inc.
  14  */
  15 
  16 /*
  17  * Verify that we can properly handle forward declarations.
  18  *
  19  * In test-forward.c barp is declared as a union, not a struct. However, today
  20  * the CTF tooling does not contain enough information to know whether a forward
  21  * declaration was for a struct or a union, only that it was a forward.
  22  * Therefore, the type printing information assumes at the moment that the type
  23  * is a struct. In a future revision of the CTF type data, we should encode this
  24  * information in the equivalent of ctt_info so we can properly distinguish
  25  * between these.
  26  */
  27 
  28 #include "check-common.h"
  29 
  30 static check_symbol_t check_syms[] = {
  31         { "forward", "struct forward" },
  32         { "foop", "struct foo *" },
  33         { "barp", "struct bar *" },
  34         { "bazp", "enum baz *" },
  35         { NULL }
  36 };
  37 
  38 static check_member_t check_member_forward[] = {
  39 #ifdef  TARGET_LP64
  40         { "prev", "struct foo *", 0 },
  41         { "next", "struct foo *", 8 * NBBY },
  42         { "data", "struct bar *", 16 * NBBY },
  43         { "tag", "enum baz *", 24 * NBBY },
  44 #else
  45         { "prev", "struct foo *", 0 },
  46         { "next", "struct foo *", 4 * NBBY },
  47         { "data", "struct bar *", 8 * NBBY },
  48         { "tag", "enum baz *", 12 * NBBY },
  49 #endif
  50         { NULL }
  51 };
  52 
  53 
  54 static check_member_test_t members[] = {
  55 #ifdef  TARGET_LP64
  56         { "struct forward", CTF_K_STRUCT, 32, check_member_forward },
  57 #else
  58         { "struct forward", CTF_K_STRUCT, 16, check_member_forward },
  59 #endif
  60         { NULL }
  61 };
  62 
  63 static check_descent_t check_descent_foo[] = {
  64         { "struct foo *", CTF_K_POINTER },
  65         { "struct foo", CTF_K_FORWARD },
  66         { NULL }
  67 };
  68 
  69 static check_descent_t check_descent_bar[] = {
  70         { "struct bar *", CTF_K_POINTER },
  71         { "struct bar", CTF_K_FORWARD },
  72         { NULL }
  73 };
  74 
  75 static check_descent_t check_descent_baz[] = {
  76         { "enum baz *", CTF_K_POINTER },
  77         { "enum baz", CTF_K_ENUM },
  78         { NULL }
  79 };
  80 
  81 static check_descent_test_t descents[] = {
  82         { "foop", check_descent_foo },
  83         { "barp", check_descent_bar },
  84         { "bazp", check_descent_baz },
  85         { NULL }
  86 };
  87 int
  88 main(int argc, char *argv[])
  89 {
  90         int i, ret = 0;
  91 
  92         if (argc < 2) {
  93                 errx(EXIT_FAILURE, "missing test files");
  94         }
  95 
  96         for (i = 1; i < argc; i++) {
  97                 ctf_file_t *fp;
  98                 uint_t j;
  99 
 100                 if ((fp = ctf_open(argv[i], &ret)) == NULL) {
 101                         warnx("failed to open %s: %s", argv[i],
 102                             ctf_errmsg(ret));
 103                         ret = EXIT_FAILURE;
 104                         continue;
 105                 }
 106 
 107                 if (!ctftest_check_symbols(fp, check_syms))
 108                         ret = EXIT_FAILURE;
 109 
 110                 for (j = 0; descents[j].cdt_sym != NULL; j++) {
 111                         if (!ctftest_check_descent(descents[j].cdt_sym, fp,
 112                             descents[j].cdt_tests, B_FALSE)) {
 113                                 ret = EXIT_FAILURE;
 114                         }
 115                 }
 116 
 117 
 118                 for (j = 0; members[j].cmt_type != NULL; j++) {
 119                         if (!ctftest_check_members(members[j].cmt_type, fp,
 120                             members[j].cmt_kind, members[j].cmt_size,
 121                             members[j].cmt_members)) {
 122                                 ret = EXIT_FAILURE;
 123                         }
 124                 }
 125 
 126                 ctf_close(fp);
 127         }
 128 
 129         return (ret);
 130 }