Auto merge of #71306 - Dylan-DPC:rollup-kvzc1da, r=Dylan-DPC
Rollup of 5 pull requests Successful merges: - #71271 (Move `MapInPlace` to rustc_data_structures) - #71276 (miri-unleashed: test that we detect heap allocations) - #71283 (Minor improvements to -Zprofile) - #71287 (Explain why we shouldn't add inline attr to into_vec) - #71303 (remove build warnings) Failed merges: r? @ghost
This commit is contained in:
commit
8001b96f48
@ -140,6 +140,9 @@ mod hack {
|
||||
use crate::string::ToString;
|
||||
use crate::vec::Vec;
|
||||
|
||||
// We shouldn't add inline attribute to this since this is used in
|
||||
// `vec!` macro mostly and causes perf regression. See #71204 for
|
||||
// discussion and perf results.
|
||||
pub fn into_vec<T>(b: Box<[T]>) -> Vec<T> {
|
||||
unsafe {
|
||||
let len = b.len();
|
||||
|
@ -33,7 +33,6 @@ pub mod util {
|
||||
pub mod comments;
|
||||
pub mod lev_distance;
|
||||
pub mod literal;
|
||||
pub mod map_in_place;
|
||||
pub mod parser;
|
||||
}
|
||||
|
||||
|
@ -11,8 +11,8 @@
|
||||
use crate::ptr::P;
|
||||
use crate::token::{self, Token};
|
||||
use crate::tokenstream::*;
|
||||
use crate::util::map_in_place::MapInPlace;
|
||||
|
||||
use rustc_data_structures::map_in_place::MapInPlace;
|
||||
use rustc_data_structures::sync::Lrc;
|
||||
use rustc_span::source_map::{respan, Spanned};
|
||||
use rustc_span::Span;
|
||||
|
@ -184,8 +184,8 @@
|
||||
use rustc_ast::ast::{self, BinOpKind, EnumDef, Expr, Generics, Ident, PatKind};
|
||||
use rustc_ast::ast::{GenericArg, GenericParamKind, VariantData};
|
||||
use rustc_ast::ptr::P;
|
||||
use rustc_ast::util::map_in_place::MapInPlace;
|
||||
use rustc_attr as attr;
|
||||
use rustc_data_structures::map_in_place::MapInPlace;
|
||||
use rustc_expand::base::{Annotatable, ExtCtxt};
|
||||
use rustc_session::parse::ParseSess;
|
||||
use rustc_span::source_map::respan;
|
||||
|
@ -67,6 +67,7 @@ macro_rules! unlikely {
|
||||
pub mod graph;
|
||||
pub mod jobserver;
|
||||
pub mod macros;
|
||||
pub mod map_in_place;
|
||||
pub mod obligation_forest;
|
||||
pub mod owning_ref;
|
||||
pub mod ptr_key;
|
||||
|
@ -1,5 +1,3 @@
|
||||
// FIXME(Centril): Move to rustc_data_structures.
|
||||
|
||||
use smallvec::{Array, SmallVec};
|
||||
use std::ptr;
|
||||
|
@ -4,9 +4,9 @@
|
||||
use rustc_ast::attr::HasAttrs;
|
||||
use rustc_ast::mut_visit::*;
|
||||
use rustc_ast::ptr::P;
|
||||
use rustc_ast::util::map_in_place::MapInPlace;
|
||||
use rustc_attr as attr;
|
||||
use rustc_data_structures::fx::FxHashMap;
|
||||
use rustc_data_structures::map_in_place::MapInPlace;
|
||||
use rustc_errors::{error_code, struct_span_err, Applicability, Handler};
|
||||
use rustc_feature::{Feature, Features, State as FeatureState};
|
||||
use rustc_feature::{
|
||||
|
@ -13,10 +13,10 @@
|
||||
use rustc_ast::ptr::P;
|
||||
use rustc_ast::token;
|
||||
use rustc_ast::tokenstream::TokenStream;
|
||||
use rustc_ast::util::map_in_place::MapInPlace;
|
||||
use rustc_ast::visit::{self, AssocCtxt, Visitor};
|
||||
use rustc_ast_pretty::pprust;
|
||||
use rustc_attr::{self as attr, is_builtin_attr, HasAttrs};
|
||||
use rustc_data_structures::map_in_place::MapInPlace;
|
||||
use rustc_errors::{Applicability, PResult};
|
||||
use rustc_feature::Features;
|
||||
use rustc_parse::parser::Parser;
|
||||
|
@ -686,7 +686,9 @@ fn inject_panic_runtime(&mut self, krate: &ast::Crate) {
|
||||
}
|
||||
|
||||
fn inject_profiler_runtime(&mut self) {
|
||||
if self.sess.opts.debugging_opts.profile || self.sess.opts.cg.profile_generate.enabled() {
|
||||
if (self.sess.opts.debugging_opts.profile || self.sess.opts.cg.profile_generate.enabled())
|
||||
&& !self.sess.opts.debugging_opts.no_profiler_runtime
|
||||
{
|
||||
info!("loading profiler");
|
||||
|
||||
let name = Symbol::intern("profiler_builtins");
|
||||
|
@ -148,7 +148,7 @@ fn synthesize_region_name(&self) -> Symbol {
|
||||
///
|
||||
/// This function would create a label like this:
|
||||
///
|
||||
/// ```
|
||||
/// ```text
|
||||
/// | fn foo(x: &u32) { .. }
|
||||
/// ------- fully elaborated type of `x` is `&'1 u32`
|
||||
/// ```
|
||||
@ -300,7 +300,7 @@ fn give_name_from_error_region(&self, fr: RegionVid) -> Option<RegionName> {
|
||||
/// elaborated type, returning something like `'1`. Result looks
|
||||
/// like:
|
||||
///
|
||||
/// ```
|
||||
/// ```text
|
||||
/// | fn foo(x: &u32) { .. }
|
||||
/// ------- fully elaborated type of `x` is `&'1 u32`
|
||||
/// ```
|
||||
@ -347,7 +347,7 @@ fn give_name_if_we_can_match_hir_ty_from_argument(
|
||||
/// that has no type annotation.
|
||||
/// For example, we might produce an annotation like this:
|
||||
///
|
||||
/// ```
|
||||
/// ```text
|
||||
/// | foo(|a, b| b)
|
||||
/// | - -
|
||||
/// | | |
|
||||
@ -396,7 +396,7 @@ fn give_name_if_we_cannot_match_hir_ty(
|
||||
/// that contains the anonymous reference we want to give a name
|
||||
/// to. For example, we might produce an annotation like this:
|
||||
///
|
||||
/// ```
|
||||
/// ```text
|
||||
/// | fn a<T>(items: &[T]) -> Box<dyn Iterator<Item = &T>> {
|
||||
/// | - let's call the lifetime of this reference `'1`
|
||||
/// ```
|
||||
@ -600,7 +600,7 @@ fn try_match_adt_and_generic_args<'hir>(
|
||||
/// fully elaborated type, returning something like `'1`. Result
|
||||
/// looks like:
|
||||
///
|
||||
/// ```
|
||||
/// ```text
|
||||
/// | let x = Some(&22);
|
||||
/// - fully elaborated type of `x` is `Option<&'1 u32>`
|
||||
/// ```
|
||||
|
@ -13,7 +13,7 @@
|
||||
|
||||
pub use self::qualifs::Qualif;
|
||||
|
||||
pub mod ops;
|
||||
mod ops;
|
||||
pub mod qualifs;
|
||||
mod resolver;
|
||||
pub mod validation;
|
||||
|
@ -113,8 +113,6 @@ fn emit_error(&self, item: &Item<'_, '_>, span: Span) {
|
||||
#[derive(Debug)]
|
||||
pub struct HeapAllocation;
|
||||
impl NonConstOp for HeapAllocation {
|
||||
const IS_SUPPORTED_IN_MIRI: bool = false;
|
||||
|
||||
fn emit_error(&self, item: &Item<'_, '_>, span: Span) {
|
||||
let mut err = struct_span_err!(
|
||||
item.tcx.sess,
|
||||
|
@ -579,11 +579,13 @@ fn attempt_chained_comparison_suggestion(
|
||||
/// Keep in mind that given that `outer_op.is_comparison()` holds and comparison ops are left
|
||||
/// associative we can infer that we have:
|
||||
///
|
||||
/// ```text
|
||||
/// outer_op
|
||||
/// / \
|
||||
/// inner_op r2
|
||||
/// / \
|
||||
/// l1 r1
|
||||
/// ```
|
||||
pub(super) fn check_no_chained_comparison(
|
||||
&mut self,
|
||||
inner_op: &Expr,
|
||||
|
@ -8,7 +8,7 @@
|
||||
impl<'a> Parser<'a> {
|
||||
/// Parses bounds of a lifetime parameter `BOUND + BOUND + BOUND`, possibly with trailing `+`.
|
||||
///
|
||||
/// ```
|
||||
/// ```text
|
||||
/// BOUND = LT_BOUND (e.g., `'a`)
|
||||
/// ```
|
||||
fn parse_lt_param_bounds(&mut self) -> GenericBounds {
|
||||
|
@ -743,7 +743,7 @@ fn parse_type_alias(&mut self, def: Defaultness) -> PResult<'a, ItemInfo> {
|
||||
|
||||
/// Parses a `UseTree`.
|
||||
///
|
||||
/// ```
|
||||
/// ```text
|
||||
/// USE_TREE = [`::`] `*` |
|
||||
/// [`::`] `{` USE_TREE_LIST `}` |
|
||||
/// PATH `::` `*` |
|
||||
@ -792,7 +792,7 @@ fn parse_use_tree_glob_or_nested(&mut self) -> PResult<'a, UseTreeKind> {
|
||||
|
||||
/// Parses a `UseTreeKind::Nested(list)`.
|
||||
///
|
||||
/// ```
|
||||
/// ```text
|
||||
/// USE_TREE_LIST = Ø | (USE_TREE `,`)* USE_TREE [`,`]
|
||||
/// ```
|
||||
fn parse_use_tree_list(&mut self) -> PResult<'a, Vec<(UseTree, ast::NodeId)>> {
|
||||
|
@ -1031,7 +1031,7 @@ pub(crate) fn make_path_suggestion(
|
||||
|
||||
/// Suggest a missing `self::` if that resolves to an correct module.
|
||||
///
|
||||
/// ```
|
||||
/// ```text
|
||||
/// |
|
||||
/// LL | use foo::Bar;
|
||||
/// | ^^^ did you mean `self::foo`?
|
||||
@ -1083,7 +1083,7 @@ fn make_missing_crate_suggestion(
|
||||
|
||||
/// Suggests a missing `super::` if that resolves to an correct module.
|
||||
///
|
||||
/// ```
|
||||
/// ```text
|
||||
/// |
|
||||
/// LL | use foo::Bar;
|
||||
/// | ^^^ did you mean `super::foo`?
|
||||
@ -1103,7 +1103,7 @@ fn make_missing_super_suggestion(
|
||||
|
||||
/// Suggests a missing external crate name if that resolves to an correct module.
|
||||
///
|
||||
/// ```
|
||||
/// ```text
|
||||
/// |
|
||||
/// LL | use foobar::Baz;
|
||||
/// | ^^^^^^ did you mean `baz::foobar`?
|
||||
|
@ -1655,7 +1655,7 @@ pub fn build_session_options(matches: &getopts::Matches) -> Options {
|
||||
let output_types = parse_output_types(&debugging_opts, matches, error_format);
|
||||
|
||||
let mut cg = build_codegen_options(matches, error_format);
|
||||
let (disable_thinlto, codegen_units) = should_override_cgus_and_disable_thinlto(
|
||||
let (disable_thinlto, mut codegen_units) = should_override_cgus_and_disable_thinlto(
|
||||
&output_types,
|
||||
matches,
|
||||
error_format,
|
||||
@ -1672,6 +1672,16 @@ pub fn build_session_options(matches: &getopts::Matches) -> Options {
|
||||
"can't instrument with gcov profiling when compiling incrementally",
|
||||
);
|
||||
}
|
||||
if debugging_opts.profile {
|
||||
match codegen_units {
|
||||
Some(1) => {}
|
||||
None => codegen_units = Some(1),
|
||||
Some(_) => early_error(
|
||||
error_format,
|
||||
"can't instrument with gcov profiling with multiple codegen units",
|
||||
),
|
||||
}
|
||||
}
|
||||
|
||||
if cg.profile_generate.enabled() && cg.profile_use.is_some() {
|
||||
early_error(
|
||||
|
@ -890,6 +890,8 @@ fn parse_src_file_hash(slot: &mut Option<SourceFileHashAlgorithm>, v: Option<&st
|
||||
"extra arguments to prepend to the linker invocation (space separated)"),
|
||||
profile: bool = (false, parse_bool, [TRACKED],
|
||||
"insert profiling code"),
|
||||
no_profiler_runtime: bool = (false, parse_bool, [TRACKED],
|
||||
"don't automatically inject the profiler_builtins crate"),
|
||||
relro_level: Option<RelroLevel> = (None, parse_relro_level, [TRACKED],
|
||||
"choose which RELRO level to use"),
|
||||
nll_facts: bool = (false, parse_bool, [UNTRACKED],
|
||||
|
@ -1045,7 +1045,7 @@ fn suggest_fully_qualified_path(
|
||||
/// Adds an async-await specific note to the diagnostic when the future does not implement
|
||||
/// an auto trait because of a captured type.
|
||||
///
|
||||
/// ```ignore (diagnostic)
|
||||
/// ```text
|
||||
/// note: future does not implement `Qux` as this value is used across an await
|
||||
/// --> $DIR/issue-64130-3-other.rs:17:5
|
||||
/// |
|
||||
@ -1060,7 +1060,7 @@ fn suggest_fully_qualified_path(
|
||||
/// When the diagnostic does not implement `Send` or `Sync` specifically, then the diagnostic
|
||||
/// is "replaced" with a different message and a more specific error.
|
||||
///
|
||||
/// ```ignore (diagnostic)
|
||||
/// ```text
|
||||
/// error: future cannot be sent between threads safely
|
||||
/// --> $DIR/issue-64130-2-send.rs:21:5
|
||||
/// |
|
||||
|
@ -1250,7 +1250,7 @@ pub fn is_unsized(&self, ast_bounds: &[hir::GenericBound<'_>], span: Span) -> bo
|
||||
/// This helper takes a *converted* parameter type (`param_ty`)
|
||||
/// and an *unconverted* list of bounds:
|
||||
///
|
||||
/// ```
|
||||
/// ```text
|
||||
/// fn foo<T: Debug>
|
||||
/// ^ ^^^^^ `ast_bounds` parameter, in HIR form
|
||||
/// |
|
||||
@ -2992,7 +2992,7 @@ fn compute_object_lifetime_bound(
|
||||
/// representations). These lists of bounds occur in many places in
|
||||
/// Rust's syntax:
|
||||
///
|
||||
/// ```
|
||||
/// ```text
|
||||
/// trait Foo: Bar + Baz { }
|
||||
/// ^^^^^^^^^ supertrait list bounding the `Self` type parameter
|
||||
///
|
||||
|
14
src/test/ui/consts/miri_unleashed/box.rs
Normal file
14
src/test/ui/consts/miri_unleashed/box.rs
Normal file
@ -0,0 +1,14 @@
|
||||
// compile-flags: -Zunleash-the-miri-inside-of-you
|
||||
#![feature(const_mut_refs, box_syntax)]
|
||||
#![deny(const_err)]
|
||||
|
||||
use std::mem::ManuallyDrop;
|
||||
|
||||
fn main() {}
|
||||
|
||||
static TEST_BAD: &mut i32 = {
|
||||
&mut *(box 0)
|
||||
//~^ WARN skipping const check
|
||||
//~| ERROR could not evaluate static initializer
|
||||
//~| NOTE heap allocations
|
||||
};
|
15
src/test/ui/consts/miri_unleashed/box.stderr
Normal file
15
src/test/ui/consts/miri_unleashed/box.stderr
Normal file
@ -0,0 +1,15 @@
|
||||
warning: skipping const checks
|
||||
--> $DIR/box.rs:10:11
|
||||
|
|
||||
LL | &mut *(box 0)
|
||||
| ^^^^^^^
|
||||
|
||||
error[E0080]: could not evaluate static initializer
|
||||
--> $DIR/box.rs:10:11
|
||||
|
|
||||
LL | &mut *(box 0)
|
||||
| ^^^^^^^ "heap allocations via `box` keyword" needs an rfc before being allowed inside constants
|
||||
|
||||
error: aborting due to previous error; 1 warning emitted
|
||||
|
||||
For more information about this error, try `rustc --explain E0080`.
|
Loading…
Reference in New Issue
Block a user