Home | History | Annotate | Line # | Download | only in lint1
op.h revision 1.10
      1  1.10    rillig /*	$NetBSD: op.h,v 1.10 2021/01/05 23:50:29 rillig Exp $	*/
      2   1.2       cgd 
      3   1.1       cgd /*
      4   1.1       cgd  * Copyright (c) 1994, 1995 Jochen Pohl
      5   1.1       cgd  * All Rights Reserved.
      6   1.1       cgd  *
      7   1.1       cgd  * Redistribution and use in source and binary forms, with or without
      8   1.1       cgd  * modification, are permitted provided that the following conditions
      9   1.1       cgd  * are met:
     10   1.1       cgd  * 1. Redistributions of source code must retain the above copyright
     11   1.1       cgd  *    notice, this list of conditions and the following disclaimer.
     12   1.1       cgd  * 2. Redistributions in binary form must reproduce the above copyright
     13   1.1       cgd  *    notice, this list of conditions and the following disclaimer in the
     14   1.1       cgd  *    documentation and/or other materials provided with the distribution.
     15   1.1       cgd  * 3. All advertising materials mentioning features or use of this software
     16   1.1       cgd  *    must display the following acknowledgement:
     17   1.1       cgd  *      This product includes software developed by Jochen Pohl for
     18   1.1       cgd  *	The NetBSD Project.
     19   1.1       cgd  * 4. The name of the author may not be used to endorse or promote products
     20   1.1       cgd  *    derived from this software without specific prior written permission.
     21   1.1       cgd  *
     22   1.1       cgd  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
     23   1.1       cgd  * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
     24   1.1       cgd  * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
     25   1.1       cgd  * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
     26   1.1       cgd  * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
     27   1.1       cgd  * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
     28   1.1       cgd  * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
     29   1.1       cgd  * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
     30   1.1       cgd  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
     31   1.1       cgd  * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
     32   1.1       cgd  */
     33   1.1       cgd 
     34   1.8    rillig #include <stdbool.h>
     35   1.8    rillig 
     36   1.1       cgd /*
     37   1.1       cgd  * Various information about operators
     38   1.1       cgd  */
     39   1.1       cgd typedef	struct {
     40   1.8    rillig 	bool	m_binary : 1;	/* binary operator */
     41   1.8    rillig 	bool	m_logical : 1;	/* logical operator, result is int */
     42   1.8    rillig 	bool	m_requires_integer : 1;
     43   1.8    rillig 	bool	m_requires_scalar : 1;
     44   1.8    rillig 	bool	m_requires_arith : 1;
     45   1.8    rillig 	bool	m_fold : 1;	/* operands should be folded */
     46   1.8    rillig 	bool	m_vctx : 1;	/* value context for left operand */
     47   1.8    rillig 	bool	m_tctx : 1;	/* test context for left operand */
     48   1.8    rillig 	bool	m_balance : 1;	/* operator requires balancing */
     49   1.8    rillig 	bool	m_sideeff : 1;	/* operator has side effect */
     50   1.8    rillig 	bool	m_tlansiu : 1;	/* warn if left op. is unsign. in ANSI C */
     51   1.8    rillig 	bool	m_transiu : 1;	/* warn if right op. is unsign. in ANSI C */
     52   1.9    rillig 	bool	m_possible_precedence_confusion : 1;
     53   1.8    rillig 	bool	m_comp : 1;	/* operator performs comparison */
     54   1.8    rillig 	bool	m_valid_on_enum : 1;	/* valid operation on enums */
     55   1.8    rillig 	bool	m_bad_on_enum : 1;	/* dubious operation on enums */
     56   1.8    rillig 	bool	m_eqwarn : 1;	/* warning if on operand stems from == */
     57   1.8    rillig 	bool	m_requires_integer_or_complex : 1;
     58   1.1       cgd 	const char *m_name;	/* name of op. */
     59   1.1       cgd } mod_t;
     60   1.1       cgd 
     61   1.6  christos extern mod_t   modtab[];
     62   1.6  christos 
     63  1.10    rillig #define begin_ops() typedef enum {
     64  1.10    rillig #define op(name, repr, \
     65  1.10    rillig 		bi, lo, in, sc, ar, fo, va, ts, ba, se, \
     66  1.10    rillig 		lu, ru, pc, cm, ve, de, ew, ic, active) \
     67  1.10    rillig 	name,
     68  1.10    rillig #define end_ops() } op_t;
     69  1.10    rillig #include "ops.def"
     70  1.10    rillig 
     71  1.10    rillig const char *getopname(op_t);
     72  1.10    rillig void initmtab(void);
     73