summary refs log tree commit diff
path: root/src/test/incremental/hashes
AgeCommit message (Collapse)AuthorLines
2017-10-03related to #44924: update incr compilation for struct_defs.rsGarrett Berg-4/+177
2017-09-27Auto merge of #44709 - Badel2:inclusive-range-dotdoteq, r=petrochenkovbors-1/+1
Initial support for `..=` syntax #28237 This PR adds `..=` as a synonym for `...` in patterns and expressions. Since `...` in expressions was never stable, we now issue a warning. cc @durka r? @aturon
2017-09-23incr.comp.: Make #[rustc_dirty/clean] test for fingerprint equality instead ↵Michael Woerister-1/+1
of DepNode existence.
2017-09-22Add support for `..=` syntaxAlex Burka-1/+1
Add ..= to the parser Add ..= to libproc_macro Add ..= to ICH Highlight ..= in rustdoc Update impl Debug for RangeInclusive to ..= Replace `...` to `..=` in range docs Make the dotdoteq warning point to the ... Add warning for ... in expressions Updated more tests to the ..= syntax Updated even more tests to the ..= syntax Updated the inclusive_range entry in unstable book
2017-07-18Detect implicitly defined late bound lifetime parameters as wellVadim Petrochenkov-1/+1
2017-07-18Prohibit lifetime arguments in path segments with late bound lifetime parametersVadim Petrochenkov-2/+2
2017-07-06remove associated_consts feature gateSean McArthur-1/+0
2017-04-16rustc: use monomorphic const_eval for cross-crate enum discriminants.Eduard-Mihai Burtescu-2/+6
2017-04-12ICH: Replace old, transitive metadata hashing with direct hashing approach.Michael Woerister-144/+287
Instead of collecting all potential inputs to some metadata entry and hashing those, we directly hash the values we are storing in metadata. This is more accurate and doesn't suffer from quadratic blow-up when many entries have the same dependencies.
2017-02-25rustc_typeck: hook up collect and item/body check to on-demand.Eduard-Mihai Burtescu-1/+4
2017-02-03Let the ICH testing framework check that all #[rustc_dirty] attrs have been ↵Michael Woerister-27/+94
actually checked.
2017-01-05ICH: Add some more test cases for trait impls.Michael Woerister-0/+152
2016-12-28rustc: move function arguments into hir::Body.Eduard-Mihai Burtescu-1/+11
2016-12-28rustc: separate bodies for static/(associated)const and embedded constants.Eduard-Mihai Burtescu-13/+33
2016-12-28rustc: separate TraitItem from their parent Item, just like ImplItem.Eduard-Mihai Burtescu-28/+140
2016-12-28Auto merge of #38479 - michaelwoerister:extern_mod_ich, r=nikomatsakisbors-0/+272
ICH: Fix and test foreign mod hashing. r? @nikomatsakis
2016-12-24Rollup merge of #38557 - michaelwoerister:inline-asm-ich, r=nikomatsakisSteve Klabnik-0/+265
incr. comp.: Improve InlineAsm hashing and add test case r? @nikomatsakis
2016-12-22ICH: Add test case for InlineAsm hashes.Michael Woerister-0/+265
2016-12-21ICH: Add test case for extern mods.Michael Woerister-0/+272
2016-12-20ICH: Add test cases for inherent impls.Michael Woerister-1/+409
2016-12-06ICH: Add missing annotations for struct constructor expr test case.Michael Woerister-0/+12
2016-12-06ICH: Add test case for enum constructor expressions.Michael Woerister-0/+387
2016-12-06ICH: Add test case for indexing expressions.Michael Woerister-0/+157
2016-12-06ICH: Add test case sensitive to function bodies in metadata.Michael Woerister-0/+86
2016-12-06ICH: Add test case for closure expressions.Michael Woerister-0/+144
2016-11-29Fix SVH tests some moreFlorian Diebold-166/+228
2016-11-29Fix remaining SVH testsFlorian Diebold-37/+101
2016-11-29WIP: update tests to pass -- not completeNiko Matsakis-33/+51
2016-11-29Fix new testsFlorian Diebold-56/+184
2016-11-22ICH: Add test case for struct constructor expressions.Michael Woerister-0/+254
2016-11-20Rollup merge of #37841 - michaelwoerister:ich-loop-tests, r=nikomatsakisGuillaume Gomez-0/+1049
ICH: Add regression tests for various kinds of loops. r? @nikomatsakis
2016-11-17Auto merge of #37660 - nikomatsakis:incremental-36349, r=eddybbors-0/+532
Separate impl items from the parent impl This change separates impl item bodies out of the impl itself. This gives incremental more resolution. In so doing, it refactors how the visitors work, and cleans up a bit of the collect/check logic (mostly by moving things out of collect that didn't really belong there, because they were just checking conditions). However, this is not as effective as I expected, for a kind of frustrating reason. In particular, when invoking `foo.bar()` you still wind up with dependencies on private items. The problem is that the method resolution code scans that list for methods with the name `bar` -- and this winds up touching *all* the methods, even private ones. I can imagine two obvious ways to fix this: - separating fn bodies from fn sigs (#35078, currently being pursued by @flodiebold) - a more aggressive model of incremental that @michaelwoerister has been advocating, in which we hash the intermediate results (e.g., the outputs of collect) so that we can see that the intermediate result hasn't changed, even if a particular impl item has changed. So all in all I'm not quite sure whether to land this or not. =) It still seems like it has to be a win in some cases, but not with the test cases we have just now. I can try to gin up some test cases, but I'm not sure if they will be totally realistic. On the other hand, some of the early refactorings to the visitor trait seem worthwhile to me regardless. cc #36349 -- well, this is basically a fix for that issue, I guess r? @michaelwoerister NB: Based atop of @eddyb's PR https://github.com/rust-lang/rust/pull/37402; don't land until that lands.
2016-11-17add test for hashing trait implsNiko Matsakis-0/+404
2016-11-17ICH: Add regression tests for various kinds of loops.Michael Woerister-0/+1049
2016-11-17hash the contents of impl-item-ref by adding them to visitorNiko Matsakis-0/+128
Also simplify some of the `ty::AssociatedItem` representation, in particular by folding `has_value` into `hir::Defaultness`
2016-11-16ICH: Add test case for type alias definitionsMichael Woerister-0/+249
2016-11-12Rollup merge of #37694 - michaelwoerister:test-if-ich, r=brsonEduard-Mihai Burtescu-0/+232
ICH: Add test case for if- and if-let-expressions. r? @nikomatsakis
2016-11-10ICH: Add test case for if- and if-let-expressions.Michael Woerister-0/+232
2016-11-10ICH: Add test case for call expressions.Michael Woerister-0/+203
2016-11-09Rollup merge of #37654 - michaelwoerister:test-let-ich, r=nikomatsakisEduard-Mihai Burtescu-0/+570
ICH: Add tests for let- and match-expressions. r? @nikomatsakis
2016-11-08ICH: Add test case for match-expressionsMichael Woerister-0/+342
2016-11-08ICH: Add test case for let-expressions.Michael Woerister-0/+228
2016-11-07Fix typos and redundant codeoldmanmike-5/+3
2016-11-07Apply changes recommended in code reviewoldmanmike-21/+40
Said code review and recommendations can be found here: https://github.com/rust-lang/rust/pull/37610
2016-11-05Add unary and binary tests for incr-compoldmanmike-0/+497
2016-11-02ICH: Add test case for when overflow checks are disabled.Michael Woerister-0/+251
2016-11-01ICH: Hash expression spans if their source location is captured for panicsMichael Woerister-0/+173
2016-10-26Prohibit patterns in trait methods without bodiesVadim Petrochenkov-4/+4
2016-10-12Rollup merge of #36831 - michaelwoerister:ich-updates, r=nikomatsakisAlex Crichton-0/+71
incr.comp.: Minor refactoring and update to struct ICH test case r? @nikomatsakis
2016-10-11Rollup merge of #37072 - michaelwoerister:enable-trait-ich-tests, r=nikomatsakisGuillaume Gomez-91/+85
ICH: Enable some cases in trait definition hashing. Enable some test cases originally written by @eulerdisk. The tests can be enabled now because @MathieuBordere has fixed the underlying problem in #36974. r? @nikomatsakis