Skip to content
体验新版
项目
组织
正在加载...
登录
切换导航
打开侧边栏
int
Rust
提交
c0c8ce80
R
Rust
项目概览
int
/
Rust
接近 1 年 前同步成功
通知
1
Star
0
Fork
0
代码
文件
提交
分支
Tags
贡献者
分支图
Diff
Issue
0
列表
看板
标记
里程碑
合并请求
0
DevOps
流水线
流水线任务
计划
Wiki
0
Wiki
分析
仓库
DevOps
项目成员
Pages
R
Rust
项目概览
项目概览
详情
发布
仓库
仓库
文件
提交
分支
标签
贡献者
分支图
比较
Issue
0
Issue
0
列表
看板
标记
里程碑
合并请求
0
合并请求
0
Pages
DevOps
DevOps
流水线
流水线任务
计划
分析
分析
仓库分析
DevOps
Wiki
0
Wiki
成员
成员
收起侧边栏
关闭侧边栏
动态
分支图
创建新Issue
流水线任务
提交
Issue看板
体验新版 GitCode,发现更多精彩内容 >>
提交
c0c8ce80
编写于
9月 11, 2019
作者:
W
Wesley Wiser
浏览文件
操作
浏览文件
下载
电子邮件补丁
差异文件
[const-prop] Replace `Ref` handling with use of `InterpCx`
上级
9ec928ca
变更
2
隐藏空白更改
内联
并排
Showing
2 changed file
with
21 addition
and
8 deletion
+21
-8
src/librustc_mir/interpret/step.rs
src/librustc_mir/interpret/step.rs
+19
-2
src/librustc_mir/transform/const_prop.rs
src/librustc_mir/transform/const_prop.rs
+2
-6
未找到文件。
src/librustc_mir/interpret/step.rs
浏览文件 @
c0c8ce80
...
...
@@ -2,11 +2,11 @@
//!
//! The main entry point is the `step` method.
use
rustc
::
mir
;
use
rustc
::
mir
::{
self
,
Place
,
PlaceBase
}
;
use
rustc
::
ty
::
layout
::
LayoutOf
;
use
rustc
::
mir
::
interpret
::{
InterpResult
,
Scalar
,
PointerArithmetic
};
use
super
::{
InterpCx
,
Machine
};
use
super
::{
InterpCx
,
LocalValue
,
Machine
};
/// Classify whether an operator is "left-homogeneous", i.e., the LHS has the
/// same type as the result.
...
...
@@ -240,6 +240,23 @@ pub fn eval_rvalue_into_place(
}
Ref
(
_
,
_
,
ref
place
)
=>
{
// FIXME(wesleywiser) we don't currently handle the case where we try to make a ref
// from a function argument that hasn't been assigned to in this function. So just
// report those as uninitialized for now.
if
let
Place
{
base
:
PlaceBase
::
Local
(
local
),
projection
:
None
}
=
place
{
let
alive
=
if
let
LocalValue
::
Live
(
_
)
=
self
.frame
()
.locals
[
*
local
]
.value
{
true
}
else
{
false
};
if
local
.as_usize
()
<=
self
.frame
()
.body.arg_count
&&
!
alive
{
trace!
(
"skipping Ref({:?})"
,
place
);
throw_unsup!
(
UninitializedLocal
);
}
}
let
src
=
self
.eval_place
(
place
)
?
;
let
place
=
self
.force_allocation
(
src
)
?
;
if
place
.layout.size
.bytes
()
>
0
{
...
...
src/librustc_mir/transform/const_prop.rs
浏览文件 @
c0c8ce80
...
...
@@ -313,17 +313,13 @@ fn const_prop(
Rvalue
::
Len
(
_
)
|
Rvalue
::
Cast
(
..
)
|
Rvalue
::
NullaryOp
(
..
)
|
Rvalue
::
CheckedBinaryOp
(
..
)
=>
{
Rvalue
::
CheckedBinaryOp
(
..
)
|
Rvalue
::
Ref
(
..
)
=>
{
self
.use_ecx
(
source_info
,
|
this
|
{
this
.ecx
.eval_rvalue_into_place
(
rvalue
,
place
)
?
;
this
.ecx
.eval_place_to_op
(
place
,
Some
(
place_layout
))
})
},
Rvalue
::
Ref
(
_
,
_
,
ref
place
)
=>
{
let
src
=
self
.eval_place
(
place
,
source_info
)
?
;
let
mplace
=
src
.try_as_mplace
()
.ok
()
?
;
Some
(
ImmTy
::
from_scalar
(
mplace
.ptr
.into
(),
place_layout
)
.into
())
},
Rvalue
::
UnaryOp
(
op
,
ref
arg
)
=>
{
let
overflow_check
=
self
.tcx.sess
.overflow_checks
();
...
...
编辑
预览
Markdown
is supported
0%
请重试
或
添加新附件
.
添加附件
取消
You are about to add
0
people
to the discussion. Proceed with caution.
先完成此消息的编辑!
取消
想要评论请
注册
或
登录