kadmin
4bceb294f4
Clean up todos
...
Also add some span_bugs where it is unreachable
2021-03-09 19:31:31 +00:00
Jonas Schievink
d4a05696d9
Rollup merge of #79080 - camelid:mir-visit-debuginfo-project, r=jonas-schievink
...
MIR visitor: Don't treat debuginfo field access as a use of the struct
Fixes #77454 .
r? `@jonas-schievink`
2020-11-23 15:25:40 +01:00
Camelid
b196bec236
Add comment and remove obsolete special case
2020-11-22 17:39:15 -08:00
Tomasz Miąsko
0ab44584aa
Revert "Normalize function type during validation"
...
This reverts commit d486bfcbff
2020-11-19 05:36:55 +01:00
Tomasz Miąsko
8247223f74
Revert "Always use param_env_reveal_all_normalized in validator"
...
This reverts commit 99be78d135
2020-11-19 05:36:51 +01:00
Jonas Schievink
9c6d3c0940
Rollup merge of #79031 - camelid:mir-validate-local-decl, r=jonas-schievink
...
Validate that locals have a corresponding `LocalDecl`
Fixes #73356 .
2020-11-15 13:39:56 +01:00
Camelid
7eb1a1afcf
Validate that locals have a corresponding LocalDecl
2020-11-13 12:54:42 -08:00
Tomasz Miąsko
99be78d135
Always use param_env_reveal_all_normalized in validator
2020-11-12 20:57:43 +01:00
Tomasz Miąsko
d486bfcbff
Normalize function type during validation
...
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-11-12 20:57:43 +01:00
Bastian Kauschke
e06785b676
improve fixme
2020-11-06 22:37:16 +01:00
Bastian Kauschke
cc19df627e
revert #75443 update mir validator
2020-11-02 23:57:03 +01:00
Tomasz Miąsko
3b7157dc1a
Assert that locals have storage when used
...
The validator in visit_local asserts that local has a stroage when used,
but visit_local is never called so validation is ineffective.
Use super_statement and super_terminator to ensure that locals are visited.
2020-10-31 21:06:29 +01:00
Tomasz Miąsko
b816e5dfb4
validator: Extend aliasing check to a call terminator
2020-10-30 00:00:00 +00:00
Wesley Wiser
dd683e5ab5
MIR validation should check SwitchInt values are valid for the type
2020-10-24 16:00:04 -04:00
Tomasz Miąsko
585e737ec1
Validate references to source scopes
2020-10-14 00:00:00 +00:00
Jonas Schievink
432535da2b
Refactor how SwitchInt stores jump targets
2020-10-10 17:46:11 +02:00
Dylan MacKenzie
e72e43c730
Replace (Body, DefId) with Body where possible
...
A `Body` now contains its `MirSource`, which in turn contains the
`DefId` of the item associated with the `Body`.
2020-10-04 16:07:03 -07:00
Dylan MacKenzie
6f61e71648
Remember the MirSource for each Body
2020-10-04 11:01:38 -07:00
Jonas Schievink
acc150b2e9
validate: skip debuginfo
2020-10-02 16:50:29 +02:00
Jonas Schievink
c1a431edc3
validate: storage must be allocated on local use
2020-10-02 16:11:47 +02:00
Tomasz Miąsko
00e64ba476
Validate removal of AscribeUserType, FakeRead, and Shallow borrow
...
Those statements are removed by CleanupNonCodegenStatements pass
in drop lowering phase, and should not occur afterwards.
2020-09-10 00:00:00 +00:00
LeSeulArtichaut
3e14b684dd
Change ty.kind to a method
2020-09-04 17:47:51 +02:00
mark
9e5f7d5631
mv compiler to compiler/
2020-08-30 18:45:07 +03:00
