Skip to content

Remove panic::Location::<'a>::caller from skippable functions - #623

Merged
tedinski merged 1 commit into
model-checking:mainfrom
adpaco:no-skip-caller-location
Nov 4, 2021
Merged

Remove panic::Location::<'a>::caller from skippable functions#623
tedinski merged 1 commit into
model-checking:mainfrom
adpaco:no-skip-caller-location

Conversation

@adpaco

@adpaco adpaco commented Nov 4, 2021

Copy link
Copy Markdown
Contributor

Description of changes:

Remove panic::Location::<'a>::caller from the list of functions to skip.

In #376 it was implemented as codegen_unimplemented_intrinsic. #374 is open for handling it.

Resolved issues:

Resolves #205

Call-outs:

Waiting for std-lib-regression.sh to be fixed in #593 so CI shows no issues with std-lib codegen.

Testing:

Checklist

  • Each commit message has a non-empty body, explaining why the change was made
  • Methods or procedures are documented
  • Regression or unit tests are included, or existing tests cover the modified code
  • My PR is restricted to a single feature or bugfix

By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Standard library function panic::Location::<'a>::caller does not codegen

4 participants