usr.bin/xlint/lint2/emit2.c

   1 /*      $NetBSD: emit2.c,v 1.2 1995/07/03 21:24:44 cgd Exp $    */
   2
   3 /*
   4  * Copyright (c) 1994, 1995 Jochen Pohl
   5  * All Rights Reserved.
   6  *
   7  * Redistribution and use in source and binary forms, with or without
   8  * modification, are permitted provided that the following conditions
   9  * are met:
  10  * 1. Redistributions of source code must retain the above copyright
  11  *    notice, this list of conditions and the following disclaimer.
  12  * 2. Redistributions in binary form must reproduce the above copyright
  13  *    notice, this list of conditions and the following disclaimer in the
  14  *    documentation and/or other materials provided with the distribution.
  15  * 3. All advertising materials mentioning features or use of this software
  16  *    must display the following acknowledgement:
  17  *      This product includes software developed by Jochen Pohl for
  18  *      The NetBSD Project.
  19  * 4. The name of the author may not be used to endorse or promote products
  20  *    derived from this software without specific prior written permission.
  21  *
  22  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
  23  * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
  24  * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
  25  * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
  26  * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
  27  * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
  28  * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
  29  * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
  30  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
  31  * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
  32  *
  33  * $NetBSD: emit2.c,v 1.2 1995/07/03 21:24:44 cgd Exp $
  34  */
  35
  36 #include <err.h>
  37
  38 #include "lint2.h"
  39
  40 static  void    outtype __P((type_t *));
  41 static  void    outdef __P((hte_t *, sym_t *));
  42 static  void    dumpname __P((hte_t *));
  43
  44 /*
  45  * Write type into the output buffer.
  46  */
  47 static void
  48 outtype(tp)
  49         type_t  *tp;
  50 {
  51         int     t, s, na;
  52         tspec_t ts;
  53         type_t  **ap;
  54
  55         while (tp != NULL) {
  56                 if ((ts = tp->t_tspec) == INT && tp->t_isenum)
  57                         ts = ENUM;
  58                 switch (ts) {
  59                 case CHAR:      t = 'C';        s = '\0';       break;
  60                 case SCHAR:     t = 'C';        s = 's';        break;
  61                 case UCHAR:     t = 'C';        s = 'u';        break;
  62                 case SHORT:     t = 'S';        s = '\0';       break;
  63                 case USHORT:    t = 'S';        s = 'u';        break;
  64                 case INT:       t = 'I';        s = '\0';       break;
  65                 case UINT:      t = 'I';        s = 'u';        break;
  66                 case LONG:      t = 'L';        s = '\0';       break;
  67                 case ULONG:     t = 'L';        s = 'u';        break;
  68                 case QUAD:      t = 'Q';        s = '\0';       break;
  69                 case UQUAD:     t = 'Q';        s = 'u';        break;
  70                 case FLOAT:     t = 'D';        s = 's';        break;
  71                 case DOUBLE:    t = 'D';        s = '\0';       break;
  72                 case LDOUBLE:   t = 'D';        s = 'l';        break;
  73                 case VOID:      t = 'V';        s = '\0';       break;
  74                 case PTR:       t = 'P';        s = '\0';       break;
  75                 case ARRAY:     t = 'A';        s = '\0';       break;
  76                 case ENUM:      t = 'T';        s = 'e';        break;
  77                 case STRUCT:    t = 'T';        s = 's';        break;
  78                 case UNION:     t = 'T';        s = 'u';        break;
  79                 case FUNC:
  80                         if (tp->t_args != NULL && !tp->t_proto) {
  81                                 t = 'f';
  82                         } else {
  83                                 t = 'F';
  84                         }
  85                         s = '\0';
  86                         break;
  87                 default:
  88                         errx(1, "internal error: outtype() 1");
  89                 }
  90                 if (tp->t_const)
  91                         outchar('c');
  92                 if (tp->t_volatile)
  93                         outchar('v');
  94                 if (s != '\0')
  95                         outchar(s);
  96                 outchar(t);
  97                 if (ts == ARRAY) {
  98                         outint(tp->t_dim);
  99                 } else if (ts == ENUM || ts == STRUCT || ts == UNION) {
 100                         if (tp->t_istag) {
 101                                 outint(1);
 102                                 outname(tp->t_tag->h_name);
 103                         } else if (tp->t_istynam) {
 104                                 outint(2);
 105                                 outname(tp->t_tynam->h_name);
 106                         } else {
 107                                 outint(0);
 108                         }
 109                 } else if (ts == FUNC && tp->t_args != NULL) {
 110                         na = 0;
 111                         for (ap = tp->t_args; *ap != NULL; ap++)
 112                                 na++;
 113                         if (tp->t_vararg)
 114                                 na++;
 115                         outint(na);
 116                         for (ap = tp->t_args; *ap != NULL; ap++)
 117                                 outtype(*ap);
 118                         if (tp->t_vararg)
 119                                 outchar('E');
 120                 }
 121                 tp = tp->t_subt;
 122         }
 123 }
 124
 125 /*
 126  * Write a definition.
 127  */
 128 static void
 129 outdef(hte, sym)
 130         hte_t   *hte;
 131         sym_t   *sym;
 132 {
 133         /* reset output buffer */
 134         outclr();
 135
 136         /* line number in C source file */
 137         outint(0);
 138
 139         /* this is a definition */
 140         outchar('d');
 141
 142         /* index of file where symbol was defined and line number of def. */
 143         outint(0);
 144         outchar('.');
 145         outint(0);
 146
 147         /* flags */
 148         if (sym->s_va) {
 149                 outchar('v');           /* varargs */
 150                 outint(sym->s_nva);
 151         }
 152         if (sym->s_scfl) {
 153                 outchar('S');           /* scanflike */
 154                 outint(sym->s_nscfl);
 155         }
 156         if (sym->s_prfl) {
 157                 outchar('P');           /* printflike */
 158                 outint(sym->s_nprfl);
 159         }
 160         /* definition or tentative definition */
 161         outchar(sym->s_def == DEF ? 'd' : 't');
 162         if (TP(sym->s_type)->t_tspec == FUNC) {
 163                 if (sym->s_rval)
 164                         outchar('r');   /* fkt. has return value */
 165                 if (sym->s_osdef)
 166                         outchar('o');   /* old style definition */
 167         }
 168         outchar('u');                   /* used (no warning if not used) */
 169
 170         /* name */
 171         outname(hte->h_name);
 172
 173         /* type */
 174         outtype(TP(sym->s_type));
 175 }
 176
 177 /*
 178  * Write the first definition of a name into the lint library.
 179  */
 180 static void
 181 dumpname(hte)
 182         hte_t   *hte;
 183 {
 184         sym_t   *sym, *def;
 185
 186         /* static and undefined symbols are not written */
 187         if (hte->h_static || !hte->h_def)
 188                 return;
 189
 190         /*
 191          * If there is a definition, write it. Otherwise write a tentative
 192          * definition. This is neccessary because more than one tentative
 193          * definition is allowed (except with sflag).
 194          */
 195         def = NULL;
 196         for (sym = hte->h_syms; sym != NULL; sym = sym->s_nxt) {
 197                 if (sym->s_def == DEF) {
 198                         def = sym;
 199                         break;
 200                 }
 201                 if (sym->s_def == TDEF && def == NULL)
 202                         def = sym;
 203         }
 204         if (def == NULL)
 205                 errx(1, "internal error: dumpname() %s", hte->h_name);
 206
 207         outdef(hte, def);
 208 }
 209
 210 /*
 211  * Write a new lint library.
 212  */
 213 void
 214 outlib(name)
 215         const   char *name;
 216 {
 217         /* Open of output file and initialisation of the output buffer */
 218         outopen(name);
 219
 220         /* write name of lint library */
 221         outsrc(name);
 222
 223         /* name of lint lib has index 0 */
 224         outclr();
 225         outint(0);
 226         outchar('s');
 227         outstrg(name);
 228
 229         /* write all definitions with external linkage */
 230         forall(dumpname);
 231
 232         /* close the output */
 233         outclose();
 234 }