OpenJDK security updates
 

Hi,

I'd like to release IcedTea 1.8.7 as a security update for both
squeeze and lenny. In order to keep the version numbering sane, I'd
like to see it in unstable first. Do you plan to upload 1.8.7 soon?

Florian


--
To UNSUBSCRIBE, email to debian-java-REQUEST@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org
Archive: 87sjvhcjav.fsf@mid.deneb.enyo.de">http://lists.debian.org/87sjvhcjav.fsf@mid.deneb.enyo.de


Mon Feb 21 20:30:01 2011
Return-path: <bounce-debian-gcc=tom=linux-archive.org@lists.debian.org>
Envelope-to: tom@linux-archive.org
Delivery-date: Mon, 21 Feb 2011 19:43:51 +0200
Received: from liszt.debian.org ([82.195.75.100]:38036)
by s2.java-tips.org with esmtps (TLSv1:AES256-SHA:256)
(Exim 4.69)
(envelope-from <bounce-debian-gcc=tom=linux-archive.org@lists.debian.org>)
id 1PrZnb-0002NF-FA
for tom@linux-archive.org; Mon, 21 Feb 2011 19:43:51 +0200
Received: from localhost (localhost [127.0.0.1])
by liszt.debian.org (Postfix) with QMQP
id 2C70713A7CBB; Mon, 21 Feb 2011 18:54:17 +0000 (UTC)
Old-Return-Path: <debbugs@busoni.debian.org>
X-Original-To: lists-debian-gcc@liszt.debian.org
Delivered-To: lists-debian-gcc@liszt.debian.org
Received: from localhost (localhost [127.0.0.1])
by liszt.debian.org (Postfix) with ESMTP id A90A613A7CD4
for <lists-debian-gcc@liszt.debian.org>; Mon, 21 Feb 2011 18:54:16 +0000 (UTC)
X-Virus-Scanned: at lists.debian.org with policy bank en-ht
X-Spam-Flag: NO
X-Spam-Score: -9.88
X-Spam-Level:
X-Spam-Status: No, score=-9.88 tagged_above=-10000 required=5.3
tests=[BAYES_00=-2, FOURLA=0.1, IMPRONONCABLE_2=1, LDO_WHITELIST=-5,
MURPHY_DRUGS_REL8=0.02, RCVD_IN_DNSWL_MED=-4] autolearn=ham
Received: from liszt.debian.org ([127.0.0.1])
by localhost (lists.debian.org [127.0.0.1]) (amavisd-new, port 2525)
with ESMTP id 4xDC9h1RueHM for <lists-debian-gcc@liszt.debian.org>;
Mon, 21 Feb 2011 18:54:08 +0000 (UTC)
Received: from busoni.debian.org (busoni.debian.org [140.211.15.34])
(using TLSv1 with cipher AES256-SHA (256/256 bits))
(Client did not present a certificate)
by liszt.debian.org (Postfix) with ESMTPS id 9EC0913A7CF6;
Mon, 21 Feb 2011 18:54:08 +0000 (UTC)
Received: from debbugs by busoni.debian.org with local (Exim 4.69)
(envelope-from <debbugs@busoni.debian.org>)
id 1PratZ-0002YH-1S; Mon, 21 Feb 2011 18:54:05 +0000
X-Loop: owner@bugs.debian.org
Subject: Bug#614402: gnat-4.4: Pragma Assert is rejected with No_Implementation_Pragmas restriction
Reply-To: =?UTF-8?Q?=D0=84=D0=B2=D0=B3=D0=B5=D0=BD=D1=96=D0=B9_?= =?UTF-8?Q?=D0=9C=D0=B5=D1=89=D0=B5=D1=80=D1=8F=D0=BA=D0= BE=D0=B2?= <eugen@debian.org>, 614402@bugs.debian.org
Resent-From: =?UTF-8?Q?=D0=84=D0=B2=D0=B3=D0=B5=D0=BD=D1=96=D0=B9_?= =?UTF-8?Q?=D0=9C=D0=B5=D1=89=D0=B5=D1=80=D1=8F=D0=BA=D0= BE=D0=B2?= <eugen@debian.org>
Resent-To: debian-bugs-dist@lists.debian.org
Resent-CC: Debian GCC Maintainers <debian-gcc@lists.debian.org>
X-Loop: owner@bugs.debian.org
Resent-Date: Mon, 21 Feb 2011 18:54:02 +0000
Resent-Message-ID: <handler.614402.B.12983143319470@bugs.debian.org >
X-Debian-PR-Message: report 614402
X-Debian-PR-Package: gnat-4.4
X-Debian-PR-Keywords: patch upstream
X-Debian-PR-Source: gnat-4.4
Received: via spool by submit@bugs.debian.org id=B.12983143319470
(code B ref -1); Mon, 21 Feb 2011 18:54:02 +0000
Received: (at submit) by bugs.debian.org; 21 Feb 2011 18:52:11 +0000
X-Spam-Bayes: score:0.0000 Tokens: new, 47; hammy, 151; neutral, 191; spammy,
0. spammytokens: hammytokens:0.000-+--H*M:reportbug, 0.000-+--H*MI:reportbug,
0.000-+--H*x:reportbug, 0.000-+--H*UA:reportbug, 0.000-+--H*x:4.12.6
Received: from smtp2.tu-cottbus.de ([141.43.99.248])
by busoni.debian.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32)
(Exim 4.69)
(envelope-from <eugen@debian.org>)
id 1Prari-0002Rl-7d
for submit@bugs.debian.org; Mon, 21 Feb 2011 18:52:11 +0000
Received: from localhost (localhost [127.0.0.1])
by smtp2.tu-cottbus.de (Postfix) with ESMTP id 1F18A690129;
Mon, 21 Feb 2011 19:52:01 +0100 (CET)
X-Virus-Scanned: by AMaViS (at smtp2.tu-cottbus.de)
Received: from loki (cd1.cd.tu-cottbus.de [141.43.159.77])
(using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits))
(Client did not present a certificate)
(Authenticated sender: meshciev)
by smtp2.tu-cottbus.de (Postfix) with ESMTPSA id 09F8F69012E;
Mon, 21 Feb 2011 19:51:55 +0100 (CET)
Received: by loki (Postfix, from userid 1000)
id DE4C5EAA1FA; Mon, 21 Feb 2011 19:51:54 +0100 (CET)
Content-Type: multipart/mixed; boundary="===============7648832715716615336=="
MIME-Version: 1.0
From: =?UTF-8?Q?=D0=84=D0=B2=D0=B3=D0=B5=D0=BD=D1=96=D0=B9_?= =?UTF-8?Q?=D0=9C=D0=B5=D1=89=D0=B5=D1=80=D1=8F=D0=BA=D0= BE=D0=B2?=
<eugen@debian.org>
To: Debian Bug Tracking System <submit@bugs.debian.org>
Message-ID: <20110221185154.7273.23519.reportbug@openfonts.org >
X-Mailer: reportbug 4.12.6
Date: Mon, 21 Feb 2011 19:51:54 +0100
Delivered-To: submit@bugs.debian.org
Resent-Date: Mon, 21 Feb 2011 18:54:05 +0000
X-Rc-Virus: 2007-09-13_01
X-Mailing-List: <debian-gcc@lists.debian.org> archive/latest/39280
X-Loop: debian-gcc@lists.debian.org
List-Id: <debian-gcc.lists.debian.org>
List-Post: <mailto:debian-gcc@lists.debian.org>
List-Help: <mailto:debian-gcc-request@lists.debian.org?subject=help>
List-Subscribe: <mailto:debian-gcc-request@lists.debian.org?subject=subscribe>
List-Unsubscribe: <mailto:debian-gcc-request@lists.debian.org?subject=unsubscribe>
Precedence: list
Resent-Sender: debian-gcc-request@lists.debian.org

This is a multi-part MIME message sent by reportbug.


--===============7648832715716615336==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

Package: gnat-4.4
Version: 4.4.5-3
Severity: normal
Tags: upstream patch
Forwarded: http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47818

I reported this bug to gcc bugzilla, but it is also applies to Debian
(gnat-4.4 and gcc-snapshot).

Compilation of code containing pragma Assert fails if restriction
No_Implementation_Pragmas is used, even with -gnat2005 or -gnat2012
flags:

% cat test.adb
pragma Restrictions(No_Implementation_Pragmas);

procedure test(I : Integer) is
begin
pragma Assert(I /= 1);
null;
end;
% gcc -c test.adb -gnat2005
test.adb:5:03: violation of restriction "no_implementation_pragmas" at line 1

Source file gcc/ada/sem_prag.adb contains correct check for Pragma_Assert
(Ada_2005_Pragma). But this pragma is then rewritten as pragma Check and
restrictions (GNAT_Pragma) are tested again. This test fails and causes
compilation error.

Attached patch adds check in Pragma_Check case. If rewritten pragma Assert was
found then restrictions are not checked.

-- System Information:
Debian Release: wheezy/sid
APT prefers unstable
APT policy: (500, 'unstable'), (1, 'experimental')
Architecture: amd64 (x86_64)

Kernel: Linux 2.6.38-rc5+ (SMP w/2 CPU cores; PREEMPT)
Locale: LANG=uk_UA.UTF-8, LC_CTYPE=uk_UA.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash

Versions of packages gnat-4.4 depends on:
ii gcc-4.4 4.4.5-12 The GNU C compiler
ii gnat-4.4-base 4.4.5-3 The GNU Compiler Collection (gnat
ii libc6 2.11.2-11 Embedded GNU C Library: Shared lib
ii libc6-dev 2.11.2-11 Embedded GNU C Library: Developmen
ii libgcc1 1:4.6-20110125-1 GCC support library
ii libgmp3c2 2:4.3.2+dfsg-1 Multiprecision arithmetic library
ii libgnat-4.4 4.4.5-3 Runtime library for GNU Ada applic
ii libgnatprj4.4 4.4.5-3 GNU Ada Project Manager
ii libgnatvsn4.4 4.4.5-3 GNU Ada compiler version library
ii libmpfr4 3.0.0-6 multiple precision floating-point

gnat-4.4 recommends no packages.

Versions of packages gnat-4.4 suggests:
pn ada-reference-manual <none> (no description available)
ii gnat-4.4-doc 4.4.4.nf1-1 documentation for the GNU Ada 95 C
ii gnat-gps 4.3-6 The GNAT Programming System - adva
ii gprbuild 1.3.0-2 a multi-language extensible build

-- no debconf information

--===============7648832715716615336==
Content-Type: text/x-diff; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: attachment; filename="gnat-pragma-assert.diff"

diff --git a/gcc/ada/sem_prag.adb b/gcc/ada/sem_prag.adb
index fd509c4..b5bae50 100644
--- a/gcc/ada/sem_prag.adb
+++ b/gcc/ada/sem_prag.adb
@@ -6477,7 +6477,16 @@ package body Sem_Prag is
-- Set True if category of assertions referenced by Name enabled

begin
- GNAT_Pragma;
+ -- This could be a rewritten pragma Assert. If it is the case
+ -- then don't check restrictions, because they are different for
+ -- pragma Assert and were already checked.
+
+ if Nkind (Original_Node (N)) /= N_Pragma
+ or else Pragma_Name (Original_Node (N)) /= Name_Assert
+ then
+ GNAT_Pragma;
+ end if;
+
Check_At_Least_N_Arguments (2);
Check_At_Most_N_Arguments (3);
Check_Optional_Identifier (Arg1, Name_Name);

--===============7648832715716615336==--



--
To UNSUBSCRIBE, email to debian-gcc-REQUEST@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org
Archive: http://lists.debian.org/20110221185154.7273.23519.reportbug@openfonts.org