-dopra may break on non-convex polyhedra if non-unit STEP
|
|
Bugzilla Link |
1152 |
Created on |
Apr 05, 2015 20:12 |
Version |
svn |
OS |
Linux |
Architecture |
PC |
Extended Description
I am just beginning to learn about this polyhedral stuff, but I think
there may be the potential for at least one more bug in PRA:
PRA calls PolyLib, which apparently only supports convex polyhedra.
As I understand it, an affine expression tree describing a consumerWL
in which the producerWL has non-unit STEP (or maybe if either of
them have non-unit STEP) turns into a non-convex polyhedron, essentially
one with holes through it.
Intersecting the PWL and CWL (or multiple partitions of the same WL)
could erroneously produce an OKAY result, despite the fact that
they are NOT okay.
I do not have a test case to prove this. At present, it is just
a conjecture.