1

Closed

crash in gpgpu-sim_ispass2009/BFS/_kernel.cu

description

The Boogie file generated by VCGen for gpgpu-sim_ispass2009/BFS/_kernel.cu is incorrect. This is caused by the code that generates conditionalLoopExecution loop invariants. This code assumes a partition expression is always of the form v or !v for some boolean variable v. In the case of the aforementioned kernel, the expression is more complex.
Closed Feb 23, 2015 at 1:03 AM by jketema
Fixed in 1f7853112d20

comments