Skip to content

disable source output in ASM #1328

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

Closed
wants to merge 1 commit into from
Closed

disable source output in ASM #1328

wants to merge 1 commit into from

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
Member

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.

2 participants