From owner-sc22wg14+sc22wg14-domo2=www.open-std.org@open-std.org  Fri Oct 21 15:45:36 2016
Return-Path: <owner-sc22wg14+sc22wg14-domo2=www.open-std.org@open-std.org>
X-Original-To: sc22wg14-domo2
Delivered-To: sc22wg14-domo2@www.open-std.org
Received: by www.open-std.org (Postfix, from userid 521)
	id C45EF35889E; Fri, 21 Oct 2016 15:45:36 +0200 (CEST)
Delivered-To: sc22wg14@open-std.org
Received: from mga04.intel.com (mga04.intel.com [192.55.52.120])
	(using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits))
	(No client certificate requested)
	by www.open-std.org (Postfix) with ESMTP id D5778357227
	for <sc22wg14@open-std.org>; Fri, 21 Oct 2016 15:45:25 +0200 (CEST)
Received: from fmsmga002.fm.intel.com ([10.253.24.26])
  by fmsmga104.fm.intel.com with ESMTP; 21 Oct 2016 06:45:25 -0700
X-ExtLoop1: 1
X-IronPort-AV: E=Sophos;i="5.31,376,1473145200"; 
   d="scan'208";a="1073722131"
Received: from orsmsx110.amr.corp.intel.com ([10.22.240.8])
  by fmsmga002.fm.intel.com with ESMTP; 21 Oct 2016 06:45:23 -0700
Received: from orsmsx155.amr.corp.intel.com (10.22.240.21) by
 ORSMSX110.amr.corp.intel.com (10.22.240.8) with Microsoft SMTP Server (TLS)
 id 14.3.248.2; Fri, 21 Oct 2016 06:45:23 -0700
Received: from orsmsx103.amr.corp.intel.com ([169.254.5.152]) by
 ORSMSX155.amr.corp.intel.com ([10.22.240.21]) with mapi id 14.03.0248.002;
 Fri, 21 Oct 2016 06:45:23 -0700
From: "Nelson, Clark" <clark.nelson@intel.com>
To: ISO C <sc22wg14@open-std.org>
Subject: Suggested TC for DR 494
Thread-Topic: Suggested TC for DR 494
Thread-Index: AdIroVszfhVtAQVdTgWq4jPtiegu8w==
Date: Fri, 21 Oct 2016 13:45:22 +0000
Message-ID: <38C37E44FD352B44ABFC58410B0790D0ABC52B04@ORSMSX103.amr.corp.intel.com>
Accept-Language: en-US
Content-Language: en-US
X-MS-Has-Attach:
X-MS-TNEF-Correlator:
x-originating-ip: [10.22.254.139]
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: quoted-printable
MIME-Version: 1.0
Sender: owner-sc22wg14@open-std.org
Precedence: bulk

Currently, the last sentence of 6.7.6.2p5 is:

 Where a size expression is part of the operand of a sizeof operator
 and changing the value of the size expression would not affect
 the result of the operator, it is unspecified whether or not
 the size expression is evaluated.

I propose to add a new sentence immediately after it:

 Where a size expression is part of the operand of an _Alignof
 operator, that expression is not evaluated.

As a reminder, the main question about whether the expression is
evaluated at all is relevant only if the expression has any side
effects.

Clark
