In PolyOpt/C, polyhedral programs are a constrained subset of C programs
and it can be difficult at start to understand why a program is not
detected as a SCoP. Try using the
--polyopt-scop-extractor-verbose=4 option, and reading the
papers referenced below.
For any other problem, please contact directly Louis-Noel Pouchet pouchet@cse.ohio-state.edu.