about summary refs log tree commit diff
path: root/src/test/ui/mir
AgeCommit message (Collapse)AuthorLines
2021-10-03Fix unsound optimization with explicit variant discriminantsFabian Wolff-0/+18
2021-09-15Disable RemoveZsts in generators to avoid query cyclesTomasz Miąsko-0/+16
Querying layout of a generator requires its optimized MIR. Thus computing layout during MIR optimization of a generator might create a query cycle. Disable RemoveZsts in generators to avoid the issue (similar approach is used in ConstProp transform already).
2021-08-30`feature(const_generics)` -> `feature(const_param_types)`lcnr-116/+0
2021-08-30rename const_evaluatable_checked to generic_const_exprsEllen-1/+1
:sparkles:
2021-08-16Use note to point at bound introducing requirementEsteban Küber-3/+5
2021-08-11Modify structured suggestion outputEsteban Küber-1/+1
* On suggestions that include deletions, use a diff inspired output format * When suggesting addition, use `+` as underline * Color highlight modified span
2021-08-04Remove trailing whitespace from error messagesFabian Wolff-3/+3
2021-07-27Remove min_tait and full_tait stderr dangling filesSantiago Pastorino-16/+0
2021-07-27Make all tests use type_alias_impl_trait feature instead of minSantiago Pastorino-3/+9
2021-07-27Use type_alias_impl_trait instead of min in compiler and libSantiago Pastorino-13/+3
2021-07-18Remove impl_trait_in_bindings feature flagSantiago Pastorino-39/+15
2021-06-09Handle C-variadic arguments properly when reporting region errorsFabian Wolff-2/+2
2021-05-28const eval errors: display the current item instance if there are generics ↵Rémy Rakic-2/+2
involved
2021-04-01Add a test that triggers the out-of-bounds ICE.Midas Lambrichts-0/+31
Add a test that has the right input to trigger an out-of-bounds error when in MIR the local_decls and the normalized_input_tys don't match in amount.
2021-03-18Rollup merge of #83080 - tmiasko:inline-coverage, r=wesleywiserDylan DPC-23/+0
Make source-based code coverage compatible with MIR inlining When codegenning code coverage use the instance that coverage data was originally generated for, to ensure basic level of compatibility with MIR inlining. Fixes #83061
2021-03-17Rollup merge of #83092 - petrochenkov:qspan, r=estebankYuki Okushi-1/+1
More precise spans for HIR paths `Ty::assoc_item` is lowered to `<Ty>::assoc_item` in HIR, but `Ty` got span from the whole path. This PR fixes that, and adjusts some diagnostic code that relied on `Ty` having the whole path span. This is a pre-requisite for https://github.com/rust-lang/rust/pull/82868 (we cannot report suggestions like `Tr::assoc` -> `<dyn Tr>::assoc` with the current imprecise spans). r? ````@estebank````
2021-03-15Remove inline-instrument-coverage-fail.rs test caseTomasz Miąsko-23/+0
2021-03-15More precise spans for HIR pathsVadim Petrochenkov-1/+1
2021-03-15🍼 for tidyOli Scherer-2/+3
2021-03-15Only allow tait defining uses in function and method return positionOli Scherer-11/+18
2021-03-15Add a test showing how `impl_trait_in_bindings` is a breaking changeOli Scherer-2/+58
2021-03-15Replace `type_alias_impl_trait` by `min_type_alias_impl_trait` with no ↵Oli Scherer-1/+1
actual changes in behaviour This makes `type_alias_impl_trait` not actually do anything anymore
2021-03-05bless mir-inlining warning messageSantiago Pastorino-1/+1
2021-03-05Bump mir-opt-level from 2 to 3 in testsSantiago Pastorino-23/+23
2021-03-05Bump mir-opt-level from 3 to 4 in testsSantiago Pastorino-3/+3
2021-02-04regression test for issue 80949.Felix S. Klock II-0/+34
2021-02-03Allow/fix non_fmt_panic in tests.Mara Bos-1/+1
2021-01-26Avoid describing a method as 'not found' when bounds are unsatisfiedAaron Hill-3/+3
Fixes #76267 When there is a single applicable method candidate, but its trait bounds are not satisfied, we avoid saying that the method is "not found". Insted, we update the error message to directly mention which bounds are not satisfied, rather than mentioning them in a note.
2021-01-21mir: Improve size_of handling when arg is unsizedÖmer Sinan Ağacan-3/+31
2021-01-19Fix ICE in mir when evaluating SizeOf on unsized typeÖmer Sinan Ağacan-0/+75
Fixes #80742
2021-01-17Auto merge of #80942 - c410-f3r:tests-tests-tests, r=petrochenkovbors-0/+20
Move some tests to more reasonable directories - 2 All tests with a score equal or greater than 1.0 were moved to their respective directories by issuing ```bash cat FILE | tr -s " " | tr -d '():' | sort -k3 | awk '$3 >= 1' | cut -d " " -f1-2 | sed 's;\\;/;g' | xargs -n2 git mv ``` **Observation**: The first column values is the only column with results greater zero To attest the confidentiality of the model, some manual revision of at least of tests is needed and this process will be tracked in the following list: * `src/test/ui/abi/issue-28676.rs` OK #28676 * `src/test/ui/array-slice-vec/issue-15730.rs` OK * `src/test/ui/associated-types/issue-24338.rs` OK #54823 * `src/test/ui/associated-types/issue-48551.rs` Looks OK #48551 * `src/test/ui/associated-types/issue-50301.rs` Looks OK #63577 ... cc #73494 r? `@petrochenkov`
2021-01-16Move some tests to more reasonable directories - 2Caio-0/+20
Address comments Update limits
2021-01-16Add a regression test for #50041Simonas Kazlauskas-0/+34
AFAICT the test case never landed alongside the fix for the issue.
2021-01-13Update code to account for extern ABI requirementMark Rousskov-1/+1
2021-01-04Inlining enabled by -mir-opt-level > 1 is incompatible with coverageRich Kadel-0/+23
Fixes: #80060 Also adds additional test cases for coverage of doctests.
2020-12-26update testsBastian Kauschke-2/+0
2020-12-09fix test case issue refChenguang Wang-1/+1
2020-12-09fix issue #78496Chenguang Wang-0/+16
2020-11-22Drop support for cloudabi targetsLzu Tao-4/+0
2020-11-21Support building clone shims for arrays with generic sizeTomasz Miąsko-0/+13
2020-11-19Revert "Normalize function type during validation"Tomasz Miąsko-14/+4
This reverts commit d486bfcbff107e8a6769e00c59d02b13c664b6ee.
2020-11-15Limit storage duration of inlined always live localsTomasz Miąsko-4/+22
2020-11-12Normalize function type during validationTomasz Miąsko-4/+14
During inlining, the callee body is normalized and has types revealed, but some of locals corresponding to the arguments might come from the caller body which is not. As a result the caller body does not pass validation without additional normalization.
2020-10-20Add test for issue-77911Yuki Okushi-0/+16
2020-10-20Add test for issue-76375Yuki Okushi-0/+29
2020-10-20Add test for issue-75053Yuki Okushi-0/+48
2020-10-20Add test for issue-68841Yuki Okushi-0/+15
2020-10-07add test for should_inline incorrect param_envBastian Kauschke-0/+32
2020-10-07add regression testBastian Kauschke-0/+28
2020-10-07normalize substs during inliningBastian Kauschke-0/+17