Svadev mailing list

[Santosh Nagarakatte <santosh.nagarakatte AT gmail.com>]

Hi all,

While I was experimenting with SoftBound and safecode tests, I noticed
that few of the tests return non-zero values from main (example
test/core/buffer-001.c, ...).

I am not using the llvm testing infrastructure.
I have a custom python based test infrastructure.
Having non-zero return values from main (which is the exit code)
complicates automated checking (distinguishing false violations/real
violations).

I propose that we change the return value to zero.
I understand that values were returned to prevent compiler from
optimizing the code away.
We can attain the same effect with print statements.

Thanks,
Santosh


-- 
Santosh G Nagarakatte,
PhD Student,
Computer and Information Science Department
University of Pennsylvania,
Philadelphia-19104
http://www.cis.upenn.edu/~santoshn