Skip to content

LLVM module verifier breakage for loop in alt in iter #791

New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Closed
marijnh opened this issue Aug 1, 2011 · 0 comments
Closed

LLVM module verifier breakage for loop in alt in iter #791

marijnh opened this issue Aug 1, 2011 · 0 comments

Comments

@marijnh
Copy link
Contributor

marijnh commented Aug 1, 2011

This code produces:

Stored value type does not match pointer operand type!
  store i1 false, i32* %0
 i32Broken module found, compilation aborted!
Stack dump:
0.  Running pass 'Function Pass Manager' on module 'rust_out'.
1.  Running pass 'Module Verifier' on function '@_ZN1xE'
Aborted

The error goes away if the loop is moved out of the alt, or the iter is made into a fn. Changing the loop to a for-each doesn't make the error go away.

iter x(i: int) -> int {
    alt true {
      true { for j in ~[1] {} }
    }
}

fn main() {
}
@marijnh marijnh closed this as completed in 78a0d38 Aug 2, 2011
keeperofdakeys pushed a commit to keeperofdakeys/rust that referenced this issue Dec 12, 2017
Disable https on Android SDK fetch

Apparently it no longer works
marysaka pushed a commit to sunriseos/rust that referenced this issue Oct 20, 2019
pdietl pushed a commit to pdietl/rust that referenced this issue Apr 23, 2020
Emphasize that `#[inline]` in all shapes is a hint.
graydon added a commit to graydon/rust that referenced this issue Oct 16, 2024
graydon added a commit to graydon/rust that referenced this issue Oct 23, 2024
fmease added a commit to fmease/rust that referenced this issue Oct 23, 2024
Add wasm32v1-none target (compiler-team/rust-lang#791)

This is a preliminary implementation of the MCP discussed in [compiler-team#791](rust-lang/compiler-team#791). It's not especially "major" but you know, process! Anyway it adds a new wasm32v1-none target which just pins down a set of wasm features. I think this is close to the consensus that emerged when discussing it on Zulip so I figured I'd sketch to see how hard it is. Turns out not very.
bors added a commit to rust-lang-ci/rust that referenced this issue Oct 23, 2024
Rollup of 5 pull requests

Successful merges:

 - rust-lang#131043 (Refactor change detection for rustdoc and download-rustc)
 - rust-lang#131181 (Compiletest: Custom differ)
 - rust-lang#131487 (Add wasm32v1-none target (compiler-team/rust-lang#791))
 - rust-lang#132054 (do not remove `.cargo` directory)
 - rust-lang#132058 (CI: rfl: use rust-next temporary commit)

r? `@ghost`
`@rustbot` modify labels: rollup
rust-timer added a commit to rust-lang-ci/rust that referenced this issue Oct 23, 2024
Rollup merge of rust-lang#131487 - graydon:wasm32v1-none, r=alexcrichton

Add wasm32v1-none target (compiler-team/rust-lang#791)

This is a preliminary implementation of the MCP discussed in [compiler-team#791](rust-lang/compiler-team#791). It's not especially "major" but you know, process! Anyway it adds a new wasm32v1-none target which just pins down a set of wasm features. I think this is close to the consensus that emerged when discussing it on Zulip so I figured I'd sketch to see how hard it is. Turns out not very.
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant