Skip to content

"fail" should have no output edges #250

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.

Sign up for GitHub

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

Jump to bottom
Closed
pcwalton opened this issue Mar 4, 2011 · 1 comment
Closed

"fail" should have no output edges #250

pcwalton opened this issue Mar 4, 2011 · 1 comment

Comments

@pcwalton
Copy link
Contributor

pcwalton commented Mar 4, 2011

Failing test case:

auto x;
alt (...) { case (...) { x = 3; } case (_) { fail; } }
log x;

x should have init set after the alt.
@graydon
Copy link
Contributor

graydon commented Mar 5, 2011

Make ret and fail stmts have 0 out-edges, Closed by d97c800.

keeperofdakeys pushed a commit to keeperofdakeys/rust that referenced this issue Dec 12, 2017
@bors
Auto merge of rust-lang#250 - mrhota:readme_update, r=alexcrichton
f4411ad 
Remove iOS doc links from README

Fixes rust-lang#243
dlrobertson pushed a commit to dlrobertson/rust that referenced this issue Nov 29, 2018
fixes rust-lang#250
074297a
dlrobertson pushed a commit to dlrobertson/rust that referenced this issue Nov 29, 2018
@Havvy
Merge pull request rust-lang#251 from xftroxgpx/patch-1
ce4d33a 
fixes rust-lang#250
ZuseZ4 pushed a commit to EnzymeAD/rust that referenced this issue Mar 7, 2023
@wsmoses
Speed up invert original map (rust-lang#250)
e0a2944
carolynzech added a commit to carolynzech/rust that referenced this issue Mar 4, 2025
@thanhnguyen-aws @carolynzech @tautschnig
Subtree Update Automation Fixes (rust-lang#250)
0027317 
Improvements to the workflow to update the subtree:
- Check for existing PRs before creating new ones
- Update the Kani version automatically
- Remove erroneous additional submodules
- Typo in toolchain file

Resolves rust-lang#249

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

---------

Co-authored-by: Carolyn Zech <[email protected]>
Co-authored-by: Michael Tautschnig <[email protected]>
carolynzech pushed a commit to carolynzech/rust that referenced this issue Apr 17, 2025
@tautschnig @thanhnguyen-aws
Subtree update automation: remove extraneous library folder (rust-lan…
01e61b0 
…g#288)

This restores a fix from rust-lang#250 that was deemed no longer necessary with
the move to subtree split (in rust-lang#270), but this proved to be wrong. (See
model-checking@ab648fe
for such an example of an unintended change.)

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

Co-authored-by: thanhnguyen-aws <[email protected]>
This issue was closed.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@graydon @pcwalton