c3bd3abd8856e8e75d820f65c58031cd6cbac818Matthew Ahrens/*
c3bd3abd8856e8e75d820f65c58031cd6cbac818Matthew Ahrens * CDDL HEADER START
c3bd3abd8856e8e75d820f65c58031cd6cbac818Matthew Ahrens *
c3bd3abd8856e8e75d820f65c58031cd6cbac818Matthew Ahrens * This file and its contents are supplied under the terms of the
c3bd3abd8856e8e75d820f65c58031cd6cbac818Matthew Ahrens * Common Development and Distribution License ("CDDL"), version 1.0.
c3bd3abd8856e8e75d820f65c58031cd6cbac818Matthew Ahrens * You may only use this file in accordance with the terms of version
c3bd3abd8856e8e75d820f65c58031cd6cbac818Matthew Ahrens * 1.0 of the CDDL.
c3bd3abd8856e8e75d820f65c58031cd6cbac818Matthew Ahrens *
c3bd3abd8856e8e75d820f65c58031cd6cbac818Matthew Ahrens * A full copy of the text of the CDDL should have accompanied this
c3bd3abd8856e8e75d820f65c58031cd6cbac818Matthew Ahrens * source. A copy of the CDDL is also available via the Internet at
c3bd3abd8856e8e75d820f65c58031cd6cbac818Matthew Ahrens * http://www.illumos.org/license/CDDL.
c3bd3abd8856e8e75d820f65c58031cd6cbac818Matthew Ahrens *
c3bd3abd8856e8e75d820f65c58031cd6cbac818Matthew Ahrens * CDDL HEADER END
c3bd3abd8856e8e75d820f65c58031cd6cbac818Matthew Ahrens */
c3bd3abd8856e8e75d820f65c58031cd6cbac818Matthew Ahrens
c3bd3abd8856e8e75d820f65c58031cd6cbac818Matthew Ahrens/*
c3bd3abd8856e8e75d820f65c58031cd6cbac818Matthew Ahrens * Copyright (c) 2014, 2016 by Delphix. All rights reserved.
c3bd3abd8856e8e75d820f65c58031cd6cbac818Matthew Ahrens */
c3bd3abd8856e8e75d820f65c58031cd6cbac818Matthew Ahrens
c3bd3abd8856e8e75d820f65c58031cd6cbac818Matthew Ahrens/*
c3bd3abd8856e8e75d820f65c58031cd6cbac818Matthew Ahrens * ASSERTION:
c3bd3abd8856e8e75d820f65c58031cd6cbac818Matthew Ahrens * "if" statement executes the correct body.
c3bd3abd8856e8e75d820f65c58031cd6cbac818Matthew Ahrens */
c3bd3abd8856e8e75d820f65c58031cd6cbac818Matthew Ahrens
c3bd3abd8856e8e75d820f65c58031cd6cbac818Matthew AhrensBEGIN
c3bd3abd8856e8e75d820f65c58031cd6cbac818Matthew Ahrens{
c3bd3abd8856e8e75d820f65c58031cd6cbac818Matthew Ahrens if (1) {
c3bd3abd8856e8e75d820f65c58031cd6cbac818Matthew Ahrens n = 0;
c3bd3abd8856e8e75d820f65c58031cd6cbac818Matthew Ahrens } else {
c3bd3abd8856e8e75d820f65c58031cd6cbac818Matthew Ahrens n = 1;
c3bd3abd8856e8e75d820f65c58031cd6cbac818Matthew Ahrens }
c3bd3abd8856e8e75d820f65c58031cd6cbac818Matthew Ahrens exit(n)
c3bd3abd8856e8e75d820f65c58031cd6cbac818Matthew Ahrens}