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