This is the mail archive of the gcc@gcc.gnu.org mailing list for the GCC project.

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]
Other format:	[Raw text]

Re: Wolfe patent on "assert chains"

From: "Daniel Berlin" <dberlin at dberlin dot org>
To: "Diego Novillo" <dnovillo at google dot com>
Cc: "Steven Bosscher" <stevenb dot gcc at gmail dot com>, "GCC Development" <gcc at gcc dot gnu dot org>
Date: Mon, 2 Jun 2008 09:14:36 -0400
Subject: Re: Wolfe patent on "assert chains"
References: <571f6b510806020149s21f17e75j1c591e13167def65@mail.gmail.com> <b798aad50806020605s4b6a2a43jf91234748769bc40@mail.gmail.com>

On Mon, Jun 2, 2008 at 9:05 AM, Diego Novillo <dnovillo@google.com> wrote:
> On Mon, Jun 2, 2008 at 04:49, Steven Bosscher <stevenb.gcc@gmail.com> wrote:
>
>> I wonder if GCC's VRP ASSERT_EXPRs would be considered prior art.
>
> Even earlier than that.  The assertion mechanism in GCC was taken
> directly from the PLDI'95 Patterson paper.

Guys, as long as the implementation exactly follows some practice that
pre-dates the priority date on the patent (in this case, 2003), you
have nothing to worry about.

(and by exactly, i mean exactly)

References:
- Wolfe patent on "assert chains"
  - From: Steven Bosscher
- Re: Wolfe patent on "assert chains"
  - From: Diego Novillo

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]