1*9512fe85Sahl /* 2*9512fe85Sahl * CDDL HEADER START 3*9512fe85Sahl * 4*9512fe85Sahl * The contents of this file are subject to the terms of the 5*9512fe85Sahl * Common Development and Distribution License (the "License"). 6*9512fe85Sahl * You may not use this file except in compliance with the License. 7*9512fe85Sahl * 8*9512fe85Sahl * You can obtain a copy of the license at usr/src/OPENSOLARIS.LICENSE 9*9512fe85Sahl * or http://www.opensolaris.org/os/licensing. 10*9512fe85Sahl * See the License for the specific language governing permissions 11*9512fe85Sahl * and limitations under the License. 12*9512fe85Sahl * 13*9512fe85Sahl * When distributing Covered Code, include this CDDL HEADER in each 14*9512fe85Sahl * file and include the License file at usr/src/OPENSOLARIS.LICENSE. 15*9512fe85Sahl * If applicable, add the following below this CDDL HEADER, with the 16*9512fe85Sahl * fields enclosed by brackets "[]" replaced with your own identifying 17*9512fe85Sahl * information: Portions Copyright [yyyy] [name of copyright owner] 18*9512fe85Sahl * 19*9512fe85Sahl * CDDL HEADER END 20*9512fe85Sahl */ 21*9512fe85Sahl 22*9512fe85Sahl /* 23*9512fe85Sahl * Copyright 2006 Sun Microsystems, Inc. All rights reserved. 24*9512fe85Sahl * Use is subject to license terms. 25*9512fe85Sahl */ 26*9512fe85Sahl 27*9512fe85Sahl /* 28*9512fe85Sahl * ASSERTION: 29*9512fe85Sahl * Verify relational operators with enumerations 30*9512fe85Sahl * 31*9512fe85Sahl * SECTION: Types, Operators, and Expressions/Relational Operators 32*9512fe85Sahl * 33*9512fe85Sahl */ 34*9512fe85Sahl 35*9512fe85Sahl #pragma D option quiet 36*9512fe85Sahl 37*9512fe85Sahl enum numbers_1 { 38*9512fe85Sahl zero, 39*9512fe85Sahl one, 40*9512fe85Sahl two 41*9512fe85Sahl }; 42*9512fe85Sahl 43*9512fe85Sahl enum numbers_2 { 44*9512fe85Sahl null, 45*9512fe85Sahl first, 46*9512fe85Sahl second 47*9512fe85Sahl }; 48*9512fe85Sahl 49*9512fe85Sahl tick-1 50*9512fe85Sahl /zero >= one || second <= first || zero == second/ 51*9512fe85Sahl { 52*9512fe85Sahl printf("Shouldn't end up here (1)\n"); 53*9512fe85Sahl printf("zero = %d; one = %d; two = %d", zero, one, two); 54*9512fe85Sahl printf("null = %d; first = %d; second = %d", null, first, second); 55*9512fe85Sahl exit(1); 56*9512fe85Sahl } 57*9512fe85Sahl 58*9512fe85Sahl tick-1 59*9512fe85Sahl /second < one || two > second || null == first/ 60*9512fe85Sahl { 61*9512fe85Sahl printf("Shouldn't end up here (2)\n"); 62*9512fe85Sahl printf("zero = %d; one = %d; two = %d", zero, one, two); 63*9512fe85Sahl printf("null = %d; first = %d; second = %d", null, first, second); 64*9512fe85Sahl exit(1); 65*9512fe85Sahl } 66*9512fe85Sahl 67*9512fe85Sahl tick-1 68*9512fe85Sahl /first < two && second > one && one != two && zero != first/ 69*9512fe85Sahl { 70*9512fe85Sahl exit(0); 71*9512fe85Sahl } 72