bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

add track_caller to some interpreter functions

Browse source
This commit is contained in:
Ralf Jung 2022-07-06 11:27:54 -04:00
parent 5b8cf49c51
commit dfd243e27c
1 changed files with 4 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

4
compiler/rustc_const_eval/src/interpret/operand.rs
View file

@ -71,6 +71,7 @@ impl<'tcx, Tag: Provenance> Immediate<Tag> {
} }
#[inline] #[inline]
#[track_caller]
pub fn to_scalar_or_uninit(self) -> ScalarMaybeUninit<Tag> { pub fn to_scalar_or_uninit(self) -> ScalarMaybeUninit<Tag> {
match self { match self {
Immediate::Scalar(val) => val, Immediate::Scalar(val) => val,
@ -79,11 +80,13 @@ impl<'tcx, Tag: Provenance> Immediate<Tag> {
} }
#[inline] #[inline]
#[track_caller]
pub fn to_scalar(self) -> InterpResult<'tcx, Scalar<Tag>> { pub fn to_scalar(self) -> InterpResult<'tcx, Scalar<Tag>> {
self.to_scalar_or_uninit().check_init() self.to_scalar_or_uninit().check_init()
} }
#[inline] #[inline]
#[track_caller]
pub fn to_scalar_or_uninit_pair(self) -> (ScalarMaybeUninit<Tag>, ScalarMaybeUninit<Tag>) { pub fn to_scalar_or_uninit_pair(self) -> (ScalarMaybeUninit<Tag>, ScalarMaybeUninit<Tag>) {
match self { match self {
Immediate::ScalarPair(val1, val2) => (val1, val2), Immediate::ScalarPair(val1, val2) => (val1, val2),
@ -92,6 +95,7 @@ impl<'tcx, Tag: Provenance> Immediate<Tag> {
} }
#[inline] #[inline]
#[track_caller]
pub fn to_scalar_pair(self) -> InterpResult<'tcx, (Scalar<Tag>, Scalar<Tag>)> { pub fn to_scalar_pair(self) -> InterpResult<'tcx, (Scalar<Tag>, Scalar<Tag>)> {
let (val1, val2) = self.to_scalar_or_uninit_pair(); let (val1, val2) = self.to_scalar_or_uninit_pair();
Ok((val1.check_init()?, val2.check_init()?)) Ok((val1.check_init()?, val2.check_init()?))