Matthias Krüger 3fcc79f04a

Rollup merge of #108364 - Nilstrieb:validity-checks-refactor, r=compiler-errors ...

Unify validity checks into a single query

Previously, there were two queries to check whether a type allows the 0x01 or zeroed bitpattern.

I am planning on adding a further initness to check in #100423, truly uninit for MaybeUninit, which would make this three queries. This seems overkill for such a small feature, so this PR unifies them into one.

I am not entirely happy with the naming and key type and open for improvements.

r? oli-obk

2023-02-27 06:11:52 +01:00

..

coverage

…

inline

Remove type-traversal trait aliases

2023-02-22 17:04:58 +00:00

abort_unwinding_calls.rs

remove bound_type_of query; make type_of return EarlyBinder; change type_of in metadata

2023-02-16 17:05:56 -07:00

add_call_guards.rs

…

add_moves_for_packed_drops.rs

…

add_retag.rs

…

check_const_item_mutation.rs

…

check_packed_ref.rs

Properly check for builtin derives

2023-02-16 19:44:03 +00:00

check_unsafety.rs

…

cleanup_post_borrowck.rs

…

const_debuginfo.rs

…

const_goto.rs

…

const_prop_lint.rs

Remove type-traversal trait aliases

2023-02-22 17:04:58 +00:00

const_prop.rs

Remove type-traversal trait aliases

2023-02-22 17:04:58 +00:00

copy_prop.rs

Rename many interner functions.

2023-02-24 07:32:24 +11:00

ctfe_limit.rs

don't into self

2023-02-16 18:30:25 +01:00

dataflow_const_prop.rs

Rollup merge of #108208 - cjgillot:flood-enum, r=oli-obk

2023-02-23 06:18:06 +01:00

dead_store_elimination.rs

…

deduce_param_attrs.rs

remove bound_type_of query; make type_of return EarlyBinder; change type_of in metadata

2023-02-16 17:05:56 -07:00

deduplicate_blocks.rs

…

deref_separator.rs

…

dest_prop.rs

BasicBlock::new(0) -> START_BLOCK [no functional changes]

2023-02-16 21:33:19 -08:00

dump_mir.rs

…

early_otherwise_branch.rs

…

elaborate_box_derefs.rs

Rename many interner functions.

2023-02-24 07:32:24 +11:00

elaborate_drops.rs

Remove dead unwinds before drop elaboration

2023-02-23 14:05:03 +01:00

ffi_unwind_calls.rs

remove bound_type_of query; make type_of return EarlyBinder; change type_of in metadata

2023-02-16 17:05:56 -07:00

function_item_references.rs

if $c:expr { Some($r:expr) } else { None } =>> $c.then(|| $r)

2023-02-16 15:26:00 +00:00

generator.rs

Rename many interner functions.

2023-02-24 07:32:24 +11:00

inline.rs

Rename many interner functions.

2023-02-24 07:32:24 +11:00

instcombine.rs

Rollup merge of #108364 - Nilstrieb:validity-checks-refactor, r=compiler-errors

2023-02-27 06:11:52 +01:00

large_enums.rs

Rename many interner functions.

2023-02-24 07:32:24 +11:00

lib.rs

Rename many interner functions.

2023-02-24 07:32:24 +11:00

lower_intrinsics.rs

Replace _with_overflow instrinsics in LowerIntrinsics.

2023-02-18 21:45:10 +00:00

lower_slice_len.rs

…

match_branches.rs

…

multiple_return_terminators.rs

…

normalize_array_len.rs

…

nrvo.rs

…

pass_manager.rs

…

remove_noop_landing_pads.rs

…

remove_storage_markers.rs

…

remove_uninit_drops.rs

…

remove_unneeded_drops.rs

…

remove_zsts.rs

remove bound_type_of query; make type_of return EarlyBinder; change type_of in metadata

2023-02-16 17:05:56 -07:00

required_consts.rs

…

reveal_all.rs

…

separate_const_switch.rs

…

shim.rs

Rename many interner functions.

2023-02-24 07:32:24 +11:00

simplify_branches.rs

…

simplify_comparison_integral.rs

…

simplify.rs

BasicBlock::new(0) -> START_BLOCK [no functional changes]

2023-02-16 21:33:19 -08:00

sroa.rs

Rename many interner functions.

2023-02-24 07:32:24 +11:00

ssa.rs

Rollup merge of #107489 - compiler-errors:non_lifetime_binders, r=cjgillot

2023-02-17 00:19:34 +01:00

uninhabited_enum_branching.rs

…

unreachable_prop.rs

…