This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: Wolfe patent on "assert chains"
- From: Diego Novillo <dnovillo at google dot com>
- To: Steven Bosscher <stevenb dot gcc at gmail dot com>
- Cc: GCC Development <gcc at gcc dot gnu dot org>
- Date: Mon, 2 Jun 2008 09:05:04 -0400
- Subject: Re: Wolfe patent on "assert chains"
- References: <571f6b510806020149s21f17e75j1c591e13167def65@mail.gmail.com>
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.
Diego.