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
