I believe we do nothing besides -Wall now. Does the clang static analyzer handle C++? I've been meaning to try it out...
John On 4/13/2011 10:43 PM, Andy Lester wrote:
Nope! But let's be clear: although Csmith includes a static analyzer, it is only in service of generating a useful test case. The actual compiler testing is 100% dynamic: we run compilers and look for problems.No, I understand. It's still always good to run one's code through as stringent a static analysis tool (splint, -Wall and then some, etc) as possible, no? xoa -- Andy Lester => andy@petdance.com => www.techworklove.com => AIM:petdance