Skip to content

Conversation

@tautschnig
Copy link
Collaborator

@tautschnig tautschnig commented Sep 1, 2017

This is a spin-off of #1294 to separate two distinct problems that require different levels of discussion.

My task to to review whether this change causes any other problems not considered here.

@tautschnig tautschnig self-assigned this Sep 1, 2017
@tautschnig
Copy link
Collaborator Author

The problem of the proposed solution is that we lose out on cases where gcc is first called with -S and the assembler is run in a separate step. (This code now disabled was specifically built to handle this case as some key bits of code were built in this way.)

I'll investigate different solutions.

@kroening
Copy link
Collaborator

kroening commented Sep 8, 2017

This may become obsolete by fixing the programs that process the asm output.

@kroening kroening closed this Sep 16, 2017
@kroening kroening deleted the fix-asm-output branch September 21, 2018 21:37
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.

3 participants