Unused files in ldv-regression

[PhilippWendler]

The directory ldv-regression contains files test[01..30]*.c that are not matched by any of the patterns in the category definitions, thus they are unused. It seems this is the case for at least 3 years. What was the intention for these files? Should we include them?

[mutilin]

Yes, we should include them. These benchmarks were contributed by Mikhail Mandrykin for testing pointer arithmetic. I think they were removed accidentally together with CIL files also having extension *.c

[mutilin]

I think that *.cil.c files were remeved as far as we we have the originals *.i files but not preprocessed with CIL