Home | History | Annotate | Line # | Download | only in lint1
      1  1.28    rillig /*	$NetBSD: op.h,v 1.28 2024/03/31 20:28:45 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.21    rillig  *	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.23    rillig  * Various information about operators.
     38   1.1       cgd  */
     39  1.26    rillig typedef struct {
     40  1.13    rillig 	bool	m_binary: 1;
     41  1.13    rillig 	bool	m_returns_bool: 1;
     42  1.13    rillig 	bool	m_takes_bool: 1;
     43  1.20    rillig 	bool	m_compares_with_zero: 1;
     44  1.13    rillig 	bool	m_requires_integer: 1;
     45  1.13    rillig 	bool	m_requires_integer_or_complex: 1;
     46  1.13    rillig 	bool	m_requires_arith: 1;
     47  1.13    rillig 	bool	m_requires_scalar: 1;
     48  1.13    rillig 	bool	m_fold_constant_operands: 1;
     49  1.18    rillig 	bool	m_value_context: 1;
     50  1.13    rillig 	bool	m_balance_operands: 1;
     51  1.13    rillig 	bool	m_has_side_effect: 1;
     52  1.13    rillig 	bool	m_warn_if_left_unsigned_in_c90: 1;
     53  1.13    rillig 	bool	m_warn_if_right_unsigned_in_c90: 1;
     54  1.13    rillig 	bool	m_possible_precedence_confusion: 1;
     55  1.13    rillig 	bool	m_comparison: 1;
     56  1.13    rillig 	bool	m_valid_on_enum: 1;
     57  1.13    rillig 	bool	m_bad_on_enum: 1;
     58  1.13    rillig 	bool	m_warn_if_operand_eq: 1;
     59  1.22    rillig 	bool	m_has_operands: 1;
     60  1.25    rillig 	const char m_name[8];
     61   1.1       cgd } mod_t;
     62   1.1       cgd 
     63  1.23    rillig typedef enum {
     64  1.23    rillig 	NOOP,
     65  1.23    rillig 	ARROW,
     66  1.23    rillig 	POINT,
     67  1.23    rillig 	NOT,
     68  1.23    rillig 	COMPL,
     69  1.23    rillig 	INCBEF,
     70  1.23    rillig 	DECBEF,
     71  1.23    rillig 	INCAFT,
     72  1.23    rillig 	DECAFT,
     73  1.23    rillig 	UPLUS,
     74  1.23    rillig 	UMINUS,
     75  1.23    rillig 	INDIR,
     76  1.23    rillig 	ADDR,
     77   1.6  christos 
     78  1.23    rillig 	MULT,
     79  1.23    rillig 	DIV,
     80  1.23    rillig 	MOD,
     81  1.23    rillig 	PLUS,
     82  1.23    rillig 	MINUS,
     83  1.23    rillig 	SHL,
     84  1.23    rillig 	SHR,
     85  1.23    rillig 
     86  1.23    rillig 	LT,
     87  1.23    rillig 	LE,
     88  1.23    rillig 	GT,
     89  1.23    rillig 	GE,
     90  1.23    rillig 	EQ,
     91  1.23    rillig 	NE,
     92  1.23    rillig 
     93  1.23    rillig 	BITAND,
     94  1.23    rillig 	BITXOR,
     95  1.23    rillig 	BITOR,
     96  1.23    rillig 	LOGAND,
     97  1.23    rillig 	LOGOR,
     98  1.23    rillig 	QUEST,
     99  1.23    rillig 	COLON,
    100  1.23    rillig 
    101  1.23    rillig 	ASSIGN,
    102  1.23    rillig 	MULASS,
    103  1.23    rillig 	DIVASS,
    104  1.23    rillig 	MODASS,
    105  1.23    rillig 	ADDASS,
    106  1.23    rillig 	SUBASS,
    107  1.23    rillig 	SHLASS,
    108  1.23    rillig 	SHRASS,
    109  1.23    rillig 	ANDASS,
    110  1.23    rillig 	XORASS,
    111  1.23    rillig 	ORASS,
    112  1.23    rillig 
    113  1.23    rillig 	NAME,
    114  1.23    rillig 	CON,
    115  1.23    rillig 	STRING,
    116  1.23    rillig 	FSEL,
    117  1.23    rillig 	CALL,
    118  1.23    rillig 	COMMA,
    119  1.23    rillig 	CVT,
    120  1.23    rillig 	LOAD,
    121  1.23    rillig 	RETURN,
    122  1.23    rillig 	REAL,
    123  1.23    rillig 	IMAG,
    124  1.23    rillig 
    125  1.23    rillig 	INIT,			/* does not appear in the tree */
    126  1.23    rillig 	CASE,			/* does not appear in the tree */
    127  1.23    rillig 	/*
    128  1.23    rillig 	 * FARG is only used temporarily in check_prototype_argument to check
    129  1.23    rillig 	 * type compatibility and conversion for function arguments.
    130  1.23    rillig 	 */
    131  1.23    rillig 	FARG,			/* does not appear in the tree */
    132  1.23    rillig } op_t;
    133  1.23    rillig 
    134  1.23    rillig #define NOPS ((int)FARG + 1)
    135  1.23    rillig 
    136  1.23    rillig extern const mod_t modtab[NOPS];
    137