Wolfe patent on "assert chains"

[Steven Bosscher]

Hi,

This is just a heads-up for this patent Sun Microsystems is claiming
on the construction of "Factored assert chains", see
http://www.patentstorm.us/patents/7272829/description.html

I wonder if GCC's VRP ASSERT_EXPRs would be considered prior art.

Gr.
Steven