| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2017-11-16 | Rollup merge of #45951 - CrockAgile:master, r=michaelwoerister | Guillaume Gomez | -145/+75 | |
| incr: Update hash tests to use `except`-style checking Part of #44924 r? @michaelwoerister | ||||
| 2017-11-14 | Remove checked arithmetic from if expression hash tests | Jeff Crocker | -4/+4 | |
| 2017-11-14 | Rollup merge of #45950 - ↵ | Guillaume Gomez | -112/+56 | |
| fitzgen:update-unary-and-binary-exprs-test-to-use-incr-except, r=michaelwoerister incr: Make `unary_and_binary_exprs.rs` use `except`-style incremental checking Part of #44924 r? @michaelwoerister | ||||
| 2017-11-13 | fixing indentation | gaurikholkar | -12/+12 | |
| 2017-11-12 | Updated exported incremental compilation hash tests | Jeff Crocker | -12/+6 | |
| 2017-11-12 | Fix indexing expressions test copy/paste docs | Jeff Crocker | -1/+1 | |
| 2017-11-12 | Update if-expressions incremental hash tests | Jeff Crocker | -32/+16 | |
| 2017-11-12 | incr: Make `unary_and_binary_exprs.rs` use `except`-style incremental checking | Nick Fitzgerald | -112/+56 | |
| Part of #44924 | ||||
| 2017-11-12 | Update panic expressions w/o overflow checks tests | Jeff Crocker | -52/+26 | |
| 2017-11-12 | Update panic expression incremental tests | Jeff Crocker | -44/+22 | |
| 2017-11-12 | tidy fixes | gaurikholkar | -1/+1 | |
| 2017-11-12 | update match-expressions.rs | gaurikholkar | -60/+47 | |
| 2017-11-08 | Auto merge of #45867 - michaelwoerister:check-ich-stability, r=nikomatsakis | bors | -2/+37 | |
| incr.comp.: Verify stability of incr. comp. hashes and clean up various other things. The main contribution of this PR is that it adds the `-Z incremental-verify-ich` functionality. Normally, when the red-green tracking system determines that a certain query result has not changed, it does not re-compute the incr. comp. hash (ICH) for that query result because that hash is already known. `-Z incremental-verify-ich` tells the compiler to re-hash the query result and compare the new hash against the cached hash. This is a rather thorough way of - testing hashing implementation stability, - finding missing `[input]` annotations on `DepNodes`, and - finding missing read-edges, since both a missed read and a missing `[input]` annotation can lead to something being marked as green instead of red and thus will have a different hash than it should have. Case in point, implementing this verification logic and activating it for all `src/test/incremental` tests has revealed several such oversights, all of which are fixed in this PR. r? @nikomatsakis | ||||
| 2017-11-07 | incr.comp.: Acknowledge the fact that shift operations can panic at runtime. | Michael Woerister | -2/+37 | |
| 2017-11-07 | Fix incremental tests after change to instantiation strategy. | Michael Woerister | -58/+74 | |
| 2017-11-03 | [Syntax Breaking] Rename DefaultImpl to AutoImpl | leonardo.yvens | -2/+2 | |
| DefaultImpl is a highly confusing name for what we now call auto impls, as in `impl Send for ..`. The name auto impl is not formally decided but for sanity anything is better than `DefaultImpl` which refers neither to `default impl` nor to `impl Default`. | ||||
| 2017-10-26 | incr.comp.: Update overflow-check logic in HIR hashing. | Michael Woerister | -40/+52 | |
| 2017-10-23 | update inherent_impls tests | Niko Matsakis | -6/+5 | |
| Now that we are visiting things in a different order during lowering, adding parameters winds up affecting the HirIds assigned to thinks in the method body, whereas it didn't before. We could fix this by reordering the order in which we visit `generics` during lowering, but this feels very fragile. Seems better to just let typeck tables be dirty here. | ||||
| 2017-10-14 | Auto merge of #45104 - vitiral:incr_auto_assert2, r=michaelwoerister | bors | -446/+392 | |
| Incremental compilation auto assert (with except) cc @michaelwoerister bors merged part 1, so this is a WIP of part 2 of #45009 -- auto asserting DepNodes depending on the type of node rustc_clean/dirty is attached to Framework: - [x] finish auto-detection for specified DepNodes - [x] finish auto-detection for remaining DepNodes Test Refactors: - [x] consts.rs - [x] enum_constructors.rs - [x] extern_mods.rs - [x] inherent_impls.rs - [x] statics.rs - [x] struct_constructors.rs - ~~**BLOCKED** trait_defs.rs, see FIXME~~ - ~~**BLOCKED** trait_impls.rs~~ - [x] type_defs.rs - [x] enum_defs.rs | ||||
| 2017-10-13 | fix review comments | Garrett Berg | -31/+34 | |
| 2017-10-12 | incr comp: rustc_clean/dirty auto assert | Garrett Berg | -436/+379 | |
| This adds auto-assertion to `rustc_clean/dirty` and also implements more comprehensive testing for - src/test/incremental/hashes/enum_constructors.rs - src/test/incremental/hashes/enum_defs.rs - src/test/incremental/hashes/extern_mods.rs - src/test/incremental/hashes/inherent_impls.rs - src/test/incremental/hashes/statics.rs - src/test/incremental/hashes/struct_constructors.rs - src/test/incremental/hashes/type_defs.rs trait_defs.rs and trait_impl.rs are blocked on a hard to triage compiler ICE (at least hard for a newbie like me) having to do with some DepNodes not getting computed for traits. A FIXME has been added in the source to reflect this continued work. | ||||
| 2017-10-09 | Update let-expressions.rs | gaurikholkar | -0/+160 | |
| 2017-10-03 | related to #44924: update incr compilation for struct_defs.rs | Garrett Berg | -4/+177 | |
| 2017-09-27 | Auto merge of #44709 - Badel2:inclusive-range-dotdoteq, r=petrochenkov | bors | -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-23 | incr.comp.: Make #[rustc_dirty/clean] test for fingerprint equality instead ↵ | Michael Woerister | -1/+1 | |
| of DepNode existence. | ||||
| 2017-09-22 | Add support for `..=` syntax | Alex 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-18 | Detect implicitly defined late bound lifetime parameters as well | Vadim Petrochenkov | -1/+1 | |
| 2017-07-18 | Prohibit lifetime arguments in path segments with late bound lifetime parameters | Vadim Petrochenkov | -2/+2 | |
| 2017-07-06 | remove associated_consts feature gate | Sean McArthur | -1/+0 | |
| 2017-04-16 | rustc: use monomorphic const_eval for cross-crate enum discriminants. | Eduard-Mihai Burtescu | -2/+6 | |
| 2017-04-12 | ICH: 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-25 | rustc_typeck: hook up collect and item/body check to on-demand. | Eduard-Mihai Burtescu | -1/+4 | |
| 2017-02-03 | Let the ICH testing framework check that all #[rustc_dirty] attrs have been ↵ | Michael Woerister | -27/+94 | |
| actually checked. | ||||
| 2017-01-05 | ICH: Add some more test cases for trait impls. | Michael Woerister | -0/+152 | |
| 2016-12-28 | rustc: move function arguments into hir::Body. | Eduard-Mihai Burtescu | -1/+11 | |
| 2016-12-28 | rustc: separate bodies for static/(associated)const and embedded constants. | Eduard-Mihai Burtescu | -13/+33 | |
| 2016-12-28 | rustc: separate TraitItem from their parent Item, just like ImplItem. | Eduard-Mihai Burtescu | -28/+140 | |
| 2016-12-28 | Auto merge of #38479 - michaelwoerister:extern_mod_ich, r=nikomatsakis | bors | -0/+272 | |
| ICH: Fix and test foreign mod hashing. r? @nikomatsakis | ||||
| 2016-12-24 | Rollup merge of #38557 - michaelwoerister:inline-asm-ich, r=nikomatsakis | Steve Klabnik | -0/+265 | |
| incr. comp.: Improve InlineAsm hashing and add test case r? @nikomatsakis | ||||
| 2016-12-22 | ICH: Add test case for InlineAsm hashes. | Michael Woerister | -0/+265 | |
| 2016-12-21 | ICH: Add test case for extern mods. | Michael Woerister | -0/+272 | |
| 2016-12-20 | ICH: Add test cases for inherent impls. | Michael Woerister | -1/+409 | |
| 2016-12-06 | ICH: Add missing annotations for struct constructor expr test case. | Michael Woerister | -0/+12 | |
| 2016-12-06 | ICH: Add test case for enum constructor expressions. | Michael Woerister | -0/+387 | |
| 2016-12-06 | ICH: Add test case for indexing expressions. | Michael Woerister | -0/+157 | |
| 2016-12-06 | ICH: Add test case sensitive to function bodies in metadata. | Michael Woerister | -0/+86 | |
| 2016-12-06 | ICH: Add test case for closure expressions. | Michael Woerister | -0/+144 | |
| 2016-11-29 | Fix SVH tests some more | Florian Diebold | -166/+228 | |
| 2016-11-29 | Fix remaining SVH tests | Florian Diebold | -37/+101 | |
| 2016-11-29 | WIP: update tests to pass -- not complete | Niko Matsakis | -33/+51 | |
