summary refs log tree commit diff
path: root/src/tools/miri/tests/fail/dangling_pointers
AgeCommit message (Expand)AuthorLines
2023-06-15Extend `unused_must_use` to cover block exprs许杰友 Jieyou Xu (Joe)-3/+3
2023-04-30Update MIRI compiletestsScott McMurray-3/+3
2023-04-21Actually keep `PlaceMention` if requested.Camille GILLOT-3/+5
2023-04-21Evaluate place expression in `PlaceMention`.Camille GILLOT-0/+26
2022-12-06Reintroduce the span printing in miri (plus point to spans where possible)Oli Scherer-17/+17
2022-12-06Remove now-redundant file/line info from const backtracesOli Scherer-18/+18
2022-09-21Add 'src/tools/miri/' from commit '75dd959a3a40eb5b4574f8d2e23aa6efbeb33573'Oli Scherer-0/+427