Skip to content
This repository has been archived by the owner on Oct 3, 2021. It is now read-only.

Remove some warning suppression flags and lay the ground work for treating some warnings as errors #105

Merged
merged 8 commits into from Nov 4, 2015

Conversation

delcypher
Copy link
Member

This PR

  • Reverts the hack I added to workaround benchmarks that didn't compile with Clang without -Wno-return-type.
  • Removes some warning suppression flags which I see no good reason for suppressing
  • Lays the ground work for treating certain warnings as errors and adds -Werror=main as an example.

Ideally I'd like to add -Werror=implicit-function-declaration and -Werror=implicit-int but unfortunately it looks like the benchmarks are littered with violations of these.

Dan Liew added 8 commits November 4, 2015 12:26
…ion flags"

This reverts commit 4815a22.

This isn't necessary anymore since the benchmarks in ldv-consumption
have been fixed.
that we can have certain warnings treated as errors. Now we no longer
suppress -Wmain and instead pass -Werror=main so that incorrect main()
functions trigger a compiler error instead of a warning.
justifiable as it likely means there is undefined behaviour.
-Werror=implicit-int. I tried adding these but the benchmarks don't
compile with these set and it looks like a lot of work to fix these.
@delcypher delcypher changed the title Remove some warning suppressions and lay the ground work for treating some warnings as error Remove some warning suppression flags and lay the ground work for treating some warnings as errors Nov 4, 2015
@delcypher delcypher mentioned this pull request Nov 4, 2015
dbeyer added a commit that referenced this pull request Nov 4, 2015
Remove some warning suppression flags and lay the ground work for treating some warnings as errors
@dbeyer dbeyer merged commit ba4a808 into sosy-lab:master Nov 4, 2015
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants