Skip to content
体验新版
项目
组织
正在加载...
登录
切换导航
打开侧边栏
int
Rust
提交
3637aa86
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,发现更多精彩内容 >>
提交
3637aa86
编写于
6月 21, 2017
作者:
R
Ralf Jung
浏览文件
操作
浏览文件
下载
电子邮件补丁
差异文件
allow any offset on integer pointers
上级
8de11101
变更
1
隐藏空白更改
内联
并排
Showing
1 changed file
with
8 addition
and
8 deletion
+8
-8
src/eval_context.rs
src/eval_context.rs
+8
-8
未找到文件。
src/eval_context.rs
浏览文件 @
3637aa86
...
@@ -892,19 +892,19 @@ pub(super) fn wrapping_pointer_offset(&self, ptr: PrimVal, pointee_ty: Ty<'tcx>,
...
@@ -892,19 +892,19 @@ pub(super) fn wrapping_pointer_offset(&self, ptr: PrimVal, pointee_ty: Ty<'tcx>,
}
}
pub
(
super
)
fn
pointer_offset
(
&
self
,
ptr
:
PrimVal
,
pointee_ty
:
Ty
<
'tcx
>
,
offset
:
i64
)
->
EvalResult
<
'tcx
,
PrimVal
>
{
pub
(
super
)
fn
pointer_offset
(
&
self
,
ptr
:
PrimVal
,
pointee_ty
:
Ty
<
'tcx
>
,
offset
:
i64
)
->
EvalResult
<
'tcx
,
PrimVal
>
{
if
offset
==
0
{
if
ptr
==
PrimVal
::
from_u128
(
0
)
{
// rule out NULL pointers
// rustc relies on Offset-by-0 to be well-defined even for "bad" pointers like Unique::empty().
return
Err
(
EvalError
::
InvalidPointerMath
);
return
Ok
(
ptr
);
}
}
// FIXME: assuming here that type size is < i64::max_value()
// FIXME: assuming here that type size is < i64::max_value()
let
pointee_size
=
self
.type_size
(
pointee_ty
)
?
.expect
(
"cannot offset a pointer to an unsized type"
)
as
i64
;
let
pointee_size
=
self
.type_size
(
pointee_ty
)
?
.expect
(
"cannot offset a pointer to an unsized type"
)
as
i64
;
if
pointee_size
==
0
{
// rustc relies on offsetting pointers to zsts to be a nop
return
Ok
(
ptr
);
}
return
if
let
Some
(
offset
)
=
offset
.checked_mul
(
pointee_size
)
{
return
if
let
Some
(
offset
)
=
offset
.checked_mul
(
pointee_size
)
{
let
ptr
=
ptr
.signed_offset
(
offset
,
self
.memory.layout
)
?
;
let
ptr
=
ptr
.signed_offset
(
offset
,
self
.memory.layout
)
?
;
self
.memory
.check_bounds
(
ptr
.to_ptr
()
?
,
false
)
?
;
// Do not do bounds-checking for integers or ZST; they can never alias a normal pointer anyway.
if
let
PrimVal
::
Ptr
(
ptr
)
=
ptr
{
if
!
ptr
.points_to_zst
()
{
self
.memory
.check_bounds
(
ptr
,
false
)
?
;
}
}
Ok
(
ptr
)
Ok
(
ptr
)
}
else
{
}
else
{
Err
(
EvalError
::
OverflowingMath
)
Err
(
EvalError
::
OverflowingMath
)
...
...
编辑
预览
Markdown
is supported
0%
请重试
或
添加新附件
.
添加附件
取消
You are about to add
0
people
to the discussion. Proceed with caution.
先完成此消息的编辑!
取消
想要评论请
注册
或
登录