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  * $DragonFly: src/usr.bin/xlint/lint2/emit2.c,v 1.5 2004/07/07 12:13:26 asmodai Exp $
  35  */
  36
  37 #include <err.h>
  38
  39 #include "lint2.h"
  40
  41 static  void    outtype(type_t *);
  42 static  void    outdef(hte_t *, sym_t *);
  43 static  void    dumpname(hte_t *);
  44
  45 /*
  46  * Write type into the output buffer.
  47  */
  48 static void
  49 outtype(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_t *hte, sym_t *sym)
 130 {
 131         /* reset output buffer */
 132         outclr();
 133
 134         /* line number in C source file */
 135         outint(0);
 136
 137         /* this is a definition */
 138         outchar('d');
 139
 140         /* index of file where symbol was defined and line number of def. */
 141         outint(0);
 142         outchar('.');
 143         outint(0);
 144
 145         /* flags */
 146         if (sym->s_va) {
 147                 outchar('v');           /* varargs */
 148                 outint(sym->s_nva);
 149         }
 150         if (sym->s_scfl) {
 151                 outchar('S');           /* scanflike */
 152                 outint(sym->s_nscfl);
 153         }
 154         if (sym->s_prfl) {
 155                 outchar('P');           /* printflike */
 156                 outint(sym->s_nprfl);
 157         }
 158         /* definition or tentative definition */
 159         outchar(sym->s_def == DEF ? 'd' : 't');
 160         if (TP(sym->s_type)->t_tspec == FUNC) {
 161                 if (sym->s_rval)
 162                         outchar('r');   /* fkt. has return value */
 163                 if (sym->s_osdef)
 164                         outchar('o');   /* old style definition */
 165         }
 166         outchar('u');                   /* used (no warning if not used) */
 167
 168         /* name */
 169         outname(hte->h_name);
 170
 171         /* type */
 172         outtype(TP(sym->s_type));
 173 }
 174
 175 /*
 176  * Write the first definition of a name into the lint library.
 177  */
 178 static void
 179 dumpname(hte_t *hte)
 180 {
 181         sym_t   *sym, *def;
 182
 183         /* static and undefined symbols are not written */
 184         if (hte->h_static || !hte->h_def)
 185                 return;
 186
 187         /*
 188          * If there is a definition, write it. Otherwise write a tentative
 189          * definition. This is neccessary because more than one tentative
 190          * definition is allowed (except with sflag).
 191          */
 192         def = NULL;
 193         for (sym = hte->h_syms; sym != NULL; sym = sym->s_nxt) {
 194                 if (sym->s_def == DEF) {
 195                         def = sym;
 196                         break;
 197                 }
 198                 if (sym->s_def == TDEF && def == NULL)
 199                         def = sym;
 200         }
 201         if (def == NULL)
 202                 errx(1, "internal error: dumpname() %s", hte->h_name);
 203
 204         outdef(hte, def);
 205 }
 206
 207 /*
 208  * Write a new lint library.
 209  */
 210 void
 211 outlib(const char *name)
 212 {
 213         /* Open of output file and initialisation of the output buffer */
 214         outopen(name);
 215
 216         /* write name of lint library */
 217         outsrc(name);
 218
 219         /* name of lint lib has index 0 */
 220         outclr();
 221         outint(0);
 222         outchar('s');
 223         outstrg(name);
 224
 225         /* write all definitions with external linkage */
 226         forall(dumpname);
 227
 228         /* close the output */
 229         outclose();
 230 }