From owner-sc22wg14@open-std.org Fri Sep 5 03:17:50 2008 Return-Path: X-Original-To: sc22wg14-domo1 Delivered-To: sc22wg14-domo1@www2.open-std.org Received: by www2.open-std.org (Postfix, from userid 521) id B5A5FC178DC; Fri, 5 Sep 2008 03:17:50 +0200 (CET DST) X-Original-To: sc22wg14@open-std.org Delivered-To: sc22wg14@open-std.org X-Greylist: delayed 1987 seconds by postgrey-1.18 at www2.open-std.org; Fri, 05 Sep 2008 03:17:49 CET DST Received: from outbound.MSE7.exchange.ms (outbound.mse7.exchange.ms [69.25.50.185]) by www2.open-std.org (Postfix) with ESMTP id EC610C178D6 for ; Fri, 5 Sep 2008 03:17:49 +0200 (CET DST) X-MimeOLE: Produced By Microsoft Exchange V6.5 Content-class: urn:content-classes:message MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: quoted-printable Subject: critical undefined behavior Date: Thu, 4 Sep 2008 20:42:04 -0400 Message-ID: <7CE7F921A61FC24F9C443A0E164BB388030C2423@ms12.MSE7.exchange.ms> X-MS-Has-Attach: X-MS-TNEF-Correlator: Thread-Topic: critical undefined behavior Thread-Index: AckO8DeuRDbpnoLyT5elJH3lklfSLw== From: "Thomas Plum" To: "WG14" Sender: owner-sc22wg14@open-std.org Precedence: bulk [apparently this didn't get out yet, let me try again ...] Instead of continuing these lengthening interspersed emails, I've re-formatted the discussion onto the wiki: http://wiki.dinkumware.com/twiki/bin/view/WG14/CriticalUndefinedBehavior Here's the beginning of the new discussion: [tp] Searching for consensus, I'll try a synthesis of the ideas presented so far. Assume, for argument, that we do define a Security Profile (SP). In this profile, only the Critical undefined behaviors are permitted to modify one or more bytes that lie outside the bounds permitted by the standard. Furthermore, the other undefined behaviors must produce an "unspecified value" - the expression is evaluated and the value determined has no restrictions, but must be a well-defined value for each evaluation of an expression. [continued on the wiki] --------------------------------------------------------------------+ Thomas Plum, Plum Hall Inc, 3 Waihona Box 44610, Kamuela HI 96743 USA tplum@plumhall.com .......... TEL +1-808-882-1255 FAX +1-808-882-1556 http://www.PlumHall.com .... TOLLFREE +1-800-PLUM-HALL (800-758-6425)