├── .gitignore ├── .travis.yml ├── COPYRIGHT ├── Cargo.lock ├── Cargo.toml ├── LICENSE-APACHE ├── LICENSE-MIT ├── README.md ├── example ├── base64 │ ├── .gitignore │ ├── Cargo.toml │ ├── README.md │ └── src │ │ └── main.rs ├── brotli │ ├── .gitignore │ ├── Cargo.toml │ ├── README.md │ ├── Xargo.toml │ └── src │ │ └── main.rs ├── capnp │ ├── .gitignore │ ├── Cargo.toml │ ├── README.md │ ├── Xargo.toml │ └── src │ │ ├── canonicalize.rs │ │ ├── packing.rs │ │ ├── test_all_types.rs │ │ └── test_capnp.rs ├── fuzzy-pickles │ ├── .gitignore │ ├── Cargo.toml │ ├── README.md │ ├── Xargo.toml │ └── src │ │ └── main.rs ├── httparse │ ├── .gitignore │ ├── Cargo.toml │ ├── README.md │ └── src │ │ └── main.rs ├── rustls │ ├── .gitignore │ ├── Cargo.toml │ ├── README.md │ ├── Xargo.toml │ └── src │ │ └── main.rs ├── seer-helper-user │ ├── Cargo.lock │ ├── Cargo.toml │ ├── README.md │ ├── Xargo.toml │ └── src │ │ └── main.rs ├── standalone │ ├── README.md │ ├── base64.rs │ ├── btreeset.rs │ ├── heap.rs │ ├── overflow_symbolic.rs │ └── sort.rs ├── syn │ ├── .gitignore │ ├── Cargo.toml │ ├── README.md │ ├── Xargo.toml │ └── parse_file.rs ├── utf8 │ ├── .gitignore │ ├── Cargo.toml │ ├── Xargo.toml │ └── from_utf8.rs └── wtf8 │ ├── .gitignore │ ├── Cargo.toml │ └── src │ └── main.rs ├── seer-helper ├── Cargo.lock ├── Cargo.toml └── src │ └── lib.rs ├── src ├── bin │ ├── cargo-seer.rs │ └── seer.rs ├── cast.rs ├── constraints.rs ├── driver.rs ├── error.rs ├── eval_context.rs ├── executor.rs ├── format_executor.rs ├── lib.rs ├── memory.rs ├── operator.rs ├── place.rs ├── step.rs ├── terminator │ ├── drop.rs │ ├── intrinsic.rs │ └── mod.rs ├── traits.rs └── value.rs └── tests ├── compile-fail ├── alignment.rs ├── assume.rs ├── cast_box_int_to_fn_ptr.rs ├── cast_fn_ptr.rs ├── cast_fn_ptr2.rs ├── cast_fn_ptr_unsafe.rs ├── cast_fn_ptr_unsafe2.rs ├── cast_int_to_fn_ptr.rs ├── dangling_pointer_deref.rs ├── deref_fn_ptr.rs ├── env_args.rs ├── execute_memory.rs ├── invalid_bool.rs ├── invalid_enum_discriminant.rs ├── match_char.rs.ignore ├── memleak.rs ├── memleak_rc.rs ├── modifying_constants.rs ├── never_say_never.rs ├── never_transmute_humans.rs ├── never_transmute_void.rs ├── null_pointer_deref.rs ├── oom.rs ├── oom2.rs ├── out_of_bounds_read.rs ├── out_of_bounds_read2.rs ├── overflowing-rsh-6.rs ├── overwriting_part_of_relocation_makes_the_rest_undefined.rs ├── panic.rs ├── pointers_to_different_allocations_are_unorderable.rs ├── repeat2.rs ├── stack_limit.rs ├── static_memory_modification.rs ├── static_memory_modification2.rs ├── static_memory_modification3.rs ├── tag-align-dyn-u64.rs ├── timeout.rs ├── transmute-pair-undef.rs ├── undefined_byte_read.rs ├── wild_pointer_deref.rs └── zst.rs ├── compiletest.rs ├── run-pass ├── arrays.rs ├── associated-const.rs ├── assume_bug.rs ├── atomic-access-bool.rs ├── atomic-compare_exchange.rs ├── bad_substs.rs ├── binops.rs ├── bools.rs ├── box_box_trait.rs ├── btreemap.rs ├── c_enums.rs ├── call_drop_on_array_elements.rs ├── call_drop_on_fat_ptr_array_elements.rs ├── call_drop_on_zst_array_elements.rs ├── call_drop_through_owned_slice.rs ├── call_drop_through_trait_object.rs ├── call_drop_through_trait_object_rc.rs ├── calls.rs ├── cast-rfc0401-vtable-kinds.rs ├── cast_fn_ptr.rs ├── cast_fn_ptr_unsafe.rs ├── char.rs ├── closure-drop.rs ├── closure-field-ty.rs ├── closures.rs ├── const-vec-of-fns.rs ├── constants.rs ├── deriving-associated-types.rs ├── drop_empty_slice.rs ├── dst-field-align.rs ├── dst-irrefutable-bind.rs ├── dst-raw.rs ├── dst-struct-sole.rs ├── dst-struct.rs ├── enum-nullable-const-null-with-fields.rs ├── enums.rs ├── float_fast_math.rs ├── floats.rs ├── fn_item_as_closure_trait_object.rs ├── fn_item_with_args_as_closure_trait_object.rs ├── fn_item_with_multiple_args_as_closure_trait_object.rs ├── fn_ptr_as_closure_trait_object.rs ├── function_pointers.rs ├── generator_niche.rs ├── heap.rs ├── intrinsics-integer.rs ├── intrinsics-math.rs ├── intrinsics.rs ├── ints.rs ├── issue-15063.rs ├── issue-15080.rs ├── issue-15523-big.rs ├── issue-17877.rs ├── issue-20575.rs ├── issue-23261.rs ├── issue-26709.rs ├── issue-29746.rs ├── issue-30530.rs ├── issue-31267-additional.rs ├── issue-33387.rs ├── issue-35815.rs ├── issue-36278-prefix-nesting.rs ├── issue-3794.rs ├── issue-5917.rs ├── issue-miri-184.rs ├── iter_any.rs ├── iter_slice.rs ├── last-use-in-cap-clause.rs ├── loops.rs ├── main_fn.rs ├── match_slice.rs ├── mir_coercions.rs ├── mir_fat_ptr.rs ├── miri-issue-133.rs ├── move-arg-2-unique.rs ├── move-arg-3-unique.rs ├── move-undef-primval.rs ├── multi_arg_closure.rs ├── negative_discriminant.rs ├── non_capture_closure_to_fn_ptr.rs ├── observed_local_mut.rs ├── option_box_transmute_ptr.rs ├── option_eq.rs ├── overloaded-calls-simple.rs ├── pointer_arithmetic_as_usize.rs ├── pointer_sub.rs ├── pointers.rs ├── products.rs ├── ptr_arith_offset.rs ├── ptr_arith_offset_overflow.rs ├── ptr_int_casts.rs ├── ptr_offset.rs ├── rc.rs ├── recursive_static.rs ├── regions-lifetime-nonfree-late-bound.rs ├── rfc1623.rs ├── rust-lang-org.rs ├── seer-issue-2.rs ├── send-is-not-static-par-for.rs ├── sendable-class.rs ├── simd-intrinsic-generic-elements.rs ├── slice-of-zero-size-elements.rs ├── small_enum_size_bug.rs ├── specialization.rs ├── static_memory_modification.rs ├── static_mut.rs ├── std.rs ├── strings.rs ├── sums.rs ├── too-large-primval-write-problem.rs ├── traits.rs ├── trivial.rs ├── try-operator-custom.rs ├── tuple_like_enum_variant_constructor.rs ├── tuple_like_enum_variant_constructor_pointer_opt.rs ├── tuple_like_enum_variant_constructor_struct_pointer_opt.rs ├── tuple_like_struct_constructor.rs ├── union-projection.rs ├── union.rs ├── unique-send.rs ├── vec-matching-fold.rs ├── vecs.rs ├── write-bytes.rs ├── zst.rs ├── zst_box.rs └── zst_variant_drop.rs ├── symbolic.rs └── symbolic ├── array_offset_field.rs ├── bitwise_bool.rs ├── bool_cast.rs ├── comparisons.rs ├── count_ones.rs ├── div.rs ├── indexing.rs ├── infeasible.rs ├── leading_zeros.rs ├── manticore.rs ├── memcmp.rs ├── neg.rs ├── ptr_offset.rs ├── ptr_offset_field.rs ├── ptr_projection.rs ├── read_bool.rs ├── read_char.rs ├── read_signed_int.rs ├── read_u16.rs ├── read_u32.rs ├── read_u64.rs ├── simple.rs ├── slice.rs ├── str_starts_with.rs ├── trailing_zeros.rs └── write_mem.rs /.gitignore: -------------------------------------------------------------------------------- 1 | target/ -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/.travis.yml -------------------------------------------------------------------------------- /COPYRIGHT: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/COPYRIGHT -------------------------------------------------------------------------------- /Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/Cargo.lock -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/Cargo.toml -------------------------------------------------------------------------------- /LICENSE-APACHE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/LICENSE-APACHE -------------------------------------------------------------------------------- /LICENSE-MIT: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/LICENSE-MIT -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/README.md -------------------------------------------------------------------------------- /example/base64/.gitignore: -------------------------------------------------------------------------------- 1 | Cargo.lock -------------------------------------------------------------------------------- /example/base64/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/example/base64/Cargo.toml -------------------------------------------------------------------------------- /example/base64/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/example/base64/README.md -------------------------------------------------------------------------------- /example/base64/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/example/base64/src/main.rs -------------------------------------------------------------------------------- /example/brotli/.gitignore: -------------------------------------------------------------------------------- 1 | Cargo.lock -------------------------------------------------------------------------------- /example/brotli/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/example/brotli/Cargo.toml -------------------------------------------------------------------------------- /example/brotli/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/example/brotli/README.md -------------------------------------------------------------------------------- /example/brotli/Xargo.toml: -------------------------------------------------------------------------------- 1 | [dependencies] 2 | std = {features = ["panic_unwind", "jemalloc"]} 3 | -------------------------------------------------------------------------------- /example/brotli/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/example/brotli/src/main.rs -------------------------------------------------------------------------------- /example/capnp/.gitignore: -------------------------------------------------------------------------------- 1 | Cargo.lock -------------------------------------------------------------------------------- /example/capnp/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/example/capnp/Cargo.toml -------------------------------------------------------------------------------- /example/capnp/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/example/capnp/README.md -------------------------------------------------------------------------------- /example/capnp/Xargo.toml: -------------------------------------------------------------------------------- 1 | [dependencies] 2 | std = {features = ["panic_unwind", "jemalloc"]} 3 | -------------------------------------------------------------------------------- /example/capnp/src/canonicalize.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/example/capnp/src/canonicalize.rs -------------------------------------------------------------------------------- /example/capnp/src/packing.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/example/capnp/src/packing.rs -------------------------------------------------------------------------------- /example/capnp/src/test_all_types.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/example/capnp/src/test_all_types.rs -------------------------------------------------------------------------------- /example/capnp/src/test_capnp.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/example/capnp/src/test_capnp.rs -------------------------------------------------------------------------------- /example/fuzzy-pickles/.gitignore: -------------------------------------------------------------------------------- 1 | Cargo.lock -------------------------------------------------------------------------------- /example/fuzzy-pickles/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/example/fuzzy-pickles/Cargo.toml -------------------------------------------------------------------------------- /example/fuzzy-pickles/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/example/fuzzy-pickles/README.md -------------------------------------------------------------------------------- /example/fuzzy-pickles/Xargo.toml: -------------------------------------------------------------------------------- 1 | [dependencies] 2 | std = {features = ["panic_unwind", "jemalloc"]} 3 | -------------------------------------------------------------------------------- /example/fuzzy-pickles/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/example/fuzzy-pickles/src/main.rs -------------------------------------------------------------------------------- /example/httparse/.gitignore: -------------------------------------------------------------------------------- 1 | Cargo.lock -------------------------------------------------------------------------------- /example/httparse/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/example/httparse/Cargo.toml -------------------------------------------------------------------------------- /example/httparse/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/example/httparse/README.md -------------------------------------------------------------------------------- /example/httparse/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/example/httparse/src/main.rs -------------------------------------------------------------------------------- /example/rustls/.gitignore: -------------------------------------------------------------------------------- 1 | Cargo.lock -------------------------------------------------------------------------------- /example/rustls/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/example/rustls/Cargo.toml -------------------------------------------------------------------------------- /example/rustls/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/example/rustls/README.md -------------------------------------------------------------------------------- /example/rustls/Xargo.toml: -------------------------------------------------------------------------------- 1 | [dependencies] 2 | std = {features = ["panic_unwind", "jemalloc"]} 3 | -------------------------------------------------------------------------------- /example/rustls/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/example/rustls/src/main.rs -------------------------------------------------------------------------------- /example/seer-helper-user/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/example/seer-helper-user/Cargo.lock -------------------------------------------------------------------------------- /example/seer-helper-user/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/example/seer-helper-user/Cargo.toml -------------------------------------------------------------------------------- /example/seer-helper-user/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/example/seer-helper-user/README.md -------------------------------------------------------------------------------- /example/seer-helper-user/Xargo.toml: -------------------------------------------------------------------------------- 1 | [dependencies] 2 | std = {features = ["panic_unwind", "jemalloc"]} 3 | -------------------------------------------------------------------------------- /example/seer-helper-user/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/example/seer-helper-user/src/main.rs -------------------------------------------------------------------------------- /example/standalone/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/example/standalone/README.md -------------------------------------------------------------------------------- /example/standalone/base64.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/example/standalone/base64.rs -------------------------------------------------------------------------------- /example/standalone/btreeset.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/example/standalone/btreeset.rs -------------------------------------------------------------------------------- /example/standalone/heap.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/example/standalone/heap.rs -------------------------------------------------------------------------------- /example/standalone/overflow_symbolic.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/example/standalone/overflow_symbolic.rs -------------------------------------------------------------------------------- /example/standalone/sort.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/example/standalone/sort.rs -------------------------------------------------------------------------------- /example/syn/.gitignore: -------------------------------------------------------------------------------- 1 | Cargo.lock -------------------------------------------------------------------------------- /example/syn/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/example/syn/Cargo.toml -------------------------------------------------------------------------------- /example/syn/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/example/syn/README.md -------------------------------------------------------------------------------- /example/syn/Xargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/example/syn/Xargo.toml -------------------------------------------------------------------------------- /example/syn/parse_file.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/example/syn/parse_file.rs -------------------------------------------------------------------------------- /example/utf8/.gitignore: -------------------------------------------------------------------------------- 1 | Cargo.lock -------------------------------------------------------------------------------- /example/utf8/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/example/utf8/Cargo.toml -------------------------------------------------------------------------------- /example/utf8/Xargo.toml: -------------------------------------------------------------------------------- 1 | [dependencies] 2 | std = {features = ["panic_unwind", "jemalloc"]} 3 | -------------------------------------------------------------------------------- /example/utf8/from_utf8.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/example/utf8/from_utf8.rs -------------------------------------------------------------------------------- /example/wtf8/.gitignore: -------------------------------------------------------------------------------- 1 | Cargo.lock -------------------------------------------------------------------------------- /example/wtf8/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/example/wtf8/Cargo.toml -------------------------------------------------------------------------------- /example/wtf8/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/example/wtf8/src/main.rs -------------------------------------------------------------------------------- /seer-helper/Cargo.lock: -------------------------------------------------------------------------------- 1 | [[package]] 2 | name = "seer-helper" 3 | version = "0.1.0" 4 | 5 | -------------------------------------------------------------------------------- /seer-helper/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/seer-helper/Cargo.toml -------------------------------------------------------------------------------- /seer-helper/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/seer-helper/src/lib.rs -------------------------------------------------------------------------------- /src/bin/cargo-seer.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/src/bin/cargo-seer.rs -------------------------------------------------------------------------------- /src/bin/seer.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/src/bin/seer.rs -------------------------------------------------------------------------------- /src/cast.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/src/cast.rs -------------------------------------------------------------------------------- /src/constraints.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/src/constraints.rs -------------------------------------------------------------------------------- /src/driver.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/src/driver.rs -------------------------------------------------------------------------------- /src/error.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/src/error.rs -------------------------------------------------------------------------------- /src/eval_context.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/src/eval_context.rs -------------------------------------------------------------------------------- /src/executor.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/src/executor.rs -------------------------------------------------------------------------------- /src/format_executor.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/src/format_executor.rs -------------------------------------------------------------------------------- /src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/src/lib.rs -------------------------------------------------------------------------------- /src/memory.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/src/memory.rs -------------------------------------------------------------------------------- /src/operator.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/src/operator.rs -------------------------------------------------------------------------------- /src/place.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/src/place.rs -------------------------------------------------------------------------------- /src/step.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/src/step.rs -------------------------------------------------------------------------------- /src/terminator/drop.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/src/terminator/drop.rs -------------------------------------------------------------------------------- /src/terminator/intrinsic.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/src/terminator/intrinsic.rs -------------------------------------------------------------------------------- /src/terminator/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/src/terminator/mod.rs -------------------------------------------------------------------------------- /src/traits.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/src/traits.rs -------------------------------------------------------------------------------- /src/value.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/src/value.rs -------------------------------------------------------------------------------- /tests/compile-fail/alignment.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/compile-fail/alignment.rs -------------------------------------------------------------------------------- /tests/compile-fail/assume.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/compile-fail/assume.rs -------------------------------------------------------------------------------- /tests/compile-fail/cast_box_int_to_fn_ptr.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/compile-fail/cast_box_int_to_fn_ptr.rs -------------------------------------------------------------------------------- /tests/compile-fail/cast_fn_ptr.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/compile-fail/cast_fn_ptr.rs -------------------------------------------------------------------------------- /tests/compile-fail/cast_fn_ptr2.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/compile-fail/cast_fn_ptr2.rs -------------------------------------------------------------------------------- /tests/compile-fail/cast_fn_ptr_unsafe.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/compile-fail/cast_fn_ptr_unsafe.rs -------------------------------------------------------------------------------- /tests/compile-fail/cast_fn_ptr_unsafe2.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/compile-fail/cast_fn_ptr_unsafe2.rs -------------------------------------------------------------------------------- /tests/compile-fail/cast_int_to_fn_ptr.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/compile-fail/cast_int_to_fn_ptr.rs -------------------------------------------------------------------------------- /tests/compile-fail/dangling_pointer_deref.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/compile-fail/dangling_pointer_deref.rs -------------------------------------------------------------------------------- /tests/compile-fail/deref_fn_ptr.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/compile-fail/deref_fn_ptr.rs -------------------------------------------------------------------------------- /tests/compile-fail/env_args.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/compile-fail/env_args.rs -------------------------------------------------------------------------------- /tests/compile-fail/execute_memory.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/compile-fail/execute_memory.rs -------------------------------------------------------------------------------- /tests/compile-fail/invalid_bool.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/compile-fail/invalid_bool.rs -------------------------------------------------------------------------------- /tests/compile-fail/invalid_enum_discriminant.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/compile-fail/invalid_enum_discriminant.rs -------------------------------------------------------------------------------- /tests/compile-fail/match_char.rs.ignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/compile-fail/match_char.rs.ignore -------------------------------------------------------------------------------- /tests/compile-fail/memleak.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/compile-fail/memleak.rs -------------------------------------------------------------------------------- /tests/compile-fail/memleak_rc.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/compile-fail/memleak_rc.rs -------------------------------------------------------------------------------- /tests/compile-fail/modifying_constants.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/compile-fail/modifying_constants.rs -------------------------------------------------------------------------------- /tests/compile-fail/never_say_never.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/compile-fail/never_say_never.rs -------------------------------------------------------------------------------- /tests/compile-fail/never_transmute_humans.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/compile-fail/never_transmute_humans.rs -------------------------------------------------------------------------------- /tests/compile-fail/never_transmute_void.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/compile-fail/never_transmute_void.rs -------------------------------------------------------------------------------- /tests/compile-fail/null_pointer_deref.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/compile-fail/null_pointer_deref.rs -------------------------------------------------------------------------------- /tests/compile-fail/oom.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/compile-fail/oom.rs -------------------------------------------------------------------------------- /tests/compile-fail/oom2.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/compile-fail/oom2.rs -------------------------------------------------------------------------------- /tests/compile-fail/out_of_bounds_read.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/compile-fail/out_of_bounds_read.rs -------------------------------------------------------------------------------- /tests/compile-fail/out_of_bounds_read2.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/compile-fail/out_of_bounds_read2.rs -------------------------------------------------------------------------------- /tests/compile-fail/overflowing-rsh-6.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/compile-fail/overflowing-rsh-6.rs -------------------------------------------------------------------------------- /tests/compile-fail/overwriting_part_of_relocation_makes_the_rest_undefined.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/compile-fail/overwriting_part_of_relocation_makes_the_rest_undefined.rs -------------------------------------------------------------------------------- /tests/compile-fail/panic.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/compile-fail/panic.rs -------------------------------------------------------------------------------- /tests/compile-fail/pointers_to_different_allocations_are_unorderable.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/compile-fail/pointers_to_different_allocations_are_unorderable.rs -------------------------------------------------------------------------------- /tests/compile-fail/repeat2.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/compile-fail/repeat2.rs -------------------------------------------------------------------------------- /tests/compile-fail/stack_limit.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/compile-fail/stack_limit.rs -------------------------------------------------------------------------------- /tests/compile-fail/static_memory_modification.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/compile-fail/static_memory_modification.rs -------------------------------------------------------------------------------- /tests/compile-fail/static_memory_modification2.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/compile-fail/static_memory_modification2.rs -------------------------------------------------------------------------------- /tests/compile-fail/static_memory_modification3.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/compile-fail/static_memory_modification3.rs -------------------------------------------------------------------------------- /tests/compile-fail/tag-align-dyn-u64.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/compile-fail/tag-align-dyn-u64.rs -------------------------------------------------------------------------------- /tests/compile-fail/timeout.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/compile-fail/timeout.rs -------------------------------------------------------------------------------- /tests/compile-fail/transmute-pair-undef.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/compile-fail/transmute-pair-undef.rs -------------------------------------------------------------------------------- /tests/compile-fail/undefined_byte_read.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/compile-fail/undefined_byte_read.rs -------------------------------------------------------------------------------- /tests/compile-fail/wild_pointer_deref.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/compile-fail/wild_pointer_deref.rs -------------------------------------------------------------------------------- /tests/compile-fail/zst.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/compile-fail/zst.rs -------------------------------------------------------------------------------- /tests/compiletest.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/compiletest.rs -------------------------------------------------------------------------------- /tests/run-pass/arrays.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/arrays.rs -------------------------------------------------------------------------------- /tests/run-pass/associated-const.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/associated-const.rs -------------------------------------------------------------------------------- /tests/run-pass/assume_bug.rs: -------------------------------------------------------------------------------- 1 | fn main() { 2 | vec![()].into_iter(); 3 | } 4 | -------------------------------------------------------------------------------- /tests/run-pass/atomic-access-bool.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/atomic-access-bool.rs -------------------------------------------------------------------------------- /tests/run-pass/atomic-compare_exchange.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/atomic-compare_exchange.rs -------------------------------------------------------------------------------- /tests/run-pass/bad_substs.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/bad_substs.rs -------------------------------------------------------------------------------- /tests/run-pass/binops.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/binops.rs -------------------------------------------------------------------------------- /tests/run-pass/bools.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/bools.rs -------------------------------------------------------------------------------- /tests/run-pass/box_box_trait.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/box_box_trait.rs -------------------------------------------------------------------------------- /tests/run-pass/btreemap.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/btreemap.rs -------------------------------------------------------------------------------- /tests/run-pass/c_enums.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/c_enums.rs -------------------------------------------------------------------------------- /tests/run-pass/call_drop_on_array_elements.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/call_drop_on_array_elements.rs -------------------------------------------------------------------------------- /tests/run-pass/call_drop_on_fat_ptr_array_elements.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/call_drop_on_fat_ptr_array_elements.rs -------------------------------------------------------------------------------- /tests/run-pass/call_drop_on_zst_array_elements.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/call_drop_on_zst_array_elements.rs -------------------------------------------------------------------------------- /tests/run-pass/call_drop_through_owned_slice.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/call_drop_through_owned_slice.rs -------------------------------------------------------------------------------- /tests/run-pass/call_drop_through_trait_object.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/call_drop_through_trait_object.rs -------------------------------------------------------------------------------- /tests/run-pass/call_drop_through_trait_object_rc.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/call_drop_through_trait_object_rc.rs -------------------------------------------------------------------------------- /tests/run-pass/calls.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/calls.rs -------------------------------------------------------------------------------- /tests/run-pass/cast-rfc0401-vtable-kinds.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/cast-rfc0401-vtable-kinds.rs -------------------------------------------------------------------------------- /tests/run-pass/cast_fn_ptr.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/cast_fn_ptr.rs -------------------------------------------------------------------------------- /tests/run-pass/cast_fn_ptr_unsafe.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/cast_fn_ptr_unsafe.rs -------------------------------------------------------------------------------- /tests/run-pass/char.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/char.rs -------------------------------------------------------------------------------- /tests/run-pass/closure-drop.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/closure-drop.rs -------------------------------------------------------------------------------- /tests/run-pass/closure-field-ty.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/closure-field-ty.rs -------------------------------------------------------------------------------- /tests/run-pass/closures.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/closures.rs -------------------------------------------------------------------------------- /tests/run-pass/const-vec-of-fns.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/const-vec-of-fns.rs -------------------------------------------------------------------------------- /tests/run-pass/constants.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/constants.rs -------------------------------------------------------------------------------- /tests/run-pass/deriving-associated-types.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/deriving-associated-types.rs -------------------------------------------------------------------------------- /tests/run-pass/drop_empty_slice.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/drop_empty_slice.rs -------------------------------------------------------------------------------- /tests/run-pass/dst-field-align.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/dst-field-align.rs -------------------------------------------------------------------------------- /tests/run-pass/dst-irrefutable-bind.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/dst-irrefutable-bind.rs -------------------------------------------------------------------------------- /tests/run-pass/dst-raw.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/dst-raw.rs -------------------------------------------------------------------------------- /tests/run-pass/dst-struct-sole.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/dst-struct-sole.rs -------------------------------------------------------------------------------- /tests/run-pass/dst-struct.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/dst-struct.rs -------------------------------------------------------------------------------- /tests/run-pass/enum-nullable-const-null-with-fields.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/enum-nullable-const-null-with-fields.rs -------------------------------------------------------------------------------- /tests/run-pass/enums.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/enums.rs -------------------------------------------------------------------------------- /tests/run-pass/float_fast_math.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/float_fast_math.rs -------------------------------------------------------------------------------- /tests/run-pass/floats.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/floats.rs -------------------------------------------------------------------------------- /tests/run-pass/fn_item_as_closure_trait_object.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/fn_item_as_closure_trait_object.rs -------------------------------------------------------------------------------- /tests/run-pass/fn_item_with_args_as_closure_trait_object.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/fn_item_with_args_as_closure_trait_object.rs -------------------------------------------------------------------------------- /tests/run-pass/fn_item_with_multiple_args_as_closure_trait_object.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/fn_item_with_multiple_args_as_closure_trait_object.rs -------------------------------------------------------------------------------- /tests/run-pass/fn_ptr_as_closure_trait_object.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/fn_ptr_as_closure_trait_object.rs -------------------------------------------------------------------------------- /tests/run-pass/function_pointers.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/function_pointers.rs -------------------------------------------------------------------------------- /tests/run-pass/generator_niche.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/generator_niche.rs -------------------------------------------------------------------------------- /tests/run-pass/heap.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/heap.rs -------------------------------------------------------------------------------- /tests/run-pass/intrinsics-integer.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/intrinsics-integer.rs -------------------------------------------------------------------------------- /tests/run-pass/intrinsics-math.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/intrinsics-math.rs -------------------------------------------------------------------------------- /tests/run-pass/intrinsics.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/intrinsics.rs -------------------------------------------------------------------------------- /tests/run-pass/ints.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/ints.rs -------------------------------------------------------------------------------- /tests/run-pass/issue-15063.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/issue-15063.rs -------------------------------------------------------------------------------- /tests/run-pass/issue-15080.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/issue-15080.rs -------------------------------------------------------------------------------- /tests/run-pass/issue-15523-big.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/issue-15523-big.rs -------------------------------------------------------------------------------- /tests/run-pass/issue-17877.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/issue-17877.rs -------------------------------------------------------------------------------- /tests/run-pass/issue-20575.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/issue-20575.rs -------------------------------------------------------------------------------- /tests/run-pass/issue-23261.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/issue-23261.rs -------------------------------------------------------------------------------- /tests/run-pass/issue-26709.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/issue-26709.rs -------------------------------------------------------------------------------- /tests/run-pass/issue-29746.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/issue-29746.rs -------------------------------------------------------------------------------- /tests/run-pass/issue-30530.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/issue-30530.rs -------------------------------------------------------------------------------- /tests/run-pass/issue-31267-additional.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/issue-31267-additional.rs -------------------------------------------------------------------------------- /tests/run-pass/issue-33387.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/issue-33387.rs -------------------------------------------------------------------------------- /tests/run-pass/issue-35815.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/issue-35815.rs -------------------------------------------------------------------------------- /tests/run-pass/issue-36278-prefix-nesting.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/issue-36278-prefix-nesting.rs -------------------------------------------------------------------------------- /tests/run-pass/issue-3794.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/issue-3794.rs -------------------------------------------------------------------------------- /tests/run-pass/issue-5917.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/issue-5917.rs -------------------------------------------------------------------------------- /tests/run-pass/issue-miri-184.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/issue-miri-184.rs -------------------------------------------------------------------------------- /tests/run-pass/iter_any.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/iter_any.rs -------------------------------------------------------------------------------- /tests/run-pass/iter_slice.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/iter_slice.rs -------------------------------------------------------------------------------- /tests/run-pass/last-use-in-cap-clause.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/last-use-in-cap-clause.rs -------------------------------------------------------------------------------- /tests/run-pass/loops.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/loops.rs -------------------------------------------------------------------------------- /tests/run-pass/main_fn.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/main_fn.rs -------------------------------------------------------------------------------- /tests/run-pass/match_slice.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/match_slice.rs -------------------------------------------------------------------------------- /tests/run-pass/mir_coercions.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/mir_coercions.rs -------------------------------------------------------------------------------- /tests/run-pass/mir_fat_ptr.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/mir_fat_ptr.rs -------------------------------------------------------------------------------- /tests/run-pass/miri-issue-133.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/miri-issue-133.rs -------------------------------------------------------------------------------- /tests/run-pass/move-arg-2-unique.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/move-arg-2-unique.rs -------------------------------------------------------------------------------- /tests/run-pass/move-arg-3-unique.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/move-arg-3-unique.rs -------------------------------------------------------------------------------- /tests/run-pass/move-undef-primval.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/move-undef-primval.rs -------------------------------------------------------------------------------- /tests/run-pass/multi_arg_closure.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/multi_arg_closure.rs -------------------------------------------------------------------------------- /tests/run-pass/negative_discriminant.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/negative_discriminant.rs -------------------------------------------------------------------------------- /tests/run-pass/non_capture_closure_to_fn_ptr.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/non_capture_closure_to_fn_ptr.rs -------------------------------------------------------------------------------- /tests/run-pass/observed_local_mut.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/observed_local_mut.rs -------------------------------------------------------------------------------- /tests/run-pass/option_box_transmute_ptr.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/option_box_transmute_ptr.rs -------------------------------------------------------------------------------- /tests/run-pass/option_eq.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/option_eq.rs -------------------------------------------------------------------------------- /tests/run-pass/overloaded-calls-simple.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/overloaded-calls-simple.rs -------------------------------------------------------------------------------- /tests/run-pass/pointer_arithmetic_as_usize.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/pointer_arithmetic_as_usize.rs -------------------------------------------------------------------------------- /tests/run-pass/pointer_sub.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/pointer_sub.rs -------------------------------------------------------------------------------- /tests/run-pass/pointers.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/pointers.rs -------------------------------------------------------------------------------- /tests/run-pass/products.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/products.rs -------------------------------------------------------------------------------- /tests/run-pass/ptr_arith_offset.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/ptr_arith_offset.rs -------------------------------------------------------------------------------- /tests/run-pass/ptr_arith_offset_overflow.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/ptr_arith_offset_overflow.rs -------------------------------------------------------------------------------- /tests/run-pass/ptr_int_casts.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/ptr_int_casts.rs -------------------------------------------------------------------------------- /tests/run-pass/ptr_offset.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/ptr_offset.rs -------------------------------------------------------------------------------- /tests/run-pass/rc.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/rc.rs -------------------------------------------------------------------------------- /tests/run-pass/recursive_static.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/recursive_static.rs -------------------------------------------------------------------------------- /tests/run-pass/regions-lifetime-nonfree-late-bound.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/regions-lifetime-nonfree-late-bound.rs -------------------------------------------------------------------------------- /tests/run-pass/rfc1623.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/rfc1623.rs -------------------------------------------------------------------------------- /tests/run-pass/rust-lang-org.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/rust-lang-org.rs -------------------------------------------------------------------------------- /tests/run-pass/seer-issue-2.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/seer-issue-2.rs -------------------------------------------------------------------------------- /tests/run-pass/send-is-not-static-par-for.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/send-is-not-static-par-for.rs -------------------------------------------------------------------------------- /tests/run-pass/sendable-class.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/sendable-class.rs -------------------------------------------------------------------------------- /tests/run-pass/simd-intrinsic-generic-elements.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/simd-intrinsic-generic-elements.rs -------------------------------------------------------------------------------- /tests/run-pass/slice-of-zero-size-elements.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/slice-of-zero-size-elements.rs -------------------------------------------------------------------------------- /tests/run-pass/small_enum_size_bug.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/small_enum_size_bug.rs -------------------------------------------------------------------------------- /tests/run-pass/specialization.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/specialization.rs -------------------------------------------------------------------------------- /tests/run-pass/static_memory_modification.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/static_memory_modification.rs -------------------------------------------------------------------------------- /tests/run-pass/static_mut.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/static_mut.rs -------------------------------------------------------------------------------- /tests/run-pass/std.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/std.rs -------------------------------------------------------------------------------- /tests/run-pass/strings.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/strings.rs -------------------------------------------------------------------------------- /tests/run-pass/sums.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/sums.rs -------------------------------------------------------------------------------- /tests/run-pass/too-large-primval-write-problem.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/too-large-primval-write-problem.rs -------------------------------------------------------------------------------- /tests/run-pass/traits.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/traits.rs -------------------------------------------------------------------------------- /tests/run-pass/trivial.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/trivial.rs -------------------------------------------------------------------------------- /tests/run-pass/try-operator-custom.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/try-operator-custom.rs -------------------------------------------------------------------------------- /tests/run-pass/tuple_like_enum_variant_constructor.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/tuple_like_enum_variant_constructor.rs -------------------------------------------------------------------------------- /tests/run-pass/tuple_like_enum_variant_constructor_pointer_opt.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/tuple_like_enum_variant_constructor_pointer_opt.rs -------------------------------------------------------------------------------- /tests/run-pass/tuple_like_enum_variant_constructor_struct_pointer_opt.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/tuple_like_enum_variant_constructor_struct_pointer_opt.rs -------------------------------------------------------------------------------- /tests/run-pass/tuple_like_struct_constructor.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/tuple_like_struct_constructor.rs -------------------------------------------------------------------------------- /tests/run-pass/union-projection.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/union-projection.rs -------------------------------------------------------------------------------- /tests/run-pass/union.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/union.rs -------------------------------------------------------------------------------- /tests/run-pass/unique-send.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/unique-send.rs -------------------------------------------------------------------------------- /tests/run-pass/vec-matching-fold.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/vec-matching-fold.rs -------------------------------------------------------------------------------- /tests/run-pass/vecs.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/vecs.rs -------------------------------------------------------------------------------- /tests/run-pass/write-bytes.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/write-bytes.rs -------------------------------------------------------------------------------- /tests/run-pass/zst.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/zst.rs -------------------------------------------------------------------------------- /tests/run-pass/zst_box.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/zst_box.rs -------------------------------------------------------------------------------- /tests/run-pass/zst_variant_drop.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/run-pass/zst_variant_drop.rs -------------------------------------------------------------------------------- /tests/symbolic.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/symbolic.rs -------------------------------------------------------------------------------- /tests/symbolic/array_offset_field.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/symbolic/array_offset_field.rs -------------------------------------------------------------------------------- /tests/symbolic/bitwise_bool.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/symbolic/bitwise_bool.rs -------------------------------------------------------------------------------- /tests/symbolic/bool_cast.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/symbolic/bool_cast.rs -------------------------------------------------------------------------------- /tests/symbolic/comparisons.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/symbolic/comparisons.rs -------------------------------------------------------------------------------- /tests/symbolic/count_ones.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/symbolic/count_ones.rs -------------------------------------------------------------------------------- /tests/symbolic/div.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/symbolic/div.rs -------------------------------------------------------------------------------- /tests/symbolic/indexing.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/symbolic/indexing.rs -------------------------------------------------------------------------------- /tests/symbolic/infeasible.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/symbolic/infeasible.rs -------------------------------------------------------------------------------- /tests/symbolic/leading_zeros.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/symbolic/leading_zeros.rs -------------------------------------------------------------------------------- /tests/symbolic/manticore.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/symbolic/manticore.rs -------------------------------------------------------------------------------- /tests/symbolic/memcmp.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/symbolic/memcmp.rs -------------------------------------------------------------------------------- /tests/symbolic/neg.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/symbolic/neg.rs -------------------------------------------------------------------------------- /tests/symbolic/ptr_offset.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/symbolic/ptr_offset.rs -------------------------------------------------------------------------------- /tests/symbolic/ptr_offset_field.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/symbolic/ptr_offset_field.rs -------------------------------------------------------------------------------- /tests/symbolic/ptr_projection.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/symbolic/ptr_projection.rs -------------------------------------------------------------------------------- /tests/symbolic/read_bool.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/symbolic/read_bool.rs -------------------------------------------------------------------------------- /tests/symbolic/read_char.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/symbolic/read_char.rs -------------------------------------------------------------------------------- /tests/symbolic/read_signed_int.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/symbolic/read_signed_int.rs -------------------------------------------------------------------------------- /tests/symbolic/read_u16.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/symbolic/read_u16.rs -------------------------------------------------------------------------------- /tests/symbolic/read_u32.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/symbolic/read_u32.rs -------------------------------------------------------------------------------- /tests/symbolic/read_u64.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/symbolic/read_u64.rs -------------------------------------------------------------------------------- /tests/symbolic/simple.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/symbolic/simple.rs -------------------------------------------------------------------------------- /tests/symbolic/slice.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/symbolic/slice.rs -------------------------------------------------------------------------------- /tests/symbolic/str_starts_with.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/symbolic/str_starts_with.rs -------------------------------------------------------------------------------- /tests/symbolic/trailing_zeros.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/symbolic/trailing_zeros.rs -------------------------------------------------------------------------------- /tests/symbolic/write_mem.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/seer/HEAD/tests/symbolic/write_mem.rs --------------------------------------------------------------------------------