xlint/lint1/op.h

1.17    rillig /*	$NetBSD: op.h,v 1.17 2021/08/19 18:39:34 rillig Exp $	*/
 1.2       cgd
 1.1       cgd /*
 1.1       cgd  * Copyright (c) 1994, 1995 Jochen Pohl
 1.1       cgd  * All Rights Reserved.
 1.1       cgd  *
 1.1       cgd  * Redistribution and use in source and binary forms, with or without
 1.1       cgd  * modification, are permitted provided that the following conditions
 1.1       cgd  * are met:
 1.1       cgd  * 1. Redistributions of source code must retain the above copyright
 1.1       cgd  *    notice, this list of conditions and the following disclaimer.
 1.1       cgd  * 2. Redistributions in binary form must reproduce the above copyright
 1.1       cgd  *    notice, this list of conditions and the following disclaimer in the
 1.1       cgd  *    documentation and/or other materials provided with the distribution.
 1.1       cgd  * 3. All advertising materials mentioning features or use of this software
 1.1       cgd  *    must display the following acknowledgement:
 1.1       cgd  *      This product includes software developed by Jochen Pohl for
 1.1       cgd  *	The NetBSD Project.
 1.1       cgd  * 4. The name of the author may not be used to endorse or promote products
 1.1       cgd  *    derived from this software without specific prior written permission.
 1.1       cgd  *
 1.1       cgd  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
 1.1       cgd  * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
 1.1       cgd  * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
 1.1       cgd  * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
 1.1       cgd  * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
 1.1       cgd  * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
 1.1       cgd  * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
 1.1       cgd  * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
 1.1       cgd  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
 1.1       cgd  * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
 1.1       cgd  */
 1.1       cgd
 1.8    rillig #include <stdbool.h>
 1.8    rillig
 1.1       cgd /*
 1.1       cgd  * Various information about operators
 1.1       cgd  */
 1.1       cgd typedef	struct {
1.13    rillig 	bool	m_binary: 1;
1.13    rillig 	bool	m_returns_bool: 1;
1.13    rillig 	bool	m_takes_bool: 1;
1.13    rillig 	bool	m_requires_bool: 1;
1.13    rillig 	bool	m_requires_integer: 1;
1.13    rillig 	bool	m_requires_integer_or_complex: 1;
1.13    rillig 	bool	m_requires_arith: 1;
1.13    rillig 	bool	m_requires_scalar: 1;
1.13    rillig 	bool	m_fold_constant_operands: 1;
1.13    rillig 	bool	m_left_value_context: 1;
1.13    rillig 	bool	m_left_test_context: 1;
1.13    rillig 	bool	m_balance_operands: 1;
1.13    rillig 	bool	m_has_side_effect: 1;
1.13    rillig 	bool	m_warn_if_left_unsigned_in_c90: 1;
1.13    rillig 	bool	m_warn_if_right_unsigned_in_c90: 1;
1.13    rillig 	bool	m_possible_precedence_confusion: 1;
1.13    rillig 	bool	m_comparison: 1;
1.13    rillig 	bool	m_valid_on_enum: 1;
1.13    rillig 	bool	m_bad_on_enum: 1;
1.13    rillig 	bool	m_warn_if_operand_eq: 1;
1.13    rillig 	const char *m_name;
 1.1       cgd } mod_t;
 1.1       cgd
1.15    rillig extern const mod_t modtab[];
 1.6  christos
1.10    rillig #define begin_ops() typedef enum {
1.10    rillig #define op(name, repr, \
1.17    rillig 		is_binary, is_logical, takes_bool, requires_bool, \
1.17    rillig 		is_integer, is_complex, is_arithmetic, is_scalar, \
1.17    rillig 		can_fold, is_value, is_test, balances_operands, \
1.17    rillig 		side_effects, left_unsigned, right_unsigned, \
1.17    rillig 		precedence_confusion, is_comparison, \
1.17    rillig 		valid_on_enum, bad_on_enum, warn_if_eq) \
1.10    rillig 	name,
1.10    rillig #define end_ops() } op_t;
1.10    rillig #include "ops.def"