1 /*
   2  * CDDL HEADER START
   3  *
   4  * This file and its contents are supplied under the terms of the
   5  * Common Development and Distribution License ("CDDL"), version 1.0.
   6  * You may only use this file in accordance with the terms of version
   7  * 1.0 of the CDDL.
   8  *
   9  * A full copy of the text of the CDDL should have accompanied this
  10  * source.  A copy of the CDDL is also available via the Internet at
  11  * http://www.illumos.org/license/CDDL.
  12  *
  13  * CDDL HEADER END
  14  */
  15 
  16 /*
  17  * Copyright (c) 2014 by Delphix. All rights reserved.
  18  */
  19 
  20 /*
  21  * ASSERTION:
  22  *   "if" statement executes the correct body.
  23  */
  24 
  25 BEGIN
  26 {
  27         if (1) {
  28                 n = 0;
  29         } else {
  30                 n = 1;
  31         }
  32         exit(n)
  33 }