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