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 email@example.com.