Home | History | Annotate | Line # | Download | only in director
testlang_parse.y revision 1.14
      1   1.1     blymn %{
      2  1.14  christos /*	$NetBSD: testlang_parse.y,v 1.14 2015/01/04 20:19:46 christos Exp $	*/
      3   1.1     blymn 
      4   1.1     blymn /*-
      5   1.1     blymn  * Copyright 2009 Brett Lymn <blymn (at) NetBSD.org>
      6   1.1     blymn  *
      7   1.1     blymn  * All rights reserved.
      8   1.1     blymn  *
      9   1.1     blymn  * This code has been donated to The NetBSD Foundation by the Author.
     10   1.1     blymn  *
     11   1.1     blymn  * Redistribution and use in source and binary forms, with or without
     12   1.1     blymn  * modification, are permitted provided that the following conditions
     13   1.1     blymn  * are met:
     14   1.1     blymn  * 1. Redistributions of source code must retain the above copyright
     15   1.1     blymn  *    notice, this list of conditions and the following disclaimer.
     16   1.1     blymn  * 2. The name of the author may not be used to endorse or promote products
     17   1.1     blymn  *    derived from this software withough specific prior written permission
     18   1.1     blymn  *
     19   1.1     blymn  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
     20   1.1     blymn  * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
     21   1.1     blymn  * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
     22   1.1     blymn  * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
     23   1.1     blymn  * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
     24   1.1     blymn  * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
     25   1.1     blymn  * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
     26   1.1     blymn  * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
     27   1.1     blymn  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
     28   1.1     blymn  * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
     29   1.1     blymn  *
     30   1.1     blymn  *
     31   1.1     blymn  */
     32   1.1     blymn #include <assert.h>
     33  1.11     blymn #include <curses.h>
     34   1.1     blymn #include <errno.h>
     35   1.1     blymn #include <fcntl.h>
     36   1.3  christos #include <err.h>
     37   1.3  christos #include <unistd.h>
     38   1.1     blymn #include <poll.h>
     39   1.1     blymn #include <stdbool.h>
     40   1.1     blymn #include <stdio.h>
     41   1.1     blymn #include <string.h>
     42  1.14  christos #include <stdlib.h>
     43  1.14  christos #include <limits.h>
     44   1.1     blymn #include <time.h>
     45   1.6  christos #include <vis.h>
     46   1.9  christos #include <stdint.h>
     47   1.1     blymn #include "returns.h"
     48   1.1     blymn 
     49   1.1     blymn #define YYDEBUG 1
     50   1.1     blymn 
     51   1.1     blymn extern int verbose;
     52   1.1     blymn extern int cmdpipe[2];
     53   1.1     blymn extern int slvpipe[2];
     54   1.1     blymn extern int master;
     55   1.1     blymn extern struct pollfd readfd;
     56   1.1     blymn extern char *check_path;
     57   1.1     blymn extern char *cur_file;		/* from director.c */
     58   1.1     blymn 
     59   1.3  christos int yylex(void);
     60   1.3  christos 
     61   1.1     blymn size_t line;
     62   1.1     blymn 
     63   1.1     blymn static int input_delay;
     64   1.1     blymn 
     65   1.1     blymn /* time delay between inputs chars - default to 0.1ms minimum to prevent
     66   1.1     blymn  * problems with input tests
     67   1.1     blymn  */
     68   1.1     blymn #define DELAY_MIN 0.1
     69  1.10     blymn 
     70  1.10     blymn /* time delay after a function call - allows the slave time to
     71  1.10     blymn  * run the function and output data before we do other actions.
     72  1.10     blymn  * Set this to 50ms.
     73  1.10     blymn  */
     74  1.10     blymn #define POST_CALL_DELAY 50
     75  1.10     blymn 
     76   1.1     blymn static struct timespec delay_spec = {0, 1000 * DELAY_MIN};
     77  1.10     blymn static struct timespec delay_post_call = {0, 1000 * POST_CALL_DELAY};
     78  1.10     blymn 
     79   1.1     blymn static char *input_str;	/* string to feed in as input */
     80   1.1     blymn static bool no_input;	/* don't need more input */
     81   1.1     blymn 
     82   1.1     blymn #define READ_PIPE  0
     83   1.1     blymn #define WRITE_PIPE 1
     84   1.1     blymn 
     85   1.4  christos const char *returns_enum_names[] = {
     86   1.1     blymn 	"unused", "numeric", "string", "byte", "ERR", "OK", "NULL", "not NULL",
     87   1.1     blymn 	"variable", "reference", "returns count", "slave error"
     88   1.1     blymn };
     89   1.1     blymn 
     90   1.1     blymn typedef enum {
     91   1.1     blymn 	arg_static,
     92   1.1     blymn 	arg_byte,
     93   1.2     blymn 	arg_var,
     94   1.2     blymn 	arg_null
     95   1.1     blymn } args_state_t;
     96   1.1     blymn 
     97   1.4  christos static const char *args_enum_names[] = {
     98   1.2     blymn 	"static", "byte", "var", "NULL"
     99   1.1     blymn };
    100   1.1     blymn 
    101   1.1     blymn typedef struct {
    102   1.1     blymn 	args_state_t	arg_type;
    103   1.1     blymn 	size_t		arg_len;
    104   1.1     blymn 	char		*arg_string;
    105   1.1     blymn 	int		var_index;
    106   1.1     blymn } args_t;
    107   1.1     blymn 
    108   1.1     blymn typedef struct {
    109   1.1     blymn 	char		*function;
    110   1.1     blymn 	int		nrets;		/* number of returns */
    111   1.1     blymn 	returns_t	*returns;	/* array of expected returns */
    112   1.1     blymn 	int		nargs;		/* number of arguments */
    113   1.1     blymn 	args_t		*args;		/* arguments for the call */
    114   1.1     blymn } cmd_line_t;
    115   1.1     blymn 
    116   1.1     blymn static cmd_line_t	command;
    117   1.1     blymn 
    118   1.1     blymn typedef struct {
    119   1.1     blymn 	char *name;
    120   1.1     blymn 	size_t len;
    121   1.1     blymn 	returns_enum_t type;
    122   1.1     blymn 	void *value;
    123   1.1     blymn } var_t;
    124   1.1     blymn 
    125   1.1     blymn static size_t nvars; 		/* Number of declared variables */
    126   1.1     blymn static var_t *vars; 		/* Variables defined during the test. */
    127   1.1     blymn 
    128   1.1     blymn static int	check_function_table(char *, const char *[], int);
    129   1.4  christos static int	find_var_index(const char *);
    130   1.1     blymn static void 	assign_arg(args_state_t, void *);
    131   1.1     blymn static int	assign_var(char *);
    132   1.1     blymn void		init_parse_variables(int);
    133   1.1     blymn static void	validate(int, void *);
    134   1.4  christos static void	validate_return(const char *, const char *, int);
    135   1.4  christos static void	validate_variable(int, returns_enum_t, const void *, int, int);
    136   1.1     blymn static void	validate_byte(returns_t *, returns_t *, int);
    137   1.1     blymn static void	write_cmd_pipe(char *);
    138   1.1     blymn static void	write_cmd_pipe_args(args_state_t, void *);
    139   1.1     blymn static void	read_cmd_pipe(returns_t *);
    140   1.4  christos static void	write_func_and_args(void);
    141   1.1     blymn static void	compare_streams(char *, bool);
    142   1.4  christos static void	do_function_call(size_t);
    143   1.1     blymn static void	save_slave_output(bool);
    144   1.1     blymn static void	validate_type(returns_enum_t, returns_t *, int);
    145   1.1     blymn static void	set_var(returns_enum_t, char *, void *);
    146   1.1     blymn static void	validate_reference(int, void *);
    147   1.1     blymn static char	*numeric_or(char *, char *);
    148   1.4  christos static char	*get_numeric_var(const char *);
    149  1.10     blymn static void	perform_delay(struct timespec *);
    150   1.1     blymn 
    151   1.1     blymn static const char *input_functions[] = {
    152  1.11     blymn 	"getch", "getnstr", "getstr", "mvgetnstr", "mvgetstr", "mvgetnstr",
    153  1.13     blymn 	"mvgetstr", "mvscanw", "mvwscanw", "scanw", "wgetch", "wgetnstr",
    154  1.13     blymn 	"wgetstr"
    155   1.1     blymn };
    156   1.1     blymn 
    157   1.1     blymn static const unsigned ninput_functions =
    158   1.1     blymn 	sizeof(input_functions) / sizeof(char *);
    159   1.1     blymn 
    160   1.1     blymn saved_data_t saved_output;
    161   1.1     blymn 
    162   1.1     blymn %}
    163   1.1     blymn 
    164   1.1     blymn %union {
    165   1.1     blymn 	char *string;
    166   1.1     blymn 	returns_t *retval;
    167   1.1     blymn }
    168   1.1     blymn 
    169   1.1     blymn %token <string> PATH
    170   1.1     blymn %token <string> STRING
    171   1.1     blymn %token <retval> BYTE
    172   1.1     blymn %token <string> VARNAME
    173   1.1     blymn %token <string> FILENAME
    174   1.1     blymn %token <string> VARIABLE
    175   1.1     blymn %token <string> REFERENCE
    176   1.1     blymn %token <string> NULL_RET
    177   1.1     blymn %token <string> NON_NULL
    178   1.1     blymn %token <string> ERR_RET
    179   1.1     blymn %token <string> OK_RET
    180   1.1     blymn %token <string> numeric
    181   1.1     blymn %token <string> DELAY
    182   1.1     blymn %token <string> INPUT
    183   1.1     blymn %token <string> COMPARE
    184   1.1     blymn %token <string> COMPAREND
    185   1.1     blymn %token <string> ASSIGN
    186   1.1     blymn %token EOL CALL CHECK NOINPUT OR LHB RHB
    187   1.1     blymn %token CALL2 CALL3 CALL4 DRAIN
    188   1.1     blymn 
    189   1.1     blymn %nonassoc OR
    190   1.1     blymn 
    191   1.1     blymn %%
    192   1.1     blymn 
    193   1.1     blymn statement	:	/* empty */
    194   1.1     blymn 		| assign statement
    195   1.1     blymn 		| call statement
    196   1.1     blymn 		| call2 statement
    197   1.1     blymn 		| call3 statement
    198   1.1     blymn 		| call4 statement
    199   1.1     blymn 		| check statement
    200   1.1     blymn 		| delay statement
    201   1.1     blymn 		| input statement
    202   1.1     blymn 		| noinput statement
    203   1.1     blymn 		| compare statement
    204   1.1     blymn 		| comparend statement
    205   1.1     blymn 		| eol statement
    206   1.1     blymn 		;
    207   1.1     blymn 
    208   1.1     blymn assign		: ASSIGN VARNAME numeric {set_var(ret_number, $2, $3);} eol
    209   1.1     blymn 		| ASSIGN VARNAME LHB expr RHB {set_var(ret_number, $2, $<string>4);} eol
    210   1.1     blymn 		| ASSIGN VARNAME STRING {set_var(ret_string, $2, $3);} eol
    211   1.1     blymn 		| ASSIGN VARNAME BYTE {set_var(ret_byte, $2, $3);} eol
    212   1.1     blymn 		;
    213   1.1     blymn 
    214   1.1     blymn call		: CALL result fn_name args eol {
    215   1.1     blymn 	do_function_call(1);
    216   1.1     blymn }
    217   1.1     blymn 		;
    218   1.1     blymn 
    219   1.1     blymn call2		: CALL2 result result fn_name args eol {
    220   1.1     blymn 	do_function_call(2);
    221   1.1     blymn }
    222   1.1     blymn 		;
    223   1.1     blymn 
    224   1.1     blymn call3		: CALL3 result result result fn_name args eol {
    225   1.1     blymn 	do_function_call(3);
    226   1.1     blymn }
    227   1.1     blymn 		;
    228   1.1     blymn 
    229   1.1     blymn call4		: CALL4 result result result result fn_name args eol {
    230   1.1     blymn 	do_function_call(4);
    231   1.1     blymn  }
    232   1.1     blymn 		;
    233   1.1     blymn 
    234   1.1     blymn check		: CHECK var returns eol {
    235   1.4  christos 	returns_t retvar;
    236   1.1     blymn 	var_t *vptr;
    237   1.1     blymn 	if (command.returns[0].return_index == -1)
    238   1.4  christos 		err(1, "Undefined variable in check statement, line %zu"
    239   1.1     blymn 		    " of file %s", line, cur_file);
    240   1.1     blymn 
    241   1.9  christos 	if (verbose) {
    242   1.1     blymn 		fprintf(stderr, "Checking contents of variable %s for %s\n",
    243   1.5  christos 		    vars[command.returns[0].return_index].name,
    244   1.5  christos 		    returns_enum_names[command.returns[1].return_type]);
    245   1.9  christos 	}
    246   1.1     blymn 
    247   1.8  christos 	if (((command.returns[1].return_type == ret_byte) &&
    248   1.1     blymn 	     (vars[command.returns[0].return_index].type != ret_byte)) ||
    249   1.8  christos 	    vars[command.returns[0].return_index].type != ret_string)
    250   1.1     blymn 		err(1, "Var type %s (%d) does not match return type %s (%d)",
    251   1.9  christos 		    returns_enum_names[
    252   1.9  christos 		    vars[command.returns[0].return_index].type],
    253   1.1     blymn 		    vars[command.returns[0].return_index].type,
    254   1.1     blymn 		    returns_enum_names[command.returns[1].return_type],
    255   1.1     blymn 		    command.returns[1].return_type);
    256   1.1     blymn 
    257   1.1     blymn 	switch (command.returns[1].return_type) {
    258   1.1     blymn 	case ret_err:
    259   1.1     blymn 		validate_variable(0, ret_string, "ERR",
    260   1.1     blymn 				  command.returns[0].return_index, 0);
    261   1.1     blymn 		break;
    262   1.1     blymn 
    263   1.1     blymn 	case ret_ok:
    264   1.1     blymn 		validate_variable(0, ret_string, "OK",
    265   1.1     blymn 				  command.returns[0].return_index, 0);
    266   1.1     blymn 		break;
    267   1.1     blymn 
    268   1.1     blymn 	case ret_null:
    269   1.1     blymn 		validate_variable(0, ret_string, "NULL",
    270   1.1     blymn 				  command.returns[0].return_index, 0);
    271   1.1     blymn 		break;
    272   1.1     blymn 
    273   1.1     blymn 	case ret_nonnull:
    274   1.1     blymn 		validate_variable(0, ret_string, "NULL",
    275   1.1     blymn 				  command.returns[0].return_index, 1);
    276   1.1     blymn 		break;
    277   1.1     blymn 
    278   1.1     blymn 	case ret_string:
    279   1.1     blymn 	case ret_number:
    280   1.9  christos 		if (verbose) {
    281   1.1     blymn 			fprintf(stderr, " %s == returned %s\n",
    282   1.5  christos 			    (const char *)command.returns[1].return_value,
    283   1.5  christos 			    (const char *)
    284   1.5  christos 			    vars[command.returns[0].return_index].value);
    285   1.9  christos 		}
    286   1.1     blymn 		validate_variable(0, ret_string,
    287   1.5  christos 		    command.returns[1].return_value,
    288   1.5  christos 		    command.returns[0].return_index, 0);
    289   1.1     blymn 		break;
    290   1.1     blymn 
    291   1.1     blymn 	case ret_byte:
    292   1.1     blymn 		vptr = &vars[command.returns[0].return_index];
    293   1.4  christos 		retvar.return_len = vptr->len;
    294   1.4  christos 		retvar.return_type = vptr->type;
    295   1.4  christos 		retvar.return_value = vptr->value;
    296   1.4  christos 		validate_byte(&retvar, &command.returns[1], 0);
    297   1.1     blymn 		break;
    298   1.1     blymn 
    299   1.1     blymn 	default:
    300   1.4  christos 		err(1, "Malformed check statement at line %zu "
    301   1.1     blymn 		    "of file %s", line, cur_file);
    302   1.1     blymn 		break;
    303   1.1     blymn 	}
    304   1.1     blymn 
    305   1.1     blymn 	init_parse_variables(0);
    306   1.1     blymn  }
    307   1.1     blymn 		;
    308   1.1     blymn 
    309   1.1     blymn delay		: DELAY numeric eol {
    310   1.1     blymn 	/* set the inter-character delay */
    311   1.1     blymn 	if (sscanf($2, "%d", &input_delay) == 0)
    312   1.1     blymn 		err(1, "delay specification %s could not be converted to "
    313   1.4  christos 		    "numeric at line %zu of file %s", $2, line, cur_file);
    314   1.9  christos 	if (verbose) {
    315   1.1     blymn 		fprintf(stderr, "Set input delay to %d ms\n", input_delay);
    316   1.9  christos 	}
    317   1.1     blymn 
    318   1.1     blymn 	if (input_delay < DELAY_MIN)
    319  1.10     blymn 		input_delay = DELAY_MIN;
    320   1.1     blymn 	/*
    321   1.1     blymn 	 * Fill in the timespec structure now ready for use later.
    322   1.1     blymn 	 * The delay is specified in milliseconds so convert to timespec
    323   1.1     blymn 	 * values
    324   1.1     blymn 	 */
    325   1.1     blymn 	delay_spec.tv_sec = input_delay / 1000;
    326   1.1     blymn 	delay_spec.tv_nsec = (input_delay - 1000 * delay_spec.tv_sec) * 1000;
    327   1.9  christos 	if (verbose) {
    328   1.9  christos 		fprintf(stderr, "set delay to %jd.%jd\n",
    329  1.10     blymn 		    (intmax_t)delay_spec.tv_sec,
    330   1.9  christos 		    (intmax_t)delay_spec.tv_nsec);
    331   1.9  christos 	}
    332   1.1     blymn 
    333   1.1     blymn 	init_parse_variables(0);
    334   1.1     blymn  }
    335   1.1     blymn 	;
    336   1.1     blymn 
    337   1.1     blymn input		: INPUT STRING eol {
    338   1.1     blymn 	if (input_str != NULL) {
    339   1.5  christos 		warnx("%s, %zu: Discarding unused input string",
    340   1.5  christos 		    cur_file, line);
    341   1.1     blymn 		free(input_str);
    342   1.1     blymn 	}
    343   1.1     blymn 
    344   1.1     blymn 	if ((input_str = malloc(strlen($2) + 1)) == NULL)
    345   1.1     blymn 		err(2, "Cannot allocate memory for input string");
    346   1.1     blymn 
    347   1.1     blymn 	strlcpy(input_str, $2, strlen($2) + 1);
    348   1.1     blymn }
    349   1.1     blymn 	;
    350   1.1     blymn 
    351   1.1     blymn 
    352   1.1     blymn noinput		: NOINPUT eol {
    353   1.1     blymn 	if (input_str != NULL) {
    354   1.5  christos 		warnx("%s, %zu: Discarding unused input string",
    355   1.5  christos 		    cur_file, line);
    356   1.1     blymn 		free(input_str);
    357   1.1     blymn 	}
    358   1.1     blymn 
    359   1.1     blymn 	no_input = true;
    360   1.1     blymn  }
    361   1.1     blymn 
    362   1.1     blymn compare		: COMPARE PATH eol
    363   1.1     blymn 		| COMPARE FILENAME eol
    364   1.1     blymn {
    365   1.1     blymn 	compare_streams($2, true);
    366   1.1     blymn }
    367   1.1     blymn 	;
    368   1.1     blymn 
    369   1.1     blymn 
    370   1.1     blymn comparend	: COMPAREND PATH eol
    371   1.1     blymn 		| COMPAREND FILENAME eol
    372   1.1     blymn {
    373   1.1     blymn 	compare_streams($2, false);
    374   1.1     blymn }
    375   1.1     blymn 	;
    376   1.1     blymn 
    377   1.1     blymn 
    378   1.1     blymn result		: returns
    379   1.1     blymn 		| var
    380   1.1     blymn 		| reference
    381   1.1     blymn 		;
    382   1.1     blymn 
    383   1.1     blymn returns		: numeric { assign_rets(ret_number, $1); }
    384   1.1     blymn 		| LHB expr RHB { assign_rets(ret_number, $<string>2); }
    385   1.1     blymn 		| STRING { assign_rets(ret_string, $1); }
    386   1.1     blymn 		| BYTE { assign_rets(ret_byte, (void *) $1); }
    387   1.1     blymn 		| ERR_RET { assign_rets(ret_err, NULL); }
    388   1.1     blymn 		| OK_RET { assign_rets(ret_ok, NULL); }
    389   1.1     blymn 		| NULL_RET { assign_rets(ret_null, NULL); }
    390   1.1     blymn 		| NON_NULL { assign_rets(ret_nonnull, NULL); }
    391   1.1     blymn 		;
    392   1.1     blymn 
    393   1.1     blymn var		: VARNAME {
    394   1.1     blymn 	assign_rets(ret_var, $1);
    395   1.1     blymn  }
    396   1.1     blymn 		;
    397   1.1     blymn 
    398   1.1     blymn reference	: VARIABLE {
    399   1.1     blymn 	assign_rets(ret_ref, $1);
    400   1.1     blymn  }
    401   1.1     blymn 
    402   1.1     blymn fn_name		: VARNAME {
    403   1.1     blymn 	if (command.function != NULL)
    404   1.1     blymn 		free(command.function);
    405   1.1     blymn 
    406   1.1     blymn 	command.function = malloc(strlen($1) + 1);
    407   1.1     blymn 	if (command.function == NULL)
    408   1.1     blymn 		err(1, "Could not allocate memory for function name");
    409   1.1     blymn 	strcpy(command.function, $1);
    410   1.1     blymn  }
    411   1.1     blymn 		;
    412   1.1     blymn 
    413   1.1     blymn expr		: numeric
    414   1.1     blymn 		| VARIABLE
    415   1.1     blymn 			{ $<string>$ = get_numeric_var($1); }
    416   1.1     blymn 		| expr OR expr
    417   1.1     blymn 			{ $<string>$ = numeric_or($<string>1, $<string>3); }
    418   1.1     blymn 		;
    419   1.1     blymn 
    420   1.1     blymn args		: /* empty */
    421   1.1     blymn 		| LHB expr RHB { assign_arg(arg_static, $<string>2); } args
    422   1.1     blymn 		| numeric { assign_arg(arg_static, $1); } args
    423   1.1     blymn 		| STRING { assign_arg(arg_static, $1); } args
    424   1.1     blymn 		| BYTE { assign_arg(arg_byte, $1); } args
    425   1.1     blymn 		| PATH { assign_arg(arg_static, $1); } args
    426   1.1     blymn 		| FILENAME { assign_arg(arg_static, $1); } args
    427   1.1     blymn 		| VARNAME { assign_arg(arg_static, $1); } args
    428   1.1     blymn 		| VARIABLE  { assign_arg(arg_var, $1); } args
    429   1.2     blymn 		| NULL_RET { assign_arg(arg_null, $1); } args
    430   1.1     blymn 		;
    431   1.1     blymn 
    432   1.1     blymn eol		: EOL
    433   1.1     blymn 		;
    434   1.1     blymn 
    435   1.1     blymn %%
    436   1.1     blymn 
    437   1.6  christos static void
    438   1.6  christos excess(const char *fname, size_t lineno, const char *func, const char *comment,
    439   1.6  christos     const void *data, size_t datalen)
    440   1.6  christos {
    441   1.6  christos 	size_t dstlen = datalen * 4 + 1;
    442   1.6  christos 	char *dst = malloc(dstlen);
    443   1.6  christos 
    444   1.6  christos 	if (dst == NULL)
    445   1.6  christos 		err(1, "malloc");
    446   1.6  christos 
    447   1.6  christos 	if (strnvisx(dst, dstlen, data, datalen, VIS_WHITE | VIS_OCTAL) == -1)
    448   1.6  christos 		err(1, "strnvisx");
    449   1.6  christos 
    450   1.6  christos 	warnx("%s, %zu: [%s] Excess %zu bytes%s [%s]",
    451   1.6  christos 	    fname, lineno, func, datalen, comment, dst);
    452   1.6  christos 	free(dst);
    453   1.6  christos }
    454   1.6  christos 
    455   1.1     blymn /*
    456   1.1     blymn  * Get the value of a variable, error if the variable has not been set or
    457   1.1     blymn  * is not a numeric type.
    458   1.1     blymn  */
    459   1.1     blymn static char *
    460   1.4  christos get_numeric_var(const char *var)
    461   1.1     blymn {
    462   1.4  christos 	int i;
    463   1.1     blymn 
    464   1.4  christos 	if ((i = find_var_index(var)) < 0)
    465   1.1     blymn 		err(1, "Variable %s is undefined", var);
    466   1.1     blymn 
    467   1.4  christos 	if (vars[i].type != ret_number)
    468   1.4  christos 		err(1, "Variable %s is not a numeric type", var);
    469   1.1     blymn 
    470   1.4  christos 	return vars[i].value;
    471   1.1     blymn }
    472   1.1     blymn 
    473   1.1     blymn /*
    474   1.1     blymn  * Perform a bitwise OR on two numbers and return the result.
    475   1.1     blymn  */
    476   1.1     blymn static char *
    477   1.1     blymn numeric_or(char *n1, char *n2)
    478   1.1     blymn {
    479   1.1     blymn 	unsigned long i1, i2, result;
    480   1.1     blymn 	char *ret;
    481   1.1     blymn 
    482   1.1     blymn 	i1 = strtoul(n1, NULL, 10);
    483   1.1     blymn 	i2 = strtoul(n2, NULL, 10);
    484   1.1     blymn 
    485   1.1     blymn 	result = i1 | i2;
    486   1.1     blymn 	asprintf(&ret, "%lu", result);
    487   1.1     blymn 
    488   1.9  christos 	if (verbose) {
    489   1.5  christos 		fprintf(stderr, "numeric or of 0x%lx (%s) and 0x%lx (%s)"
    490   1.5  christos 		    " results in 0x%lx (%s)\n",
    491   1.5  christos 		    i1, n1, i2, n2, result, ret);
    492   1.9  christos 	}
    493   1.1     blymn 
    494   1.1     blymn 	return ret;
    495   1.1     blymn }
    496   1.1     blymn 
    497   1.1     blymn /*
    498  1.10     blymn  * Sleep for the specified time, handle the sleep getting interrupted
    499  1.10     blymn  * by a signal.
    500  1.10     blymn  */
    501  1.10     blymn static void
    502  1.10     blymn perform_delay(struct timespec *ts)
    503  1.10     blymn {
    504  1.10     blymn 	struct timespec delay_copy, delay_remainder;
    505  1.10     blymn 
    506  1.10     blymn 	delay_copy = *ts;
    507  1.10     blymn 	while (nanosleep(&delay_copy, &delay_remainder) < 0) {
    508  1.10     blymn 		if (errno != EINTR)
    509  1.10     blymn 			err(2, "nanosleep returned error");
    510  1.10     blymn 		delay_copy = delay_remainder;
    511  1.10     blymn 	}
    512  1.10     blymn }
    513  1.10     blymn 
    514  1.10     blymn /*
    515   1.1     blymn  * Assign the value given to the named variable.
    516   1.1     blymn  */
    517   1.1     blymn static void
    518   1.1     blymn set_var(returns_enum_t type, char *name, void *value)
    519   1.1     blymn {
    520   1.4  christos 	int i;
    521   1.1     blymn 	char *number;
    522   1.1     blymn 	returns_t *ret;
    523   1.1     blymn 
    524   1.4  christos 	i = find_var_index(name);
    525   1.4  christos 	if (i < 0)
    526   1.4  christos 		i = assign_var(name);
    527   1.1     blymn 
    528   1.4  christos 	vars[i].type = type;
    529   1.1     blymn 	if ((type == ret_number) || (type == ret_string)) {
    530   1.1     blymn 		number = value;
    531   1.4  christos 		vars[i].len = strlen(number) + 1;
    532   1.4  christos 		vars[i].value = malloc(vars[i].len + 1);
    533   1.4  christos 		if (vars[i].value == NULL)
    534   1.1     blymn 			err(1, "Could not malloc memory for assign string");
    535   1.4  christos 		strcpy(vars[i].value, number);
    536   1.1     blymn 	} else {
    537   1.1     blymn 		/* can only be a byte value */
    538   1.1     blymn 		ret = value;
    539   1.4  christos 		vars[i].len = ret->return_len;
    540   1.4  christos 		vars[i].value = malloc(vars[i].len);
    541   1.4  christos 		if (vars[i].value == NULL)
    542   1.1     blymn 			err(1, "Could not malloc memory to assign byte string");
    543   1.4  christos 		memcpy(vars[i].value, ret->return_value, vars[i].len);
    544   1.1     blymn 	}
    545   1.1     blymn }
    546   1.1     blymn 
    547   1.1     blymn /*
    548   1.1     blymn  * Add a new variable to the vars array, the value will be assigned later,
    549   1.1     blymn  * when a test function call returns.
    550   1.1     blymn  */
    551   1.1     blymn static int
    552   1.1     blymn assign_var(char *varname)
    553   1.1     blymn {
    554   1.1     blymn 	var_t *temp;
    555   1.1     blymn 	char *name;
    556   1.1     blymn 
    557   1.1     blymn 	if ((name = malloc(strlen(varname) + 1)) == NULL)
    558   1.1     blymn 		err(1, "Alloc of varname failed");
    559   1.1     blymn 
    560   1.9  christos 	if ((temp = realloc(vars, sizeof(*temp) * (nvars + 1))) == NULL) {
    561   1.1     blymn 		free(name);
    562   1.1     blymn 		err(1, "Realloc of vars array failed");
    563   1.1     blymn 	}
    564   1.1     blymn 
    565   1.1     blymn 	strcpy(name, varname);
    566   1.1     blymn 	vars = temp;
    567   1.1     blymn 	vars[nvars].name = name;
    568   1.1     blymn 	vars[nvars].len = 0;
    569   1.1     blymn 	vars[nvars].value = NULL;
    570   1.1     blymn 	nvars++;
    571   1.1     blymn 
    572   1.1     blymn 	return (nvars - 1);
    573   1.1     blymn }
    574   1.1     blymn 
    575   1.1     blymn /*
    576   1.1     blymn  * Allocate and assign a new argument of the given type.
    577   1.1     blymn  */
    578   1.1     blymn static void
    579   1.1     blymn assign_arg(args_state_t arg_type, void *arg)
    580   1.1     blymn {
    581   1.1     blymn 	args_t *temp, cur;
    582   1.4  christos 	char *str = arg;
    583   1.1     blymn 	returns_t *ret;
    584   1.1     blymn 
    585   1.9  christos 	if (verbose) {
    586   1.9  christos 		fprintf(stderr, "function is >%s<, adding arg >%s< type %s\n",
    587   1.4  christos 		       command.function, str, args_enum_names[arg_type]);
    588   1.9  christos 	}
    589   1.1     blymn 
    590   1.1     blymn 	cur.arg_type = arg_type;
    591   1.2     blymn 	switch (arg_type) {
    592   1.2     blymn 	case arg_var:
    593   1.1     blymn 		cur.var_index = find_var_index(arg);
    594   1.1     blymn 		if (cur.var_index < 0)
    595   1.4  christos 			err(1, "Invalid variable %s at line %zu of file %s",
    596   1.4  christos 			    str, line, cur_file);
    597   1.1     blymn 		cur.arg_type = ret_string;
    598   1.2     blymn 		break;
    599   1.2     blymn 
    600   1.2     blymn 	case arg_byte:
    601   1.2     blymn 		ret = arg;
    602   1.2     blymn 		cur.arg_len = ret->return_len;
    603   1.2     blymn 		cur.arg_string = malloc(cur.arg_len);
    604   1.2     blymn 		if (cur.arg_string == NULL)
    605   1.2     blymn 			err(1, "Could not malloc memory for arg bytes");
    606   1.2     blymn 		memcpy(cur.arg_string, ret->return_value, cur.arg_len);
    607   1.2     blymn 		break;
    608   1.2     blymn 
    609   1.2     blymn 	case arg_null:
    610   1.2     blymn 		cur.arg_len = 0;
    611   1.2     blymn 		cur.arg_string = NULL;
    612   1.2     blymn 		break;
    613   1.2     blymn 
    614   1.2     blymn 	default:
    615   1.2     blymn 		cur.arg_len = strlen(str);
    616   1.2     blymn 		cur.arg_string = malloc(cur.arg_len + 1);
    617   1.2     blymn 		if (cur.arg_string == NULL)
    618   1.2     blymn 			err(1, "Could not malloc memory for arg string");
    619   1.2     blymn 		strcpy(cur.arg_string, arg);
    620   1.1     blymn 	}
    621   1.1     blymn 
    622   1.9  christos 	temp = realloc(command.args, sizeof(*temp) * (command.nargs + 1));
    623   1.1     blymn 	if (temp == NULL)
    624   1.1     blymn 		err(1, "Failed to reallocate args");
    625   1.1     blymn 	command.args = temp;
    626   1.1     blymn 	memcpy(&command.args[command.nargs], &cur, sizeof(args_t));
    627   1.1     blymn 	command.nargs++;
    628   1.1     blymn }
    629   1.1     blymn 
    630   1.1     blymn /*
    631   1.1     blymn  * Allocate and assign a new return.
    632   1.1     blymn  */
    633   1.1     blymn static void
    634   1.1     blymn assign_rets(returns_enum_t ret_type, void *ret)
    635   1.1     blymn {
    636   1.1     blymn 	returns_t *temp, cur;
    637   1.1     blymn 	char *ret_str;
    638   1.1     blymn 	returns_t *ret_ret;
    639   1.1     blymn 
    640   1.1     blymn 	cur.return_type = ret_type;
    641   1.1     blymn 	if (ret_type != ret_var) {
    642   1.1     blymn 		if ((ret_type == ret_number) || (ret_type == ret_string)) {
    643   1.1     blymn 			ret_str = ret;
    644   1.1     blymn 			cur.return_len = strlen(ret_str) + 1;
    645   1.1     blymn 			cur.return_value = malloc(cur.return_len + 1);
    646   1.1     blymn 			if (cur.return_value == NULL)
    647   1.1     blymn 				err(1,
    648   1.1     blymn 				    "Could not malloc memory for arg string");
    649   1.1     blymn 			strcpy(cur.return_value, ret_str);
    650   1.1     blymn 		} else if (ret_type == ret_byte) {
    651   1.1     blymn 			ret_ret = ret;
    652   1.1     blymn 			cur.return_len = ret_ret->return_len;
    653   1.1     blymn 			cur.return_value = malloc(cur.return_len);
    654   1.1     blymn 			if (cur.return_value == NULL)
    655   1.1     blymn 				err(1,
    656   1.1     blymn 				    "Could not malloc memory for byte string");
    657   1.1     blymn 			memcpy(cur.return_value, ret_ret->return_value,
    658   1.1     blymn 			       cur.return_len);
    659   1.1     blymn 		} else if (ret_type == ret_ref) {
    660   1.1     blymn 			if ((cur.return_index = find_var_index(ret)) < 0)
    661   1.1     blymn 				err(1, "Undefined variable reference");
    662   1.1     blymn 		}
    663   1.1     blymn 	} else {
    664   1.1     blymn 		cur.return_index = find_var_index(ret);
    665   1.1     blymn 		if (cur.return_index < 0)
    666   1.1     blymn 			cur.return_index = assign_var(ret);
    667   1.1     blymn 	}
    668   1.1     blymn 
    669   1.9  christos 	temp = realloc(command.returns, sizeof(*temp) * (command.nrets + 1));
    670   1.1     blymn 	if (temp == NULL)
    671   1.1     blymn 		err(1, "Failed to reallocate returns");
    672   1.1     blymn 	command.returns = temp;
    673   1.1     blymn 	memcpy(&command.returns[command.nrets], &cur, sizeof(returns_t));
    674   1.1     blymn 	command.nrets++;
    675   1.1     blymn }
    676   1.1     blymn 
    677   1.1     blymn /*
    678   1.4  christos  * Find the given variable name in the var array and return the i
    679   1.1     blymn  * return -1 if var is not found.
    680   1.1     blymn  */
    681   1.1     blymn static int
    682   1.4  christos find_var_index(const char *var_name)
    683   1.1     blymn {
    684   1.4  christos 	int result;
    685   1.4  christos 	size_t i;
    686   1.1     blymn 
    687   1.1     blymn 	result = -1;
    688   1.1     blymn 
    689   1.1     blymn 	for (i = 0; i < nvars; i++) {
    690   1.1     blymn 		if (strcmp(var_name, vars[i].name) == 0) {
    691   1.1     blymn 			result = i;
    692   1.1     blymn 			break;
    693   1.1     blymn 		}
    694   1.1     blymn 	}
    695   1.1     blymn 
    696   1.1     blymn 	return result;
    697   1.1     blymn }
    698   1.1     blymn 
    699   1.1     blymn /*
    700   1.1     blymn  * Check the given function name in the given table of names, return 1 if
    701   1.1     blymn  * there is a match.
    702   1.1     blymn  */
    703   1.1     blymn static int check_function_table(char *function, const char *table[],
    704   1.1     blymn 				int nfunctions)
    705   1.1     blymn {
    706   1.1     blymn 	int i;
    707   1.1     blymn 
    708   1.1     blymn 	for (i = 0; i < nfunctions; i++) {
    709   1.1     blymn 		if ((strlen(function) == strlen(table[i])) &&
    710   1.1     blymn 		    (strcmp(function, table[i]) == 0))
    711   1.1     blymn 			return 1;
    712   1.1     blymn 	}
    713   1.1     blymn 
    714   1.1     blymn 	return 0;
    715   1.1     blymn }
    716   1.1     blymn 
    717   1.1     blymn /*
    718   1.1     blymn  * Compare the output from the slave against the given file and report
    719   1.1     blymn  * any differences.
    720   1.1     blymn  */
    721   1.1     blymn static void
    722   1.1     blymn compare_streams(char *filename, bool discard)
    723   1.1     blymn {
    724   1.5  christos 	char check_file[PATH_MAX], drain[100], ref, data;
    725   1.1     blymn 	struct pollfd fds[2];
    726   1.5  christos 	int nfd, check_fd;
    727   1.5  christos 	ssize_t result;
    728   1.9  christos 	size_t offs;
    729   1.1     blymn 
    730   1.1     blymn 	/*
    731   1.1     blymn 	 * Don't prepend check path iff check file has an absolute
    732   1.1     blymn 	 * path.
    733   1.1     blymn 	 */
    734   1.1     blymn 	if (filename[0] != '/') {
    735   1.1     blymn 		if (strlcpy(check_file, check_path, sizeof(check_file))
    736   1.1     blymn 		    >= sizeof(check_file))
    737   1.1     blymn 			err(2, "CHECK_PATH too long");
    738   1.1     blymn 
    739   1.1     blymn 		if (strlcat(check_file, "/", sizeof(check_file))
    740   1.1     blymn 		    >= sizeof(check_file))
    741   1.1     blymn 			err(2, "Could not append / to check file path");
    742   1.1     blymn 	} else {
    743   1.1     blymn 		check_file[0] = '\0';
    744   1.1     blymn 	}
    745   1.1     blymn 
    746   1.1     blymn 	if (strlcat(check_file, filename, sizeof(check_file))
    747   1.1     blymn 	    >= sizeof(check_file))
    748   1.1     blymn 		err(2, "Path to check file path overflowed");
    749   1.1     blymn 
    750   1.1     blymn 	if ((check_fd = open(check_file, O_RDONLY, 0)) < 0)
    751   1.4  christos 		err(2, "failed to open file %s line %zu of file %s",
    752   1.1     blymn 		    check_file, line, cur_file);
    753   1.1     blymn 
    754   1.1     blymn 	fds[0].fd = check_fd;
    755   1.1     blymn 	fds[0].events = POLLIN;
    756   1.1     blymn 	fds[1].fd = master;
    757   1.1     blymn 	fds[1].events = POLLIN;
    758   1.1     blymn 
    759   1.1     blymn 	nfd = 2;
    760   1.1     blymn 	/*
    761   1.1     blymn 	 * if we have saved output then only check for data in the
    762   1.1     blymn 	 * reference file since the slave data may already be drained.
    763   1.1     blymn 	 */
    764   1.1     blymn 	if (saved_output.count > 0)
    765   1.1     blymn 		nfd = 1;
    766   1.1     blymn 
    767   1.9  christos 	offs = 0;
    768   1.9  christos 	while (poll(fds, nfd, 500) == nfd) {
    769   1.9  christos 		if (fds[0].revents & POLLIN) {
    770   1.9  christos 			if ((result = read(check_fd, &ref, 1)) < 1) {
    771   1.9  christos 				if (result != 0) {
    772   1.9  christos 					err(2,
    773   1.9  christos 					    "Bad read on file %s", check_file);
    774   1.9  christos 				} else {
    775   1.9  christos 					break;
    776   1.9  christos 				}
    777   1.1     blymn 			}
    778   1.1     blymn 		}
    779   1.1     blymn 
    780   1.1     blymn 		if (saved_output.count > 0) {
    781   1.1     blymn 			data = saved_output.data[saved_output.readp];
    782   1.1     blymn 			saved_output.count--;
    783   1.1     blymn 			saved_output.readp++;
    784   1.1     blymn 			/* run out of saved data, switch to file */
    785   1.1     blymn 			if (saved_output.count == 0)
    786   1.1     blymn 				nfd = 2;
    787   1.1     blymn 		} else {
    788   1.9  christos 			if (fds[0].revents & POLLIN) {
    789   1.9  christos 				if (read(master, &data, 1) < 1)
    790   1.9  christos 					err(2, "Bad read on slave pty");
    791   1.9  christos 			} else
    792   1.9  christos 				continue;
    793   1.1     blymn 		}
    794   1.1     blymn 
    795   1.1     blymn 		if (verbose) {
    796   1.1     blymn 			fprintf(stderr, "Comparing reference byte 0x%x (%c)"
    797   1.9  christos 				" against slave byte 0x%x (%c)\n",
    798   1.9  christos 				ref, (ref >= ' ') ? ref : '-',
    799   1.9  christos 				data, (data >= ' ' )? data : '-');
    800   1.1     blymn 		}
    801   1.1     blymn 
    802   1.1     blymn 		if (ref != data) {
    803   1.9  christos 			errx(2, "%s, %zu: refresh data from slave does "
    804   1.9  christos 			    "not match expected from file %s offs %zu "
    805   1.9  christos 			    "[reference 0x%x (%c) != slave 0x%x (%c)]",
    806   1.9  christos 			    cur_file, line, check_file, offs,
    807   1.9  christos 			    ref, (ref >= ' ') ? ref : '-',
    808   1.9  christos 			    data, (data >= ' ') ? data : '-');
    809   1.1     blymn 		}
    810   1.1     blymn 
    811   1.9  christos 		offs++;
    812   1.1     blymn 	}
    813   1.1     blymn 
    814   1.1     blymn 
    815   1.1     blymn 	if (saved_output.count > 0)
    816   1.6  christos 		excess(cur_file, line, __func__, " from slave",
    817   1.6  christos 		    &saved_output.data[saved_output.readp], saved_output.count);
    818   1.1     blymn 
    819   1.1     blymn 	/* discard any excess saved output if required */
    820   1.1     blymn 	if (discard) {
    821   1.1     blymn 		saved_output.count = 0;
    822   1.1     blymn 		saved_output.readp = 0;
    823   1.1     blymn 	}
    824   1.1     blymn 
    825   1.1     blymn 	if ((result = poll(&fds[0], 2, 0)) != 0) {
    826   1.1     blymn 		if (result == -1)
    827   1.1     blymn 			err(2, "poll of file descriptors failed");
    828   1.1     blymn 
    829   1.5  christos 		if ((fds[1].revents & POLLIN) == POLLIN) {
    830   1.1     blymn 			save_slave_output(true);
    831   1.9  christos 		} else if ((fds[0].revents & POLLIN) == POLLIN) {
    832   1.1     blymn 			/*
    833   1.1     blymn 			 * handle excess in file if it exists.  Poll
    834   1.1     blymn 			 * says there is data until EOF is read.
    835   1.1     blymn 			 * Check next read is EOF, if it is not then
    836   1.1     blymn 			 * the file really has more data than the
    837   1.1     blymn 			 * slave produced so flag this as a warning.
    838   1.1     blymn 			 */
    839   1.5  christos 			result = read(check_fd, drain, sizeof(drain));
    840   1.1     blymn 			if (result == -1)
    841   1.3  christos 				err(1, "read of data file failed");
    842   1.1     blymn 
    843   1.1     blymn 			if (result > 0) {
    844   1.6  christos 				excess(check_file, 0, __func__, "", drain,
    845   1.6  christos 				    result);
    846   1.1     blymn 			}
    847   1.1     blymn 		}
    848   1.1     blymn 	}
    849   1.1     blymn 
    850   1.1     blymn 	close(check_fd);
    851   1.1     blymn }
    852   1.1     blymn 
    853   1.1     blymn /*
    854   1.1     blymn  * Pass a function call and arguments to the slave and wait for the
    855   1.1     blymn  * results.  The variable nresults determines how many returns we expect
    856   1.1     blymn  * back from the slave.  These results will be validated against the
    857   1.1     blymn  * expected returns or assigned to variables.
    858   1.1     blymn  */
    859   1.1     blymn static void
    860   1.4  christos do_function_call(size_t nresults)
    861   1.1     blymn {
    862   1.1     blymn #define MAX_RESULTS 4
    863   1.1     blymn 	char *p;
    864   1.4  christos 	int do_input;
    865   1.4  christos 	size_t i;
    866   1.1     blymn 	struct pollfd fds[3];
    867   1.1     blymn 	returns_t response[MAX_RESULTS], returns_count;
    868   1.1     blymn 	assert(nresults <= MAX_RESULTS);
    869   1.1     blymn 
    870   1.1     blymn 	do_input = check_function_table(command.function, input_functions,
    871   1.5  christos 	    ninput_functions);
    872   1.1     blymn 
    873   1.1     blymn 	write_func_and_args();
    874   1.1     blymn 
    875   1.1     blymn 	/*
    876   1.1     blymn 	 * We should get the number of returns back here, grab it before
    877   1.1     blymn 	 * doing input otherwise it will confuse the input poll
    878   1.1     blymn 	 */
    879   1.1     blymn 	read_cmd_pipe(&returns_count);
    880   1.5  christos 	if (returns_count.return_type != ret_count)
    881   1.1     blymn 		err(2, "expected return type of ret_count but received %s",
    882   1.1     blymn 		    returns_enum_names[returns_count.return_type]);
    883   1.1     blymn 
    884  1.10     blymn 	perform_delay(&delay_post_call); /* let slave catch up */
    885  1.10     blymn 
    886   1.9  christos 	if (verbose) {
    887   1.4  christos 		fprintf(stderr, "Expect %zu results from slave, slave "
    888   1.9  christos 		    "reported %zu\n", nresults, returns_count.return_len);
    889   1.9  christos 	}
    890   1.1     blymn 
    891   1.1     blymn 	if ((no_input == false) && (do_input == 1)) {
    892   1.9  christos 		if (verbose) {
    893   1.1     blymn 			fprintf(stderr, "doing input with inputstr >%s<\n",
    894   1.9  christos 			    input_str);
    895   1.9  christos 		}
    896   1.1     blymn 
    897   1.5  christos 		if (input_str == NULL)
    898   1.5  christos 			errx(2, "%s, %zu: Call to input function "
    899   1.5  christos 			    "but no input defined", cur_file, line);
    900   1.1     blymn 
    901   1.1     blymn 		fds[0].fd = slvpipe[READ_PIPE];
    902   1.1     blymn 		fds[0].events = POLLIN;
    903   1.9  christos 		fds[1].fd = master;
    904   1.9  christos 		fds[1].events = POLLOUT;
    905   1.1     blymn  		p = input_str;
    906   1.1     blymn 		save_slave_output(false);
    907   1.1     blymn 		while(*p != '\0') {
    908  1.10     blymn 			perform_delay(&delay_spec);
    909  1.10     blymn 
    910   1.9  christos 			if (poll(fds, 2, 0) < 0)
    911   1.9  christos 				err(2, "poll failed");
    912   1.9  christos 			if (fds[0].revents & POLLIN) {
    913   1.9  christos 				warnx("%s, %zu: Slave function "
    914   1.9  christos 				    "returned before end of input string",
    915   1.9  christos 				    cur_file, line);
    916   1.9  christos 				break;
    917   1.9  christos 			}
    918   1.9  christos 			if ((fds[1].revents & POLLOUT) == 0)
    919   1.9  christos 				continue;
    920   1.1     blymn 			if (verbose) {
    921   1.1     blymn 				fprintf(stderr, "Writing char >%c< to slave\n",
    922   1.9  christos 				    *p);
    923   1.1     blymn 			}
    924   1.9  christos 			if (write(master, p, 1) != 1) {
    925   1.9  christos 				warn("%s, %zu: Slave function write error",
    926   1.5  christos 				    cur_file, line);
    927   1.1     blymn 				break;
    928   1.1     blymn 			}
    929   1.9  christos 			p++;
    930   1.9  christos 
    931   1.1     blymn 		}
    932   1.9  christos 		save_slave_output(false);
    933   1.1     blymn 
    934   1.1     blymn 		if (verbose) {
    935   1.1     blymn 			fprintf(stderr, "Input done.\n");
    936   1.1     blymn 		}
    937   1.1     blymn 
    938   1.1     blymn 		/* done with the input string, free the resources */
    939   1.1     blymn 		free(input_str);
    940   1.1     blymn 		input_str = NULL;
    941   1.1     blymn 	}
    942   1.1     blymn 
    943  1.11     blymn 	if (verbose) {
    944   1.1     blymn 		fds[0].fd = slvpipe[READ_PIPE];
    945   1.1     blymn 		fds[0].events = POLLIN;
    946   1.1     blymn 
    947   1.1     blymn 		fds[1].fd = slvpipe[WRITE_PIPE];
    948   1.1     blymn 		fds[1].events = POLLOUT;
    949   1.1     blymn 
    950   1.1     blymn 		fds[2].fd = master;
    951   1.1     blymn 		fds[2].events = POLLIN | POLLOUT;
    952   1.1     blymn 
    953   1.1     blymn 		i = poll(&fds[0], 3, 1000);
    954   1.4  christos 		fprintf(stderr, "Poll returned %zu\n", i);
    955   1.1     blymn 		for (i = 0; i < 3; i++) {
    956   1.4  christos 			fprintf(stderr, "revents for fd[%zu] = 0x%x\n",
    957   1.1     blymn 				i, fds[i].revents);
    958   1.1     blymn 		}
    959   1.1     blymn 	}
    960   1.1     blymn 
    961   1.1     blymn 	/* drain any trailing output */
    962   1.1     blymn 	save_slave_output(false);
    963   1.1     blymn 
    964   1.1     blymn 	for (i = 0; i < returns_count.return_len; i++) {
    965   1.1     blymn 		read_cmd_pipe(&response[i]);
    966   1.1     blymn 	}
    967   1.1     blymn 
    968   1.1     blymn 	/*
    969   1.1     blymn 	 * Check for a slave error in the first return slot, if the
    970   1.1     blymn 	 * slave errored then we may not have the number of returns we
    971   1.1     blymn 	 * expect but in this case we should report the slave error
    972   1.1     blymn 	 * instead of a return count mismatch.
    973   1.1     blymn 	 */
    974   1.1     blymn 	if ((returns_count.return_len > 0) &&
    975   1.1     blymn 	    (response[0].return_type == ret_slave_error))
    976   1.4  christos 		err(2, "Slave returned error: %s",
    977   1.4  christos 		    (const char *)response[0].return_value);
    978   1.1     blymn 
    979   1.1     blymn 	if (returns_count.return_len != nresults)
    980   1.4  christos 		err(2, "Incorrect number of returns from slave, expected %zu "
    981   1.4  christos 		    "but received %zu", nresults, returns_count.return_len);
    982   1.1     blymn 
    983   1.1     blymn 	if (verbose) {
    984   1.1     blymn 		for (i = 0; i < nresults; i++) {
    985   1.1     blymn 			if ((response[i].return_type != ret_byte) &&
    986   1.1     blymn 			    (response[i].return_type != ret_err) &&
    987   1.1     blymn 			    (response[i].return_type != ret_ok))
    988   1.1     blymn 				fprintf(stderr,
    989   1.1     blymn 					"received response >%s< "
    990   1.4  christos 					"expected",
    991   1.4  christos 					(const char *)response[i].return_value);
    992   1.1     blymn 			else
    993   1.1     blymn 				fprintf(stderr, "received");
    994   1.1     blymn 
    995   1.1     blymn 			fprintf(stderr, " return_type %s\n",
    996   1.5  christos 			    returns_enum_names[command.returns[i].return_type]);
    997   1.1     blymn 		}
    998   1.1     blymn 	}
    999   1.1     blymn 
   1000   1.1     blymn 	for (i = 0; i < nresults; i++) {
   1001   1.1     blymn 		if (command.returns[i].return_type != ret_var) {
   1002   1.1     blymn 			validate(i, &response[i]);
   1003   1.1     blymn 		} else {
   1004   1.1     blymn 			vars[command.returns[i].return_index].len =
   1005   1.1     blymn 				response[i].return_len;
   1006   1.1     blymn 			vars[command.returns[i].return_index].value =
   1007   1.1     blymn 				response[i].return_value;
   1008   1.1     blymn 			vars[command.returns[i].return_index].type =
   1009   1.1     blymn 				response[i].return_type;
   1010   1.1     blymn 		}
   1011   1.1     blymn 	}
   1012  1.10     blymn 
   1013  1.10     blymn 	if (verbose && (saved_output.count > 0))
   1014   1.6  christos 		excess(cur_file, line, __func__, " from slave",
   1015   1.6  christos 		    &saved_output.data[saved_output.readp], saved_output.count);
   1016   1.1     blymn 
   1017   1.1     blymn 	init_parse_variables(0);
   1018   1.1     blymn }
   1019   1.1     blymn 
   1020   1.1     blymn /*
   1021   1.1     blymn  * Write the function and command arguments to the command pipe.
   1022   1.1     blymn  */
   1023   1.1     blymn static void
   1024   1.4  christos write_func_and_args(void)
   1025   1.1     blymn {
   1026   1.1     blymn 	int i;
   1027   1.1     blymn 
   1028   1.9  christos 	if (verbose) {
   1029   1.1     blymn 		fprintf(stderr, "calling function >%s<\n", command.function);
   1030   1.9  christos 	}
   1031   1.1     blymn 
   1032   1.1     blymn 	write_cmd_pipe(command.function);
   1033   1.1     blymn 	for (i = 0; i < command.nargs; i++) {
   1034   1.1     blymn 		if (command.args[i].arg_type == arg_var)
   1035   1.1     blymn 			write_cmd_pipe_args(command.args[i].arg_type,
   1036   1.1     blymn 					    &vars[command.args[i].var_index]);
   1037   1.1     blymn 		else
   1038   1.1     blymn 			write_cmd_pipe_args(command.args[i].arg_type,
   1039   1.1     blymn 					    &command.args[i]);
   1040   1.1     blymn 	}
   1041   1.1     blymn 
   1042   1.1     blymn 	write_cmd_pipe(NULL); /* signal end of arguments */
   1043   1.1     blymn }
   1044   1.1     blymn 
   1045   1.1     blymn /*
   1046   1.1     blymn  * Initialise the command structure - if initial is non-zero then just set
   1047   1.1     blymn  * everything to sane values otherwise free any memory that was allocated
   1048   1.1     blymn  * when building the structure.
   1049   1.1     blymn  */
   1050   1.1     blymn void
   1051   1.1     blymn init_parse_variables(int initial)
   1052   1.1     blymn {
   1053   1.1     blymn 	int i, result;
   1054   1.1     blymn 	struct pollfd slave_pty;
   1055   1.1     blymn 
   1056   1.1     blymn 	if (initial == 0) {
   1057   1.1     blymn 		free(command.function);
   1058   1.1     blymn 		for (i = 0; i < command.nrets; i++) {
   1059   1.1     blymn 			if (command.returns[i].return_type == ret_number)
   1060   1.1     blymn 				free(command.returns[i].return_value);
   1061   1.1     blymn 		}
   1062   1.1     blymn 		free(command.returns);
   1063   1.1     blymn 
   1064   1.1     blymn 		for (i = 0; i < command.nargs; i++) {
   1065   1.1     blymn 			if (command.args[i].arg_type != arg_var)
   1066   1.1     blymn 				free(command.args[i].arg_string);
   1067   1.1     blymn 		}
   1068   1.1     blymn 		free(command.args);
   1069   1.1     blymn 	} else {
   1070   1.1     blymn 		line = 0;
   1071   1.1     blymn 		input_delay = 0;
   1072   1.1     blymn 		vars = NULL;
   1073   1.1     blymn 		nvars = 0;
   1074   1.1     blymn 		input_str = NULL;
   1075   1.1     blymn 		saved_output.allocated = 0;
   1076   1.1     blymn 		saved_output.count = 0;
   1077   1.1     blymn 		saved_output.readp = 0;
   1078   1.1     blymn 		saved_output.data = NULL;
   1079   1.1     blymn 	}
   1080   1.1     blymn 
   1081   1.1     blymn 	no_input = false;
   1082   1.1     blymn 	command.function = NULL;
   1083   1.1     blymn 	command.nargs = 0;
   1084   1.1     blymn 	command.args = NULL;
   1085   1.1     blymn 	command.nrets = 0;
   1086   1.1     blymn 	command.returns = NULL;
   1087   1.1     blymn 
   1088   1.1     blymn 	/*
   1089   1.1     blymn 	 * Check the slave pty for stray output from the slave, at this
   1090   1.1     blymn 	 * point we should not see any data as it should have been
   1091   1.1     blymn 	 * consumed by the test functions.  If we see data then we have
   1092   1.1     blymn 	 * either a bug or are not handling an output generating function
   1093   1.1     blymn 	 * correctly.
   1094   1.1     blymn 	 */
   1095   1.1     blymn 	slave_pty.fd = master;
   1096   1.1     blymn 	slave_pty.events = POLLIN;
   1097   1.1     blymn 	result = poll(&slave_pty, 1, 0);
   1098   1.1     blymn 
   1099   1.1     blymn 	if (result < 0)
   1100   1.1     blymn 		err(2, "Poll of slave pty failed");
   1101   1.1     blymn 	else if (result > 0)
   1102   1.5  christos 		warnx("%s, %zu: Unexpected data from slave", cur_file, line);
   1103   1.1     blymn }
   1104   1.1     blymn 
   1105   1.1     blymn /*
   1106   1.1     blymn  * Validate the response against the expected return.  The variable
   1107   1.4  christos  * i is the i into the rets array in command.
   1108   1.1     blymn  */
   1109   1.1     blymn static void
   1110   1.4  christos validate(int i, void *data)
   1111   1.1     blymn {
   1112   1.1     blymn 	char *response;
   1113   1.1     blymn 	returns_t *byte_response;
   1114   1.1     blymn 
   1115   1.1     blymn 	byte_response = data;
   1116   1.4  christos 	if ((command.returns[i].return_type != ret_byte) &&
   1117   1.4  christos 	    (command.returns[i].return_type != ret_err) &&
   1118  1.11     blymn 	    (command.returns[i].return_type != ret_ok)) {
   1119  1.11     blymn 		if ((byte_response->return_type == ret_byte) ||
   1120  1.11     blymn 		    (byte_response->return_type == ret_err) ||
   1121  1.11     blymn 		    (byte_response->return_type == ret_ok))
   1122  1.12  christos 			err(1, "%s: expecting type %s, received type %s"
   1123  1.12  christos 			    " at line %zu of file %s", __func__,
   1124  1.11     blymn 			    returns_enum_names[command.returns[i].return_type],
   1125  1.11     blymn 			    returns_enum_names[byte_response->return_type],
   1126  1.11     blymn 			    line, cur_file);
   1127  1.11     blymn 
   1128   1.1     blymn 		response = byte_response->return_value;
   1129  1.11     blymn 	}
   1130   1.1     blymn 
   1131   1.4  christos 	switch (command.returns[i].return_type) {
   1132   1.1     blymn 	case ret_err:
   1133   1.1     blymn 		validate_type(ret_err, byte_response, 0);
   1134   1.1     blymn 		break;
   1135   1.1     blymn 
   1136   1.1     blymn 	case ret_ok:
   1137   1.1     blymn 		validate_type(ret_ok, byte_response, 0);
   1138   1.1     blymn 		break;
   1139   1.1     blymn 
   1140   1.1     blymn 	case ret_null:
   1141   1.1     blymn 		validate_return("NULL", response, 0);
   1142   1.1     blymn 		break;
   1143   1.1     blymn 
   1144   1.1     blymn 	case ret_nonnull:
   1145   1.1     blymn 		validate_return("NULL", response, 1);
   1146   1.1     blymn 		break;
   1147   1.1     blymn 
   1148   1.1     blymn 	case ret_string:
   1149   1.1     blymn 	case ret_number:
   1150   1.4  christos 		validate_return(command.returns[i].return_value,
   1151   1.1     blymn 				response, 0);
   1152   1.1     blymn 		break;
   1153   1.1     blymn 
   1154   1.1     blymn 	case ret_ref:
   1155   1.4  christos 		validate_reference(i, response);
   1156   1.1     blymn 		break;
   1157   1.1     blymn 
   1158   1.1     blymn 	case ret_byte:
   1159   1.4  christos 		validate_byte(&command.returns[i], byte_response, 0);
   1160   1.1     blymn 		break;
   1161   1.1     blymn 
   1162   1.1     blymn 	default:
   1163   1.4  christos 		err(1, "Malformed statement at line %zu of file %s",
   1164   1.1     blymn 		    line, cur_file);
   1165   1.1     blymn 		break;
   1166   1.1     blymn 	}
   1167   1.1     blymn }
   1168   1.1     blymn 
   1169   1.1     blymn /*
   1170   1.1     blymn  * Validate the return against the contents of a variable.
   1171   1.1     blymn  */
   1172   1.1     blymn static void
   1173   1.4  christos validate_reference(int i, void *data)
   1174   1.1     blymn {
   1175   1.1     blymn 	char *response;
   1176   1.1     blymn 	returns_t *byte_response;
   1177   1.1     blymn 	var_t *varp;
   1178   1.1     blymn 
   1179   1.4  christos 	varp = &vars[command.returns[i].return_index];
   1180   1.1     blymn 
   1181   1.1     blymn 	byte_response = data;
   1182   1.4  christos 	if (command.returns[i].return_type != ret_byte)
   1183   1.1     blymn 		response = data;
   1184   1.1     blymn 
   1185  1.10     blymn 	if (verbose) {
   1186   1.1     blymn 		fprintf(stderr,
   1187  1.12  christos 		    "%s: return type of %s, value %s \n", __func__,
   1188   1.9  christos 		    returns_enum_names[varp->type],
   1189   1.9  christos 		    (const char *)varp->value);
   1190   1.9  christos 	}
   1191   1.1     blymn 
   1192   1.1     blymn 	switch (varp->type) {
   1193   1.1     blymn 	case ret_string:
   1194   1.1     blymn 	case ret_number:
   1195   1.1     blymn 		validate_return(varp->value, response, 0);
   1196   1.1     blymn 		break;
   1197   1.1     blymn 
   1198   1.1     blymn 	case ret_byte:
   1199   1.1     blymn 		validate_byte(varp->value, byte_response, 0);
   1200   1.1     blymn 		break;
   1201   1.1     blymn 
   1202   1.1     blymn 	default:
   1203   1.1     blymn 		err(1,
   1204   1.4  christos 		    "Invalid return type for reference at line %zu of file %s",
   1205   1.1     blymn 		    line, cur_file);
   1206   1.1     blymn 		break;
   1207   1.1     blymn 	}
   1208   1.1     blymn }
   1209   1.1     blymn 
   1210   1.1     blymn /*
   1211   1.1     blymn  * Validate the return type against the expected type, throw an error
   1212   1.1     blymn  * if they don't match.
   1213   1.1     blymn  */
   1214   1.1     blymn static void
   1215   1.1     blymn validate_type(returns_enum_t expected, returns_t *value, int check)
   1216   1.1     blymn {
   1217   1.1     blymn 	if (((check == 0) && (expected != value->return_type)) ||
   1218   1.1     blymn 	    ((check == 1) && (expected == value->return_type)))
   1219   1.4  christos 		err(1, "Validate expected type %s %s %s line %zu of file %s",
   1220   1.1     blymn 		    returns_enum_names[expected],
   1221   1.1     blymn 		    (check == 0)? "matching" : "not matching",
   1222   1.1     blymn 		    returns_enum_names[value->return_type], line, cur_file);
   1223   1.1     blymn 
   1224   1.9  christos 	if (verbose) {
   1225   1.4  christos 		fprintf(stderr, "Validate expected type %s %s %s line %zu"
   1226   1.9  christos 		    " of file %s\n",
   1227   1.9  christos 		    returns_enum_names[expected],
   1228   1.9  christos 		    (check == 0)? "matching" : "not matching",
   1229   1.9  christos 		    returns_enum_names[value->return_type], line, cur_file);
   1230   1.9  christos 	}
   1231   1.1     blymn }
   1232   1.1     blymn 
   1233   1.1     blymn /*
   1234   1.1     blymn  * Validate the return value against the expected value, throw an error
   1235   1.1     blymn  * if they don't match.
   1236   1.1     blymn  */
   1237   1.1     blymn static void
   1238   1.4  christos validate_return(const char *expected, const char *value, int check)
   1239   1.1     blymn {
   1240   1.1     blymn 	if (((check == 0) && strcmp(expected, value) != 0) ||
   1241   1.1     blymn 	    ((check == 1) && strcmp(expected, value) == 0))
   1242   1.9  christos 		errx(1, "Validate expected %s %s %s line %zu of file %s",
   1243   1.1     blymn 		    expected,
   1244   1.1     blymn 		    (check == 0)? "matching" : "not matching", value,
   1245   1.1     blymn 		    line, cur_file);
   1246   1.9  christos 	if (verbose) {
   1247   1.1     blymn 		fprintf(stderr, "Validated expected value %s %s %s "
   1248   1.9  christos 		    "at line %zu of file %s\n", expected,
   1249   1.9  christos 		    (check == 0)? "matches" : "does not match",
   1250   1.9  christos 		    value, line, cur_file);
   1251   1.9  christos 	}
   1252   1.1     blymn }
   1253   1.1     blymn 
   1254   1.1     blymn /*
   1255   1.1     blymn  * Validate the return value against the expected value, throw an error
   1256   1.1     blymn  * if they don't match expectations.
   1257   1.1     blymn  */
   1258   1.1     blymn static void
   1259   1.1     blymn validate_byte(returns_t *expected, returns_t *value, int check)
   1260   1.1     blymn {
   1261  1.11     blymn 	char *ch;
   1262  1.11     blymn 	size_t i;
   1263  1.11     blymn 
   1264  1.11     blymn 	if (verbose) {
   1265  1.11     blymn 		ch = value->return_value;
   1266  1.11     blymn 		fprintf(stderr, "checking returned byte stream: ");
   1267  1.11     blymn 		for (i = 0; i < value->return_len; i++)
   1268  1.11     blymn 			fprintf(stderr, "%s0x%x", (i != 0)? ", " : "", ch[i]);
   1269  1.11     blymn 		fprintf(stderr, "\n");
   1270  1.11     blymn 
   1271  1.11     blymn 		fprintf(stderr, "%s byte stream: ",
   1272  1.11     blymn 			(check == 0)? "matches" : "does not match");
   1273  1.11     blymn 		ch = (char *) expected->return_value;
   1274  1.11     blymn 		for (i = 0; i < expected->return_len; i++)
   1275  1.11     blymn 			fprintf(stderr, "%s0x%x", (i != 0)? ", " : "", ch[i]);
   1276  1.11     blymn 		fprintf(stderr, "\n");
   1277  1.11     blymn 	}
   1278  1.11     blymn 
   1279   1.1     blymn 	/*
   1280   1.1     blymn 	 * No chance of a match if lengths differ...
   1281   1.1     blymn 	 */
   1282   1.1     blymn 	if ((check == 0) && (expected->return_len != value->return_len))
   1283  1.11     blymn 	    errx(1, "Byte validation failed, length mismatch, expected %zu,"
   1284  1.11     blymn 		"received %zu", expected->return_len, value->return_len);
   1285   1.1     blymn 
   1286   1.1     blymn 	/*
   1287   1.1     blymn 	 * If check is 0 then we want to throw an error IFF the byte streams
   1288   1.1     blymn 	 * do not match, if check is 1 then throw an error if the byte
   1289   1.1     blymn 	 * streams match.
   1290   1.1     blymn 	 */
   1291   1.1     blymn 	if (((check == 0) && memcmp(expected->return_value, value->return_value,
   1292   1.1     blymn 				    value->return_len) != 0) ||
   1293   1.1     blymn 	    ((check == 1) && (expected->return_len == value->return_len) &&
   1294   1.1     blymn 	     memcmp(expected->return_value, value->return_value,
   1295   1.1     blymn 		    value->return_len) == 0))
   1296   1.9  christos 		errx(1, "Validate expected %s byte stream at line %zu"
   1297   1.1     blymn 		    "of file %s",
   1298   1.1     blymn 		    (check == 0)? "matching" : "not matching", line, cur_file);
   1299   1.9  christos 	if (verbose) {
   1300   1.1     blymn 		fprintf(stderr, "Validated expected %s byte stream "
   1301   1.9  christos 		    "at line %zu of file %s\n",
   1302   1.9  christos 		    (check == 0)? "matching" : "not matching",
   1303   1.9  christos 		    line, cur_file);
   1304   1.9  christos 	}
   1305   1.1     blymn }
   1306   1.1     blymn 
   1307   1.1     blymn /*
   1308   1.4  christos  * Validate the variable at i against the expected value, throw an
   1309   1.1     blymn  * error if they don't match, if check is non-zero then the match is
   1310   1.1     blymn  * negated.
   1311   1.1     blymn  */
   1312   1.1     blymn static void
   1313   1.4  christos validate_variable(int ret, returns_enum_t type, const void *value, int i,
   1314   1.4  christos     int check)
   1315   1.1     blymn {
   1316   1.1     blymn 	returns_t *retval;
   1317   1.1     blymn 	var_t *varptr;
   1318   1.1     blymn 
   1319   1.7     joerg 	retval = &command.returns[ret];
   1320   1.1     blymn 	varptr = &vars[command.returns[ret].return_index];
   1321   1.1     blymn 
   1322   1.1     blymn 	if (varptr->value == NULL)
   1323   1.4  christos 		err(1, "Variable %s has no value assigned to it", varptr->name);
   1324   1.1     blymn 
   1325   1.1     blymn 
   1326   1.1     blymn 	if (varptr->type != type)
   1327   1.4  christos 		err(1, "Variable %s is not the expected type", varptr->name);
   1328   1.1     blymn 
   1329   1.1     blymn 	if (type != ret_byte) {
   1330   1.1     blymn 		if ((((check == 0) && strcmp(value, varptr->value) != 0))
   1331   1.1     blymn 		    || ((check == 1) && strcmp(value, varptr->value) == 0))
   1332   1.1     blymn 			err(1, "Variable %s contains %s instead of %s"
   1333   1.4  christos 			    " value %s at line %zu of file %s",
   1334   1.4  christos 			    varptr->name, (const char *)varptr->value,
   1335   1.4  christos 			    (check == 0)? "expected" : "not matching",
   1336   1.4  christos 			    (const char *)value,
   1337   1.1     blymn 			    line, cur_file);
   1338   1.9  christos 		if (verbose) {
   1339   1.1     blymn 			fprintf(stderr, "Variable %s contains %s value "
   1340   1.9  christos 			    "%s at line %zu of file %s\n",
   1341   1.9  christos 			    varptr->name,
   1342   1.9  christos 			    (check == 0)? "expected" : "not matching",
   1343   1.9  christos 			    (const char *)varptr->value, line, cur_file);
   1344   1.9  christos 		}
   1345   1.1     blymn 	} else {
   1346   1.1     blymn 		if ((check == 0) && (retval->return_len != varptr->len))
   1347   1.1     blymn 			err(1, "Byte validation failed, length mismatch");
   1348   1.1     blymn 
   1349   1.1     blymn 		/*
   1350   1.1     blymn 		 * If check is 0 then we want to throw an error IFF
   1351   1.1     blymn 		 * the byte streams do not match, if check is 1 then
   1352   1.1     blymn 		 * throw an error if the byte streams match.
   1353   1.1     blymn 		 */
   1354   1.1     blymn 		if (((check == 0) && memcmp(retval->return_value, varptr->value,
   1355   1.1     blymn 					    varptr->len) != 0) ||
   1356   1.1     blymn 		    ((check == 1) && (retval->return_len == varptr->len) &&
   1357   1.1     blymn 		     memcmp(retval->return_value, varptr->value,
   1358   1.1     blymn 			    varptr->len) == 0))
   1359   1.4  christos 			err(1, "Validate expected %s byte stream at line %zu"
   1360   1.1     blymn 			    " of file %s",
   1361   1.1     blymn 			    (check == 0)? "matching" : "not matching",
   1362   1.1     blymn 			    line, cur_file);
   1363   1.9  christos 		if (verbose) {
   1364   1.1     blymn 			fprintf(stderr, "Validated expected %s byte stream "
   1365   1.9  christos 			    "at line %zu of file %s\n",
   1366   1.9  christos 			    (check == 0)? "matching" : "not matching",
   1367   1.9  christos 			    line, cur_file);
   1368   1.9  christos 		}
   1369   1.1     blymn 	}
   1370   1.1     blymn }
   1371   1.1     blymn 
   1372   1.1     blymn /*
   1373   1.1     blymn  * Write a string to the command pipe - we feed the number of bytes coming
   1374   1.1     blymn  * down first to allow storage allocation and then follow up with the data.
   1375   1.1     blymn  * If cmd is NULL then feed a -1 down the pipe to say the end of the args.
   1376   1.1     blymn  */
   1377   1.1     blymn static void
   1378   1.1     blymn write_cmd_pipe(char *cmd)
   1379   1.1     blymn {
   1380   1.1     blymn 	args_t arg;
   1381   1.1     blymn 	size_t len;
   1382   1.1     blymn 
   1383   1.1     blymn 	if (cmd == NULL)
   1384   1.1     blymn 		len = 0;
   1385   1.1     blymn 	else
   1386   1.1     blymn 		len = strlen(cmd);
   1387   1.1     blymn 
   1388   1.1     blymn 	arg.arg_type = arg_static;
   1389   1.1     blymn 	arg.arg_len = len;
   1390   1.1     blymn 	arg.arg_string = cmd;
   1391   1.1     blymn 	write_cmd_pipe_args(arg.arg_type, &arg);
   1392   1.1     blymn 
   1393   1.1     blymn }
   1394   1.1     blymn 
   1395   1.1     blymn static void
   1396   1.1     blymn write_cmd_pipe_args(args_state_t type, void *data)
   1397   1.1     blymn {
   1398   1.1     blymn 	var_t *var_data;
   1399   1.1     blymn 	args_t *arg_data;
   1400   1.1     blymn 	int len, send_type;
   1401   1.1     blymn 	void *cmd;
   1402   1.1     blymn 
   1403   1.1     blymn 	arg_data = data;
   1404   1.2     blymn 	switch (type) {
   1405   1.2     blymn 	case arg_var:
   1406   1.2     blymn 		var_data = data;
   1407   1.2     blymn 		len = var_data->len;
   1408   1.2     blymn 		cmd = var_data->value;
   1409   1.8  christos 		if (type == arg_byte)
   1410   1.2     blymn 			send_type = ret_byte;
   1411   1.2     blymn 		else
   1412   1.2     blymn 			send_type = ret_string;
   1413   1.2     blymn 		break;
   1414   1.2     blymn 
   1415   1.2     blymn 	case arg_null:
   1416   1.2     blymn 		send_type = ret_null;
   1417   1.2     blymn 		len = 0;
   1418   1.2     blymn 		break;
   1419   1.2     blymn 
   1420   1.2     blymn 	default:
   1421   1.1     blymn 		if ((arg_data->arg_len == 0) && (arg_data->arg_string == NULL))
   1422   1.1     blymn 			len = -1;
   1423   1.1     blymn 		else
   1424   1.1     blymn 			len = arg_data->arg_len;
   1425   1.1     blymn 		cmd = arg_data->arg_string;
   1426   1.1     blymn 		if (type == arg_byte)
   1427   1.1     blymn 			send_type = ret_byte;
   1428   1.1     blymn 		else
   1429   1.1     blymn 			send_type = ret_string;
   1430   1.1     blymn 	}
   1431   1.1     blymn 
   1432   1.9  christos 	if (verbose) {
   1433   1.1     blymn 		fprintf(stderr, "Writing type %s to command pipe\n",
   1434   1.9  christos 		    returns_enum_names[send_type]);
   1435   1.9  christos 	}
   1436   1.1     blymn 
   1437   1.4  christos 	if (write(cmdpipe[WRITE_PIPE], &send_type, sizeof(int)) < 0)
   1438   1.4  christos 		err(1, "command pipe write for type failed");
   1439   1.1     blymn 
   1440   1.9  christos 	if (verbose) {
   1441   1.1     blymn 		fprintf(stderr, "Writing length %d to command pipe\n", len);
   1442   1.9  christos 	}
   1443   1.1     blymn 
   1444   1.4  christos 	if (write(cmdpipe[WRITE_PIPE], &len, sizeof(int)) < 0)
   1445   1.4  christos 		err(1, "command pipe write for length failed");
   1446   1.1     blymn 
   1447   1.1     blymn 	if (len > 0) {
   1448   1.9  christos 		if (verbose) {
   1449   1.1     blymn 			fprintf(stderr, "Writing data >%s< to command pipe\n",
   1450   1.9  christos 			    (const char *)cmd);
   1451   1.9  christos 		}
   1452   1.4  christos 		if (write(cmdpipe[WRITE_PIPE], cmd, len) < 0)
   1453   1.4  christos 			err(1, "command pipe write of data failed");
   1454   1.1     blymn 	}
   1455   1.1     blymn }
   1456   1.1     blymn 
   1457   1.1     blymn /*
   1458   1.1     blymn  * Read a response from the command pipe, first we will receive the
   1459   1.1     blymn  * length of the response then the actual data.
   1460   1.1     blymn  */
   1461   1.1     blymn static void
   1462   1.1     blymn read_cmd_pipe(returns_t *response)
   1463   1.1     blymn {
   1464   1.1     blymn 	int len, type;
   1465   1.4  christos 	struct pollfd rfd[2];
   1466   1.1     blymn 	char *str;
   1467   1.1     blymn 
   1468   1.1     blymn 	/*
   1469   1.1     blymn 	 * Check if there is data to read - just in case slave has died, we
   1470   1.1     blymn 	 * don't want to block on the read and just hang.  We also check
   1471   1.1     blymn 	 * output from the slave because the slave may be blocked waiting
   1472   1.1     blymn 	 * for a flush on its stdout.
   1473   1.1     blymn 	 */
   1474   1.4  christos 	rfd[0].fd = slvpipe[READ_PIPE];
   1475   1.4  christos 	rfd[0].events = POLLIN;
   1476   1.4  christos 	rfd[1].fd = master;
   1477   1.4  christos 	rfd[1].events = POLLIN;
   1478   1.1     blymn 
   1479   1.1     blymn 	do {
   1480   1.5  christos 		if (poll(rfd, 2, 4000) == 0)
   1481   1.5  christos 			errx(2, "%s, %zu: Command pipe read timeout",
   1482   1.5  christos 			    cur_file, line);
   1483   1.1     blymn 
   1484   1.4  christos 		if ((rfd[1].revents & POLLIN) == POLLIN) {
   1485   1.9  christos 			if (verbose) {
   1486   1.1     blymn 				fprintf(stderr,
   1487   1.9  christos 				    "draining output from slave\n");
   1488   1.9  christos 			}
   1489   1.1     blymn 			save_slave_output(false);
   1490   1.1     blymn 		}
   1491   1.1     blymn 	}
   1492   1.4  christos 	while((rfd[1].revents & POLLIN) == POLLIN);
   1493   1.1     blymn 
   1494   1.4  christos 	if (read(slvpipe[READ_PIPE], &type, sizeof(int)) < 0)
   1495   1.4  christos 		err(1, "command pipe read for type failed");
   1496   1.1     blymn 	response->return_type = type;
   1497   1.1     blymn 
   1498   1.1     blymn 	if ((type != ret_ok) && (type != ret_err) && (type != ret_count)) {
   1499   1.4  christos 		if (read(slvpipe[READ_PIPE], &len, sizeof(int)) < 0)
   1500   1.4  christos 			err(1, "command pipe read for length failed");
   1501   1.1     blymn 		response->return_len = len;
   1502   1.1     blymn 
   1503   1.9  christos 		if (verbose) {
   1504   1.1     blymn 			fprintf(stderr,
   1505   1.9  christos 			    "Reading %d bytes from command pipe\n", len);
   1506   1.9  christos 		}
   1507   1.1     blymn 
   1508   1.1     blymn 		if ((response->return_value = malloc(len + 1)) == NULL)
   1509   1.1     blymn 			err(1, "Failed to alloc memory for cmd pipe read");
   1510   1.1     blymn 
   1511   1.4  christos 		if (read(slvpipe[READ_PIPE], response->return_value, len) < 0)
   1512   1.4  christos 			err(1, "command pipe read of data failed");
   1513   1.1     blymn 
   1514   1.1     blymn 		if (response->return_type != ret_byte) {
   1515   1.1     blymn 			str = response->return_value;
   1516   1.1     blymn 			str[len] = '\0';
   1517   1.1     blymn 
   1518   1.9  christos 			if (verbose) {
   1519   1.1     blymn 				fprintf(stderr, "Read data >%s< from pipe\n",
   1520   1.9  christos 				    (const char *)response->return_value);
   1521   1.9  christos 			}
   1522   1.1     blymn 		}
   1523   1.1     blymn 	} else {
   1524   1.1     blymn 		response->return_value = NULL;
   1525   1.1     blymn 		if (type == ret_count) {
   1526   1.4  christos 			if (read(slvpipe[READ_PIPE], &len, sizeof(int)) < 0)
   1527   1.4  christos 				err(1, "command pipe read for number of "
   1528   1.1     blymn 				       "returns failed");
   1529   1.1     blymn 			response->return_len = len;
   1530   1.1     blymn 		}
   1531   1.1     blymn 
   1532   1.9  christos 		if (verbose) {
   1533   1.1     blymn 			fprintf(stderr, "Read type %s from pipe\n",
   1534   1.9  christos 			    returns_enum_names[type]);
   1535   1.9  christos 		}
   1536   1.1     blymn 	}
   1537   1.1     blymn }
   1538   1.1     blymn 
   1539   1.1     blymn /*
   1540   1.1     blymn  * Check for writes from the slave on the pty, save the output into a
   1541   1.1     blymn  * buffer for later checking if discard is false.
   1542   1.1     blymn  */
   1543   1.1     blymn #define MAX_DRAIN 256
   1544   1.1     blymn 
   1545   1.1     blymn static void
   1546   1.1     blymn save_slave_output(bool discard)
   1547   1.1     blymn {
   1548   1.1     blymn 	char *new_data, drain[MAX_DRAIN];
   1549   1.1     blymn 	size_t to_allocate;
   1550   1.4  christos 	ssize_t result;
   1551   1.4  christos 	size_t i;
   1552   1.1     blymn 
   1553   1.1     blymn 	result = 0;
   1554   1.9  christos 	for (;;) {
   1555   1.1     blymn 		if (result == -1)
   1556   1.1     blymn 			err(2, "poll of slave pty failed");
   1557   1.1     blymn 		result = MAX_DRAIN;
   1558   1.9  christos 		if ((result = read(master, drain, result)) < 0) {
   1559   1.1     blymn 			if (errno == EAGAIN)
   1560   1.1     blymn 				break;
   1561   1.1     blymn 			else
   1562   1.1     blymn 				err(2, "draining slave pty failed");
   1563   1.1     blymn 		}
   1564   1.9  christos 		if (result == 0)
   1565   1.9  christos 			abort();
   1566   1.1     blymn 
   1567   1.5  christos 		if (!discard) {
   1568   1.4  christos 			if ((size_t)result >
   1569   1.1     blymn 			    (saved_output.allocated - saved_output.count)) {
   1570   1.1     blymn 				to_allocate = 1024 * ((result / 1024) + 1);
   1571   1.1     blymn 
   1572   1.1     blymn 				if ((new_data = realloc(saved_output.data,
   1573   1.1     blymn 					saved_output.allocated + to_allocate))
   1574   1.1     blymn 				    == NULL)
   1575   1.1     blymn 					err(2, "Realloc of saved_output failed");
   1576   1.1     blymn 				saved_output.data = new_data;
   1577   1.1     blymn 				saved_output.allocated += to_allocate;
   1578   1.1     blymn 			}
   1579   1.1     blymn 
   1580   1.1     blymn 			if (verbose) {
   1581   1.5  christos 				fprintf(stderr, "count = %zu, "
   1582   1.5  christos 				    "allocated = %zu\n", saved_output.count,
   1583   1.5  christos 				    saved_output.allocated);
   1584   1.4  christos 				for (i = 0; i < (size_t)result; i++) {
   1585   1.1     blymn 					fprintf(stderr, "Saving slave output "
   1586   1.9  christos 					    "at %zu: 0x%x (%c)\n",
   1587   1.9  christos 					    saved_output.count + i, drain[i],
   1588   1.5  christos 					    (drain[i] >= ' ')? drain[i] : '-');
   1589   1.1     blymn 				}
   1590   1.1     blymn 			}
   1591   1.1     blymn 
   1592   1.1     blymn 			memcpy(&saved_output.data[saved_output.count], drain,
   1593   1.1     blymn 			       result);
   1594   1.1     blymn 			saved_output.count += result;
   1595   1.1     blymn 
   1596   1.1     blymn 			if (verbose) {
   1597   1.5  christos 				fprintf(stderr, "count = %zu, "
   1598   1.5  christos 				    "allocated = %zu\n", saved_output.count,
   1599   1.5  christos 				    saved_output.allocated);
   1600   1.1     blymn 			}
   1601   1.1     blymn 		} else {
   1602   1.1     blymn 			if (verbose) {
   1603   1.9  christos 				for (i = 0; i < (size_t)result; i++) {
   1604   1.1     blymn 					fprintf(stderr, "Discarding slave "
   1605   1.5  christos 					    "output 0x%x (%c)\n",
   1606   1.5  christos 					    drain[i],
   1607   1.5  christos 					    (drain[i] >= ' ')? drain[i] : '-');
   1608   1.1     blymn 				}
   1609   1.1     blymn 			}
   1610   1.1     blymn 		}
   1611   1.1     blymn 	}
   1612   1.1     blymn }
   1613   1.1     blymn 
   1614   1.1     blymn static void
   1615   1.1     blymn yyerror(const char *msg)
   1616   1.1     blymn {
   1617   1.1     blymn 	warnx("%s in line %zu of file %s", msg, line, cur_file);
   1618   1.1     blymn }
   1619