Hacker News new | past | comments | ask | show | jobs | submit login
An Executable Semantics for C is Useful (regehr.org)
27 points by evangineer on June 4, 2011 | hide | past | favorite | 4 comments





While obviously not as powerful as the presented tool, gcc has a lot of optional warning flags which may be useful. -std=c99 -pedantic might help you avoid the worst compiler-specific features.


Thanks for that, as a result I had a look at the GCC man page section re: Options Controlling C Dialect and also the one re: Options to Request or Suppress Warnings.

Haven't done any real C coding in years, so it's good to know about those options.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: