diff options
| author | Graydon Hoare <graydon@mozilla.com> | 2012-01-31 12:51:53 -0800 |
|---|---|---|
| committer | Graydon Hoare <graydon@mozilla.com> | 2012-01-31 12:51:53 -0800 |
| commit | fb236b0bb6c274ac9d13f22d6a5f2013b26f48de (patch) | |
| tree | 6c069761db827fbf9fda94a13fad943f088efd6e | |
| parent | f7d756fcac7eeadc9050295ca6b0f45d8a74da69 (diff) | |
| parent | 45c1dfe5b318dac6641dee439d6498209cae455a (diff) | |
| download | rust-fb236b0bb6c274ac9d13f22d6a5f2013b26f48de.tar.gz rust-fb236b0bb6c274ac9d13f22d6a5f2013b26f48de.zip | |
Merge branch 'master' of github.com:mozilla/rust
| -rw-r--r-- | src/comp/middle/tstate/pre_post_conditions.rs | 17 | ||||
| -rw-r--r-- | src/test/run-pass/issue-1660.rs | 3 |
2 files changed, 4 insertions, 16 deletions
diff --git a/src/comp/middle/tstate/pre_post_conditions.rs b/src/comp/middle/tstate/pre_post_conditions.rs index 9977b20cddb..dcb117cb6a3 100644 --- a/src/comp/middle/tstate/pre_post_conditions.rs +++ b/src/comp/middle/tstate/pre_post_conditions.rs @@ -41,22 +41,7 @@ fn find_pre_post_method(ccx: crate_ctxt, m: @method) { fn find_pre_post_item(ccx: crate_ctxt, i: item) { alt i.node { item_const(_, e) { - // make a fake fcx - let v: @mutable [node_id] = @mutable []; - let fake_fcx = - { - // just bogus - enclosing: - {constrs: new_def_hash::<constraint>(), - num_constraints: 0u, - cf: return_val, - i_return: ninit(0, ""), - i_diverge: ninit(0, ""), - used_vars: v}, - id: 0, - name: "", - ccx: ccx}; - find_pre_post_expr(fake_fcx, e); + // do nothing -- item_consts don't refer to local vars } item_fn(_, _, body) { assert (ccx.fm.contains_key(i.id)); diff --git a/src/test/run-pass/issue-1660.rs b/src/test/run-pass/issue-1660.rs new file mode 100644 index 00000000000..0f4958e6ae1 --- /dev/null +++ b/src/test/run-pass/issue-1660.rs @@ -0,0 +1,3 @@ +fn main() { + const _x: int = 1<<2; +} |
