Add source location to invalid_source_file_exceptiont #5837
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Codecov Report
@@ Coverage Diff @@
## develop #5837 +/- ##
===========================================
- Coverage 77.80% 77.80% -0.01%
===========================================
Files 1567 1566 -1
Lines 179916 179941 +25
===========================================
+ Hits 139988 140007 +19
- Misses 39928 39934 +6
Continue to review full report at Codecov.
|
tautschnig
changed the title
tautschnig
changed the title
3 tasks
4 tasks
chrisr-diffblue
approved these changes
Jan 23, 2022
4 tasks
tautschnig
changed the title
tautschnig
force-pushed
the
c-no-structured-throws
branch
from
6c368cc to
8e72373
Compare
tautschnig
changed the title
4 tasks
tautschnig
force-pushed
the
c-no-structured-throws
branch
from
8e72373 to
0a6a600
Compare
tautschnig
changed the title
tautschnig
force-pushed
the
c-no-structured-throws
branch
2 times, most recently
from
6d2a0f0 to
8f50ea8
Compare
tautschnig
changed the title
tautschnig
added a commit
that referenced
this pull request
Feb 28, 2022
De-duplicate initialize_goto_model's code [blocks: #5837]
tautschnig
force-pushed
the
c-no-structured-throws
branch
from
8f50ea8 to
00270a6
Compare
tautschnig
force-pushed
the
c-no-structured-throws
branch
from
00270a6 to
e482a61
Compare
tautschnig
changed the title
chris-ryder
approved these changes
Feb 28, 2022
martin-cs
approved these changes
Mar 1, 2022
tautschnig
force-pushed
the
c-no-structured-throws
branch
from
e482a61 to
8bd17d9
Compare
None of our existing tests covers the failure paths of type checking saturating arithmetic and character literal conversion, respectively.
This enables proper use in the C front-end in a way that is compatible with the compiler-specific message handlers in goto-cc: those message handlers generate source-location output that mimics that of the compiler being emulated. As future work it is thus possible to remove all "throw 0" instances from the C front-end.
tautschnig
force-pushed
the
c-no-structured-throws
branch
from
8bd17d9 to
0470384
Compare
peterschrammel
approved these changes
Jun 30, 2022
| @@ -37,5 +38,11 @@ bool typecheckt::typecheck_main() | |||
| error() << e << eom; | |||
| } | |||
|
|
|||
| catch(const invalid_source_file_exceptiont &e) | |||
6 tasks
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
This enables proper use in the C front-end in a way that is compatible
with the compiler-specific message handlers in goto-cc: those message
handlers generate source-location output that mimics that of the
compiler being emulated.
As future work it is thus possible to remove all "throw 0" instances
from the C front-end.