1178476Sjb/* 2178476Sjb * CDDL HEADER START 3178476Sjb * 4178476Sjb * The contents of this file are subject to the terms of the 5178476Sjb * Common Development and Distribution License (the "License"). 6178476Sjb * You may not use this file except in compliance with the License. 7178476Sjb * 8178476Sjb * You can obtain a copy of the license at usr/src/OPENSOLARIS.LICENSE 9178476Sjb * or http://www.opensolaris.org/os/licensing. 10178476Sjb * See the License for the specific language governing permissions 11178476Sjb * and limitations under the License. 12178476Sjb * 13178476Sjb * When distributing Covered Code, include this CDDL HEADER in each 14178476Sjb * file and include the License file at usr/src/OPENSOLARIS.LICENSE. 15178476Sjb * If applicable, add the following below this CDDL HEADER, with the 16178476Sjb * fields enclosed by brackets "[]" replaced with your own identifying 17178476Sjb * information: Portions Copyright [yyyy] [name of copyright owner] 18178476Sjb * 19178476Sjb * CDDL HEADER END 20178476Sjb */ 21178476Sjb 22178476Sjb/* 23178476Sjb * Copyright 2006 Sun Microsystems, Inc. All rights reserved. 24178476Sjb * Use is subject to license terms. 25178476Sjb */ 26178476Sjb 27178476Sjb#pragma ident "%Z%%M% %I% %E% SMI" 28178476Sjb 29178476Sjb/* 30178476Sjb * ASSERTION: 31178476Sjb * Verify relational operators with enumerations 32178476Sjb * 33178476Sjb * SECTION: Types, Operators, and Expressions/Relational Operators 34178476Sjb * 35178476Sjb */ 36178476Sjb 37178476Sjb#pragma D option quiet 38178476Sjb 39178476Sjbenum numbers_1 { 40178476Sjb zero, 41178476Sjb one, 42178476Sjb two 43178476Sjb}; 44178476Sjb 45178476Sjbenum numbers_2 { 46178476Sjb null, 47178476Sjb first, 48178476Sjb second 49178476Sjb}; 50178476Sjb 51178476Sjbtick-1 52178476Sjb/zero >= one || second <= first || zero == second/ 53178476Sjb{ 54178476Sjb printf("Shouldn't end up here (1)\n"); 55178476Sjb printf("zero = %d; one = %d; two = %d", zero, one, two); 56178476Sjb printf("null = %d; first = %d; second = %d", null, first, second); 57178476Sjb exit(1); 58178476Sjb} 59178476Sjb 60178476Sjbtick-1 61178476Sjb/second < one || two > second || null == first/ 62178476Sjb{ 63178476Sjb printf("Shouldn't end up here (2)\n"); 64178476Sjb printf("zero = %d; one = %d; two = %d", zero, one, two); 65178476Sjb printf("null = %d; first = %d; second = %d", null, first, second); 66178476Sjb exit(1); 67178476Sjb} 68178476Sjb 69178476Sjbtick-1 70178476Sjb/first < two && second > one && one != two && zero != first/ 71178476Sjb{ 72178476Sjb exit(0); 73178476Sjb} 74