Skip to content

Migrate all uses of message_streamt to messaget #166

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 7 commits into from
May 29, 2017

Conversation

tautschnig
Copy link
Collaborator

Includes cleanup of messaging APIs and diagnostic output.

@tautschnig tautschnig force-pushed the messaget branch 3 times, most recently from c87d69d to 4f44935 Compare July 7, 2016 16:21
@kroening kroening self-assigned this Jul 11, 2016
@kroening
Copy link
Member

A large fraction of this is now merged -- may I ask for a rebase?

@tautschnig
Copy link
Collaborator Author

The requested rebase is now done; cherry-picking patches from this pull request instead of manual merges would help a lot to avoid having to spend a lot of time on fixing ensuing conflicts.

@kroening
Copy link
Member

Did cherry-pick for most of these!

@forejtv
Copy link
Contributor

forejtv commented Feb 20, 2017

@tautschnig @kroening What is the status of this, is it still relevant? If yes, should it be rebased, reviewed and merged? Most of the changes seem non-controversial.

@tautschnig
Copy link
Collaborator Author

Working on the rebase.

@tautschnig
Copy link
Collaborator Author

I have opened #563 for the linter failure. I'll now look into the regression test failures.

@forejtv forejtv assigned tautschnig and unassigned kroening Feb 21, 2017
@tautschnig tautschnig force-pushed the messaget branch 5 times, most recently from 6a025cd to 0b05d3c Compare February 22, 2017 08:48
@tautschnig
Copy link
Collaborator Author

Has the Travis configuration been removed? The other checks appear to be passing.

@forejtv forejtv removed their assignment Feb 22, 2017
@forejtv
Copy link
Contributor

forejtv commented Feb 22, 2017

No idea why Travis was not showing up, it was running. The tests pass, so I think this should be good to go. @kroening, your turn.

@tautschnig
Copy link
Collaborator Author

@kroening Could this please be considered for the upcoming release? It will (among lots of other cleanup) get the goto-cc output back to a sane state.

@kroening
Copy link
Member

kroening commented Apr 3, 2017

I have cherry-picked the obvious bits. What's the idea of using those counters?

@tautschnig
Copy link
Collaborator Author

I have rebased the patch set to current master; the message counters allow selective treatment of warnings as errors (just like compilers can be told to do).

@tautschnig tautschnig force-pushed the messaget branch 2 times, most recently from 10ea7c6 to 3ad2675 Compare April 4, 2017 13:48
@tautschnig
Copy link
Collaborator Author

I have now also added that patch that makes use of message counters (to support -Werror and its equivalents).

@forejtv
Copy link
Contributor

forejtv commented Apr 4, 2017

@tautschnig this now needs a rebase due to an earlier error in master that got propagated to this branch.

@tautschnig
Copy link
Collaborator Author

Rebase done.

@tautschnig
Copy link
Collaborator Author

It should be noted that 51a1b1b handles Wno-error together with Werror for GCC, but does not necessarily cope with conflicting error-configuration parameters for other platforms as I don't have access to those.

@tautschnig tautschnig force-pushed the messaget branch 2 times, most recently from da2ac8e to 1aaffe3 Compare May 22, 2017 09:58
Works at all message levels, instead of the previous get_errors_found
workarounds.
…re set

For goto-cl, goto-armcc, etc the equivalent options enable fail-on-warnings
mode. Do not fail with -Werror -Wall (but not -Wextra) as that breaks too
many builds as we don't have an equivalent of -Wno-...
GOTO conversion must honour the message handler set up by the chosen goto-cc
mode. Thus the message handler set up in the specific mode has to be handed on
to compilet. As a language_uit this requires a ui_message_handlert. Consequently
make console_message_handlert, gcc_message_handlert ui_message_handlert in PLAIN
ui mode (which is consistent).
@kroening kroening merged commit 0b62971 into diffblue:master May 29, 2017
@tautschnig tautschnig deleted the messaget branch May 29, 2017 15:34
thk123 pushed a commit that referenced this pull request Oct 17, 2017
…_changes

[TYT-5] Address Martin's comments of the Cyclic Dependency Analysis
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants