summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJohn Hodge <tpg@ucc.asn.au>2018-05-06 16:13:22 +0800
committerJohn Hodge <tpg@ucc.asn.au>2018-05-06 16:13:22 +0800
commit39b3cf53798683e496804f8322da2254b10850f4 (patch)
tree5f7c0589de55a11948eacf765fc7a81b6d43f14a
parentba9b4c4da6b9117529370f402e1015bf1730ccb2 (diff)
downloadmrust-39b3cf53798683e496804f8322da2254b10850f4.tar.gz
All - Fiddling with docs
-rw-r--r--Notes/ImplementationNotes/00-Overall.md1
-rw-r--r--Notes/todo.txt4
-rw-r--r--disabled_tests_run-pass.txt74
3 files changed, 39 insertions, 40 deletions
diff --git a/Notes/ImplementationNotes/00-Overall.md b/Notes/ImplementationNotes/00-Overall.md
index ddb32e03..bb857d76 100644
--- a/Notes/ImplementationNotes/00-Overall.md
+++ b/Notes/ImplementationNotes/00-Overall.md
@@ -38,7 +38,6 @@ MIR
- "MIR Validate" - Checks the sanity of the generated MIR
-
AST
===
The AST contains a direct translation of the source code into data structures, maintaining ordering and support for unexpanded macros and relative paths.
diff --git a/Notes/todo.txt b/Notes/todo.txt
index a368f614..7041c8b9 100644
--- a/Notes/todo.txt
+++ b/Notes/todo.txt
@@ -23,11 +23,11 @@ TODO:
- Only generate destructors if needed (removes C warnings)
- Cache specialisation tree
- Dependency files from mrustc
-- Allow disabling C codegen (and/or emitting a makefile stub for it)
+ - Partally done, not complete
## Optimisations
-- Argument propagation: replace assignments from Argument(_) if target is only
+- Argument propagation: replace assignments from `Argument(_)` if target is only
written once
- Dead assignment removal (Delete `<val> = Use(<val>)`
- Tuple destructure removal
diff --git a/disabled_tests_run-pass.txt b/disabled_tests_run-pass.txt
index e721b6d3..59b4fbcb 100644
--- a/disabled_tests_run-pass.txt
+++ b/disabled_tests_run-pass.txt
@@ -29,6 +29,43 @@ optimization-fuel-0 # -Z fuel=foo=0
optimization-fuel-1 # ^
warn-ctypes-inhibit # -D improper-ctypes
+# Requires unwinding panics
+unwind-resource
+backtrace
+backtrace-debuginfo
+backtrace-debuginfo-aux
+issue-24313 # Not sure if this is unwinding or TLS problems...
+box-of-array-of-drop-1
+box-of-array-of-drop-2
+catch-unwind-bang
+cleanup-rvalue-temp-during-incomplete-alloc
+drop-trait-enum
+dynamic-drop
+intrinsic-move-val-cleanups
+issue-14875
+issue-25089
+issue-26655
+issue-29485
+issue-29948
+issue-30018-panic
+issue-8460 # .. except it fails because there's no overflow checks
+multi-panic
+nested-vec-3
+panic-handler-chain
+panic-handler-flail-wildly
+panic-handler-set-twice
+panic-in-dtor-drops-fields
+panic-recover-propagate
+reachable-unnameable-items
+slice-panic-1
+slice-panic-2
+task-stderr
+terminate-in-initializer
+test-should-fail-good-message
+unit-like-struct-drop-run
+unwind-unique
+vector-sort-panic-safe
+
# LEX
lex-bare-cr-nondoc-comment # Don't treat \r as a new line
@@ -83,43 +120,6 @@ trait-item-inside-macro # TODO: Allow macro invocations in traits
try-operator-custom # TODO: use the ops::Try trait instead of try! desugar
type-macros-simple # macro_rules ordering with nested items
-# Requires unwinding panics
-unwind-resource
-backtrace
-backtrace-debuginfo
-backtrace-debuginfo-aux
-issue-24313 # Not sure if this is unwinding or TLS problems...
-box-of-array-of-drop-1
-box-of-array-of-drop-2
-catch-unwind-bang
-cleanup-rvalue-temp-during-incomplete-alloc
-drop-trait-enum
-dynamic-drop
-intrinsic-move-val-cleanups
-issue-14875
-issue-25089
-issue-26655
-issue-29485
-issue-29948
-issue-30018-panic
-issue-8460 # .. except it fails because there's no overflow checks
-multi-panic
-nested-vec-3
-panic-handler-chain
-panic-handler-flail-wildly
-panic-handler-set-twice
-panic-in-dtor-drops-fields
-panic-recover-propagate
-reachable-unnameable-items
-slice-panic-1
-slice-panic-2
-task-stderr
-terminate-in-initializer
-test-should-fail-good-message
-unit-like-struct-drop-run
-unwind-unique
-vector-sort-panic-safe
-
# CONST EVAL
associated-const-type-parameters # TODO: Associated const referred from associated const
check-static-mut-slices # MISSING: "Only shared borrows are allowed in constants"