New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
#14902 Write a MIR lint for rooting analysis #20264
Closed
+688
−191
Temporarily commented out one test
fc4c611
Select commit
89177a7
#14902 Write a MIR lint for rooting analysis
mrowqa ea0c1d4
Skip checking subexpressions (temporary variables).
mrowqa 011217b
Further progress (theoretically it should be able to detect some impr…
mrowqa 4169308
Moved forward with generics checking & refactored the code
mrowqa 41f4774
Calls to generic functions should be detected
mrowqa d5eafe0
Generic ADT with unrooted substs are detected.
mrowqa 2f4af72
Checking recursively parent generics + some proof work for allowing n…
mrowqa 53ed102
Updated way of detecting "new" methods and added test for closures.
mrowqa c6d04fa
Fixed problem with unrooted interior.
mrowqa 88a1814
Merge branch 'master' into mir-must-root
mrowqa c1e333b
Fixed generating traits by codegen.
mrowqa 2f767d2
Fixed some #[must_root] errors and added debugging code.
mrowqa 2416333
Fixed more violations.
mrowqa 3c14830
Added more exceptions to the plugin; servo should compile
mrowqa fc4c611
Temporarily commented out one test
mrowqa
Closed
#14902 Write a MIR lint for rooting analysis #20264
Temporarily commented out one test
Mar 10, 2018
Mar 11, 2018
Mar 19, 2018
Mar 19, 2018
Mar 26, 2018
Mar 27, 2018
Mar 28, 2018
Mar 28, 2018
Apr 8, 2018
May 9, 2018
May 9, 2018
May 9, 2018
May 10, 2018
May 11, 2018
May 11, 2018
fc4c611
Select commit
89177a7
#14902 Write a MIR lint for rooting analysis
mrowqa ea0c1d4
Skip checking subexpressions (temporary variables).
mrowqa 011217b
Further progress (theoretically it should be able to detect some impr…
mrowqa 4169308
Moved forward with generics checking & refactored the code
mrowqa 41f4774
Calls to generic functions should be detected
mrowqa d5eafe0
Generic ADT with unrooted substs are detected.
mrowqa 2f4af72
Checking recursively parent generics + some proof work for allowing n…
mrowqa 53ed102
Updated way of detecting "new" methods and added test for closures.
mrowqa c6d04fa
Fixed problem with unrooted interior.
mrowqa 88a1814
Merge branch 'master' into mir-must-root
mrowqa c1e333b
Fixed generating traits by codegen.
mrowqa 2f767d2
Fixed some #[must_root] errors and added debugging code.
mrowqa 2416333
Fixed more violations.
mrowqa 3c14830
Added more exceptions to the plugin; servo should compile
mrowqa fc4c611
Temporarily commented out one test
mrowqa