Home | History | Annotate | Line # | Download | only in gen
fmtcheck.c revision 1.13
      1  1.13       rin /*	$NetBSD: fmtcheck.c,v 1.13 2017/12/06 12:30:27 rin Exp $	*/
      2   1.1    briggs 
      3   1.1    briggs /*-
      4   1.1    briggs  * Copyright (c) 2000 The NetBSD Foundation, Inc.
      5   1.1    briggs  * All rights reserved.
      6   1.1    briggs  *
      7   1.1    briggs  * This code was contributed to The NetBSD Foundation by Allen Briggs.
      8   1.1    briggs  *
      9   1.1    briggs  * Redistribution and use in source and binary forms, with or without
     10   1.1    briggs  * modification, are permitted provided that the following conditions
     11   1.1    briggs  * are met:
     12   1.1    briggs  * 1. Redistributions of source code must retain the above copyright
     13   1.1    briggs  *    notice, this list of conditions and the following disclaimer.
     14   1.1    briggs  * 2. Redistributions in binary form must reproduce the above copyright
     15   1.1    briggs  *    notice, this list of conditions and the following disclaimer in the
     16   1.1    briggs  *    documentation and/or other materials provided with the distribution.
     17   1.1    briggs  *
     18   1.1    briggs  * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
     19   1.1    briggs  * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
     20   1.1    briggs  * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
     21   1.1    briggs  * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
     22   1.1    briggs  * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
     23   1.1    briggs  * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
     24   1.1    briggs  * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
     25   1.1    briggs  * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
     26   1.1    briggs  * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
     27   1.1    briggs  * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
     28   1.1    briggs  * POSSIBILITY OF SUCH DAMAGE.
     29   1.1    briggs  */
     30   1.1    briggs 
     31   1.1    briggs #include <sys/cdefs.h>
     32   1.1    briggs #if defined(LIBC_SCCS) && !defined(lint)
     33  1.13       rin __RCSID("$NetBSD: fmtcheck.c,v 1.13 2017/12/06 12:30:27 rin Exp $");
     34   1.1    briggs #endif
     35   1.1    briggs 
     36   1.1    briggs #include "namespace.h"
     37   1.1    briggs 
     38   1.3      matt #include <stdio.h>
     39   1.1    briggs #include <string.h>
     40   1.1    briggs #include <ctype.h>
     41   1.1    briggs 
     42   1.1    briggs #ifdef __weak_alias
     43   1.1    briggs __weak_alias(fmtcheck,__fmtcheck)
     44   1.1    briggs #endif
     45   1.1    briggs 
     46   1.1    briggs enum __e_fmtcheck_types {
     47   1.1    briggs 	FMTCHECK_START,
     48   1.1    briggs 	FMTCHECK_SHORT,
     49   1.1    briggs 	FMTCHECK_INT,
     50   1.1    briggs 	FMTCHECK_LONG,
     51   1.1    briggs 	FMTCHECK_QUAD,
     52  1.12       rin 	FMTCHECK_PTRDIFFT,
     53  1.12       rin 	FMTCHECK_SIZET,
     54   1.9       apb 	FMTCHECK_POINTER,
     55   1.1    briggs 	FMTCHECK_SHORTPOINTER,
     56   1.1    briggs 	FMTCHECK_INTPOINTER,
     57   1.1    briggs 	FMTCHECK_LONGPOINTER,
     58   1.1    briggs 	FMTCHECK_QUADPOINTER,
     59  1.12       rin 	FMTCHECK_PTRDIFFTPOINTER,
     60  1.12       rin 	FMTCHECK_SIZETPOINTER,
     61   1.1    briggs 	FMTCHECK_DOUBLE,
     62   1.1    briggs 	FMTCHECK_LONGDOUBLE,
     63   1.1    briggs 	FMTCHECK_STRING,
     64   1.1    briggs 	FMTCHECK_WIDTH,
     65   1.1    briggs 	FMTCHECK_PRECISION,
     66   1.1    briggs 	FMTCHECK_DONE,
     67   1.1    briggs 	FMTCHECK_UNKNOWN
     68   1.1    briggs };
     69   1.1    briggs typedef enum __e_fmtcheck_types EFT;
     70   1.1    briggs 
     71   1.1    briggs #define RETURN(pf,f,r) do { \
     72   1.1    briggs 			*(pf) = (f); \
     73   1.1    briggs 			return r; \
     74   1.1    briggs 		       } /*NOTREACHED*/ /*CONSTCOND*/ while (0)
     75   1.1    briggs 
     76   1.1    briggs static EFT
     77   1.1    briggs get_next_format_from_precision(const char **pf)
     78   1.1    briggs {
     79  1.12       rin 	int		sh, lg, quad, longdouble, ptrdifft, sizet;
     80   1.1    briggs 	const char	*f;
     81   1.1    briggs 
     82  1.12       rin 	sh = lg = quad = longdouble = ptrdifft = sizet = 0;
     83   1.1    briggs 
     84   1.1    briggs 	f = *pf;
     85   1.1    briggs 	switch (*f) {
     86   1.1    briggs 	case 'h':
     87   1.1    briggs 		f++;
     88   1.1    briggs 		sh = 1;
     89   1.1    briggs 		break;
     90   1.1    briggs 	case 'l':
     91   1.1    briggs 		f++;
     92   1.1    briggs 		if (!*f) RETURN(pf,f,FMTCHECK_UNKNOWN);
     93   1.1    briggs 		if (*f == 'l') {
     94   1.1    briggs 			f++;
     95   1.1    briggs 			quad = 1;
     96   1.1    briggs 		} else {
     97   1.1    briggs 			lg = 1;
     98   1.1    briggs 		}
     99   1.1    briggs 		break;
    100   1.1    briggs 	case 'q':
    101   1.1    briggs 		f++;
    102   1.1    briggs 		quad = 1;
    103   1.1    briggs 		break;
    104  1.12       rin 	case 't':
    105  1.12       rin 		f++;
    106  1.12       rin 		ptrdifft = 1;
    107  1.12       rin 		break;
    108  1.12       rin 	case 'z':
    109  1.12       rin 		f++;
    110  1.12       rin 		sizet = 1;
    111  1.12       rin 		break;
    112   1.1    briggs 	case 'L':
    113   1.1    briggs 		f++;
    114   1.1    briggs 		longdouble = 1;
    115   1.1    briggs 		break;
    116  1.10  christos #ifdef WIN32
    117  1.10  christos 	case 'I':
    118  1.10  christos 		f++;
    119  1.10  christos 		if (!*f) RETURN(pf,f,FMTCHECK_UNKNOWN);
    120  1.10  christos 		if (*f == '3' && f[1] == '2') {
    121  1.10  christos 			f += 2;
    122  1.10  christos 		} else if (*f == '6' && f[1] == '4') {
    123  1.10  christos 			f += 2;
    124  1.10  christos 			quad = 1;
    125  1.10  christos 		}
    126  1.10  christos #ifdef _WIN64
    127  1.10  christos 		else {
    128  1.10  christos 			quad = 1;
    129  1.10  christos 		}
    130  1.10  christos #endif
    131  1.10  christos 		break;
    132  1.10  christos #endif
    133   1.1    briggs 	default:
    134   1.1    briggs 		break;
    135   1.1    briggs 	}
    136   1.1    briggs 	if (!*f) RETURN(pf,f,FMTCHECK_UNKNOWN);
    137   1.1    briggs 	if (strchr("diouxX", *f)) {
    138   1.1    briggs 		if (longdouble)
    139   1.1    briggs 			RETURN(pf,f,FMTCHECK_UNKNOWN);
    140   1.1    briggs 		if (lg)
    141   1.1    briggs 			RETURN(pf,f,FMTCHECK_LONG);
    142   1.1    briggs 		if (quad)
    143   1.1    briggs 			RETURN(pf,f,FMTCHECK_QUAD);
    144  1.12       rin 		if (ptrdifft)
    145  1.12       rin 			RETURN(pf,f,FMTCHECK_PTRDIFFT);
    146  1.12       rin 		if (sizet)
    147  1.12       rin 			RETURN(pf,f,FMTCHECK_SIZET);
    148   1.1    briggs 		RETURN(pf,f,FMTCHECK_INT);
    149   1.1    briggs 	}
    150   1.1    briggs 	if (*f == 'n') {
    151   1.1    briggs 		if (longdouble)
    152   1.1    briggs 			RETURN(pf,f,FMTCHECK_UNKNOWN);
    153   1.1    briggs 		if (sh)
    154   1.1    briggs 			RETURN(pf,f,FMTCHECK_SHORTPOINTER);
    155   1.1    briggs 		if (lg)
    156   1.1    briggs 			RETURN(pf,f,FMTCHECK_LONGPOINTER);
    157   1.1    briggs 		if (quad)
    158   1.1    briggs 			RETURN(pf,f,FMTCHECK_QUADPOINTER);
    159  1.12       rin 		if (ptrdifft)
    160  1.12       rin 			RETURN(pf,f,FMTCHECK_PTRDIFFTPOINTER);
    161  1.12       rin 		if (sizet)
    162  1.12       rin 			RETURN(pf,f,FMTCHECK_SIZETPOINTER);
    163   1.1    briggs 		RETURN(pf,f,FMTCHECK_INTPOINTER);
    164   1.1    briggs 	}
    165   1.1    briggs 	if (strchr("DOU", *f)) {
    166  1.12       rin 		if (sh + lg + quad + longdouble + ptrdifft + sizet)
    167   1.1    briggs 			RETURN(pf,f,FMTCHECK_UNKNOWN);
    168   1.1    briggs 		RETURN(pf,f,FMTCHECK_LONG);
    169   1.1    briggs 	}
    170  1.12       rin 	if (strchr("aAeEfFgG", *f)) {
    171   1.1    briggs 		if (longdouble)
    172   1.1    briggs 			RETURN(pf,f,FMTCHECK_LONGDOUBLE);
    173  1.12       rin 		if (sh + lg + quad + ptrdifft + sizet)
    174   1.1    briggs 			RETURN(pf,f,FMTCHECK_UNKNOWN);
    175   1.1    briggs 		RETURN(pf,f,FMTCHECK_DOUBLE);
    176   1.1    briggs 	}
    177   1.1    briggs 	if (*f == 'c') {
    178  1.12       rin 		if (sh + lg + quad + longdouble + ptrdifft + sizet)
    179   1.1    briggs 			RETURN(pf,f,FMTCHECK_UNKNOWN);
    180   1.1    briggs 		RETURN(pf,f,FMTCHECK_INT);
    181   1.1    briggs 	}
    182   1.1    briggs 	if (*f == 's') {
    183  1.12       rin 		if (sh + lg + quad + longdouble + ptrdifft + sizet)
    184   1.1    briggs 			RETURN(pf,f,FMTCHECK_UNKNOWN);
    185   1.1    briggs 		RETURN(pf,f,FMTCHECK_STRING);
    186   1.1    briggs 	}
    187   1.1    briggs 	if (*f == 'p') {
    188  1.12       rin 		if (sh + lg + quad + longdouble + ptrdifft + sizet)
    189   1.1    briggs 			RETURN(pf,f,FMTCHECK_UNKNOWN);
    190   1.9       apb 		RETURN(pf,f,FMTCHECK_POINTER);
    191   1.1    briggs 	}
    192   1.1    briggs 	RETURN(pf,f,FMTCHECK_UNKNOWN);
    193   1.1    briggs 	/*NOTREACHED*/
    194   1.1    briggs }
    195   1.1    briggs 
    196   1.1    briggs static EFT
    197   1.1    briggs get_next_format_from_width(const char **pf)
    198   1.1    briggs {
    199   1.1    briggs 	const char	*f;
    200   1.1    briggs 
    201   1.1    briggs 	f = *pf;
    202   1.1    briggs 	if (*f == '.') {
    203   1.1    briggs 		f++;
    204   1.1    briggs 		if (*f == '*') {
    205   1.1    briggs 			RETURN(pf,f,FMTCHECK_PRECISION);
    206   1.1    briggs 		}
    207   1.1    briggs 		/* eat any precision (empty is allowed) */
    208   1.6       dsl 		while (isdigit((unsigned char)*f)) f++;
    209   1.1    briggs 		if (!*f) RETURN(pf,f,FMTCHECK_UNKNOWN);
    210   1.1    briggs 	}
    211   1.1    briggs 	RETURN(pf,f,get_next_format_from_precision(pf));
    212   1.1    briggs 	/*NOTREACHED*/
    213   1.1    briggs }
    214   1.1    briggs 
    215   1.1    briggs static EFT
    216   1.1    briggs get_next_format(const char **pf, EFT eft)
    217   1.1    briggs {
    218   1.1    briggs 	int		infmt;
    219   1.1    briggs 	const char	*f;
    220   1.1    briggs 
    221   1.1    briggs 	if (eft == FMTCHECK_WIDTH) {
    222   1.1    briggs 		(*pf)++;
    223   1.1    briggs 		return get_next_format_from_width(pf);
    224   1.1    briggs 	} else if (eft == FMTCHECK_PRECISION) {
    225   1.1    briggs 		(*pf)++;
    226   1.1    briggs 		return get_next_format_from_precision(pf);
    227   1.1    briggs 	}
    228   1.1    briggs 
    229   1.1    briggs 	f = *pf;
    230   1.1    briggs 	infmt = 0;
    231   1.1    briggs 	while (!infmt) {
    232   1.1    briggs 		f = strchr(f, '%');
    233   1.1    briggs 		if (f == NULL)
    234   1.1    briggs 			RETURN(pf,f,FMTCHECK_DONE);
    235   1.1    briggs 		f++;
    236   1.1    briggs 		if (!*f)
    237   1.1    briggs 			RETURN(pf,f,FMTCHECK_UNKNOWN);
    238   1.1    briggs 		if (*f != '%')
    239   1.1    briggs 			infmt = 1;
    240   1.1    briggs 		else
    241   1.1    briggs 			f++;
    242   1.1    briggs 	}
    243   1.1    briggs 
    244   1.1    briggs 	/* Eat any of the flags */
    245  1.13       rin 	while (*f && (strchr("#'0- +", *f)))
    246   1.1    briggs 		f++;
    247   1.1    briggs 
    248   1.1    briggs 	if (*f == '*') {
    249   1.1    briggs 		RETURN(pf,f,FMTCHECK_WIDTH);
    250   1.1    briggs 	}
    251   1.1    briggs 	/* eat any width */
    252   1.6       dsl 	while (isdigit((unsigned char)*f)) f++;
    253   1.1    briggs 	if (!*f) {
    254   1.1    briggs 		RETURN(pf,f,FMTCHECK_UNKNOWN);
    255   1.1    briggs 	}
    256   1.1    briggs 
    257   1.1    briggs 	RETURN(pf,f,get_next_format_from_width(pf));
    258   1.1    briggs 	/*NOTREACHED*/
    259   1.1    briggs }
    260   1.1    briggs 
    261   1.7     perry const char *
    262   1.2    briggs fmtcheck(const char *f1, const char *f2)
    263   1.1    briggs {
    264   1.1    briggs 	const char	*f1p, *f2p;
    265   1.1    briggs 	EFT		f1t, f2t;
    266   1.1    briggs 
    267   1.1    briggs 	if (!f1) return f2;
    268   1.1    briggs 
    269   1.1    briggs 	f1p = f1;
    270   1.1    briggs 	f1t = FMTCHECK_START;
    271   1.1    briggs 	f2p = f2;
    272   1.1    briggs 	f2t = FMTCHECK_START;
    273   1.1    briggs 	while ((f1t = get_next_format(&f1p, f1t)) != FMTCHECK_DONE) {
    274   1.1    briggs 		if (f1t == FMTCHECK_UNKNOWN)
    275   1.1    briggs 			return f2;
    276   1.1    briggs 		f2t = get_next_format(&f2p, f2t);
    277   1.1    briggs 		if (f1t != f2t)
    278   1.1    briggs 			return f2;
    279   1.1    briggs 	}
    280  1.11       rin 	if (get_next_format(&f2p, f2t) != FMTCHECK_DONE)
    281  1.11       rin 		return f2;
    282  1.11       rin 	else
    283  1.11       rin 		return f1;
    284   1.1    briggs }
    285