auto merge of #11789 : pongad/rust/master, r=kballard

All tests passing. #5268

auto merge of #11965 : alexcrichton/rust/issue-7385, r=alexcrichton

I've verified that it works on osx x86_64

Closes #7385

Rolled up PRs:

Closes #11898
Closes #11934
Closes #11942
Closes #11952
Closes #11960
Closes #11966
Closes #11953

Closed issues:

Closes #4063
Closes #7911

Fixing tests

Remove the need to count lang items

This solves horrible diffs where all you do is renumber literally everything.

Test for null buffer in CString.len()/.iter() and fail

Also change .as_str() to fail on null buffer.

Remove the obsolete handler for `impl A;`.

This is has been obsolete for quite a while now (including a release),
so removing the special handling seems fine. (The error message is quite
good still anyway.)

Fixes #9580.

Add test for sensible #[start] error message.

Fixes #9575.

Add test cases for #4063.

Signed-off-by: OGINO Masanori <masanori.ogino@gmail.com>

mark the minimum supported Linux kernel version

This is just taken from the binary itself. It would be nice to mark the
minimum glibc version too, and the corresponding RHEL/CentOS version.

mark Windows 8 as supported

bump minimum supported OS X version to 10.7

Closes #11927
Closes #10842
Closes #2024

Add test case for issue 7911

Fix minor doc typos

Un-xfail test for 7385

I've verified that it works on osx x86_64

Closes #7385

Added minmax function.
Tests ok

auto merge of #11768 : nikomatsakis/rust/issue-11385-cell-and-variance, r=pnkfelix

Introduce marker types for indicating variance and for opting out
of builtin bounds.

Fixes #10834.
Fixes #11385.
cc #5922.

r? @pnkfelix (since you reviewed the variance inference in the first place)

auto merge of #11885 : bnoordhuis/rust/issue11694, r=alexcrichton

EINVAL means that the requested stack size is either not a multiple
of the system page size or that it's smaller than PTHREAD_STACK_MIN.
Figure out what the case is, fix it up and retry.  If it still fails,
give up, like before.

Suggestions for future improvements:

  * don't fail!() but instead signal a condition, or
  * silently ignore the error and use a default sized stack.

Fixes #11694.

The first two commits put the framework in place, the third one contains the meat.

Introduce marker types for indicating variance and for opting out
of builtin bounds.

Fixes #10834.
Fixes #11385.
cc #5922.

auto merge of #11810 : Armavica/rust/issue-11645, r=alexcrichton

The doc-generating tool comments out the lines that match `/$# /` (note the space), which is not what is wanted here. And it lets live the lines matching `/$#[^ ]/`. But we still want to see a space. So I replaced the normal space by a non breakable one, which fools the parser into displaying the line.

auto merge of #11832 : jfager/rust/r5900, r=alexcrichton

I tried a couple of different ways to squash this, and still don't think this is ideal, but I wanted to get it out for feedback.

Closes #5900
Closes #9942

There are a few scenarios where the compiler tries to evaluate CastExprs without the corresponding types being available yet in the type context:  https://github.com/mozilla/rust/issues/10618, https://github.com/mozilla/rust/issues/5900, https://github.com/mozilla/rust/issues/9942

This PR takes the approach of having eval_const_expr_partial's CastExpr arm fall back to a limited ast_ty_to_ty call that only checks for (a subset of) valid const types, when the direct type lookup fails.  It's kind of hacky, so I understand if you don't want to take this as is.  I'd need a little mentoring to get this into better shape, as figuring out the proper fix has been a little daunting. I'm also happy if someone else wants to pick this up and run with it.

This closes 5900 and 9942, but only moves the goalposts a little on 10618, which now falls over in a later phase of the compiler.

auto merge of #11955 : alexcrichton/rust/fix-unwinding-on-mac-64, r=cmr

I believe that this is leading to lots of failures on the bots.

cc #11954

Disable fp elim on mac64

I believe that this is leading to lots of failures on the bots.

cc #11954

auto merge of #11917 : thestinger/rust/intrinsic, r=alexcrichton

auto merge of #11933 : kini/rust/patch-1, r=alexcrichton

Text refers to "the type shown earlier", when the type in
question was not in fact shown earlier.  I assume this is
an artifact of an earlier revision.

auto merge of #11929 : FlaPer87/rust/issue-11681, r=huonw

closes #11681

Use __pthread_get_minstack() when available.

glibc >= 2.15 has a __pthread_get_minstack() function that returns
PTHREAD_STACK_MIN plus however many bytes are needed for thread-local
storage.  Use it when it's available because just PTHREAD_STACK_MIN is
not enough in applications that have big thread-local storage
requirements.

Fixes #6233.

Retry on EINVAL from pthread_attr_setstacksize()

Enforce that the stack size is > RED_ZONE + PTHREAD_STACK_MIN.  If the
call to pthread_attr_setstacksize() subsequently fails with EINVAL, it
means that the platform requires the stack size to be a multiple of the
page size.  In that case, round up to the nearest page and retry.

Fixes #11694.

Add libc::consts::os::posix01::PTHREAD_STACK_MIN

Represents the minimum size of a thread's stack.  As such, it's both
platform and architecture-specific.

I put it under posix01 even though it predates POSIX.1-2001 by some
years.  I believe it was first formalized in SUSv2.  I doubt anyone
cares, though.

auto merge of #11918 : omasanori/rust/reduce-warnings, r=alexcrichton

Moving forward to green waterfall.

auto merge of #11947 : alexcrichton/rust/osx-unwind, r=brson

On OSX 32-bit, the private fields are 5 words long, not 2. I found this
segfaulting before this change, and after this change it no longer segfaulted.

Fix the size of the _Unwind_Exception struct

On OSX 32-bit, the private fields are 5 words long, not 2. I found this
segfaulting before this change, and after this change it no longer segfaulted.

auto merge of #11784 : eminence/rust/fix_run_tests, r=alexcrichton

This test is designed to ensure that running a non-existent executable
results in a correct error message (FileNotFound in this case of this
test).  However, if you try to run an executable that doesn't exist, and
that requires searching through the $PATH, and one of the $PATH components
is not readable, then a PermissionDenied error will be returned, instead
of FileNotFound.

Using an absolute path skips the $PATH search logic in exec, thus by-passing the logic in exec that would have returned a PermissionDenied

In the specific case of my machine, /usr/bin/games was part of $PATH, but my user account wasn't in the games group (thus being unable to read /usr/bin/games)

See the man pages for execv and execve for more details.

I've tested this on Linux and OSX, and I am fairly certain that there will be no problems on Windows

auto merge of #11759 : nathanielherman/rust/master, r=alexcrichton

For #5172

Make size_of, align_of, and element_offset functions return u64 instead of uint in trans::machine (per #5172)

auto merge of #11895 : xales/rust/libstd, r=alexcrichton

Fixes #11814

auto merge of #11217 : eddyb/rust/generic-default-type-params, r=cmr

Implement default type parameters in generics.

auto merge of #11914 : FlaPer87/rust/issue-6157, r=alexcrichton

closes #6157

Fix inconsistency in tutorial.md

Text refers to "the type shown earlier", when the type in
question was not in fact shown earlier.  I assume this is
an artifact of an earlier revision.

auto merge of #11911 : kballard/rust/empty-functional-update, r=pcwalton

Fixes #8972

auto merge of #11909 : thestinger/rust/tydesc, r=pcwalton

Add test case for issue #11681

auto merge of #11907 : sanxiyn/rust/simd-shift, r=thestinger

For the purpose of deciding whether to truncate or extend the right hand side of bit shifts, use the size of the element type for SIMD vector types.

Fix #11900.

auto merge of #11853 : alexcrichton/rust/up-llvm, r=brson

This upgrade brings commit by @eddyb to help optimizations of virtual calls in
a few places (https://github.com/llvm-mirror/llvm/commit/6d2bd95) as well as a
commit by @c-a to *greatly* improve the runtime of the optimization passes
(https://github.com/rust-lang/llvm/pull/3).

Nice work to these guys!

Upgrade LLVM

This upgrade brings commit by @eddyb to help optimizations of virtual calls in
a few places (https://github.com/llvm-mirror/llvm/commit/6d2bd95) as well as a
commit by @c-a to *greatly* improve the runtime of the optimization passes
(https://github.com/rust-lang/llvm/pull/3).

Nice work to these guys!

auto merge of #11839 : typelist/rust/issue3008, r=huonw

It was possible to trigger a stack overflow in rustc because the routine used to verify enum representability,
type_structurally_contains, would recurse on inner types until hitting the original type. The overflow condition was when a different structurally recursive type (enum or struct) was contained in the type being checked.

I suspect my solution isn't as efficient as it could be. I pondered adding a cache of previously-seen types to avoid duplicating work (if enums A and B both contain type C, my code goes through C twice), but I didn't want to do anything that may not be necessary.

I'm a new contributor, so please pay particular attention to any unidiomatic code, misuse of terminology, bad naming of tests, or similar horribleness :)

Updated to verify struct representability as well.

Fixes #3008.
Fixes #3779.

Consider types that contain fixed-length-zero vectors of themselves as non-representable until #11924 is resolved

auto merge of #11672 : bjz/rust/remove-times, r=brson

`Times::times` was always a second-class loop because it did not support the `break` and `continue` operations. Its playful appeal (which I liked) was then lost after `do` was disabled for closures. It's time to let this one go.

Remove Times trait

`Times::times` was always a second-class loop because it did not support the `break` and `continue` operations. Its playful appeal was then lost after `do` was disabled for closures. It's time to let this one go.

Add compile-fail tests for non-representable structs and enums

Check enum and struct representability properly (issues #3008 and #3779)

Remove seldom-used std::reference functions.

Remove double-use of logging.

Rename std::borrow to std::reference.

Fixes #11814

auto merge of #11893 : Armavica/rust/copyable-cloneable, r=huonw

I found awkward to have `MutableCloneableVector` and `CloneableIterator` on the one hand, and `CopyableVector` etc. on the other hand.

The concerned traits are:
* `CopyableVector` --> `CloneableVector`
* `OwnedCopyableVector` --> `OwnedCloneableVector`
* `ImmutableCopyableVector` --> `ImmutableCloneableVector`
* `CopyableTuple` --> `CloneableTuple`

remove a layer of indirection from most intrinsics

Append ; to #[allow(dead_code)].

Signed-off-by: OGINO Masanori <masanori.ogino@gmail.com>

Prefix _ to unused variables.

Signed-off-by: OGINO Masanori <masanori.ogino@gmail.com>

Remove unused imports.

Signed-off-by: OGINO Masanori <masanori.ogino@gmail.com>

auto merge of #11776 : FlaPer87/rust/issue-11681-static-lifetime, r=nikomatsakis

Closes #11681
Closes #11854

Add test for issue 6157

Fixes temporary lifetime computation for static items

closes: #11854

auto merge of #11879 : thestinger/rust/frame-pointer, r=alexcrichton

This is still used for Rust code (`Options.NoFramePointerElim = true`).

enable fp-elim when debug info is disabled

This can almost be fully disabled, as it no longer breaks retrieving a
backtrace on OS X as verified by @alexcrichton. However, it still
breaks retrieving the values of parameters. This should be fixable in
the future via a proper location list...

Closes #7477

use a more efficient vtable representation

[TyDesc, ... methods] -> [destructor, ... methods]

auto merge of #11877 : Armavica/rust/doc-pm-vector, r=alexcrichton

This feature already was in the tutorial, but I believe that the tutorial should be a strict subset of the manual.

I also added an example.

Allow empty functional updating of structs

Fixes #8972

auto merge of #11754 : alexcrichton/rust/unused-result, r=brson

The general consensus is that we want to move away from conditions for I/O, and I propose a two-step plan for doing so:

1. Warn about unused `Result` types. When all of I/O returns `Result`, it will require you inspect the return value for an error *only if* you have a result you want to look at. By default, for things like `write` returning `Result<(), Error>`, these will all go silently ignored. This lint will prevent blind ignorance of these return values, letting you know that there's something you should do about them.

2. Implement a `try!` macro:

```
macro_rules! try( ($e:expr) => (match $e { Ok(e) => e, Err(e) => return Err(e) }) )
```

With these two tools combined, I feel that we get almost all the benefits of conditions. The first step (the lint) is a sanity check that you're not ignoring return values at callsites. The second step is to provide a convenience method of returning early out of a sequence of computations. After thinking about this for awhile, I don't think that we need the so-called "do-notation" in the compiler itself because I think it's just *too* specialized. Additionally, the `try!` macro is super lightweight, easy to understand, and works almost everywhere. As soon as you want to do something more fancy, my answer is "use match".

Basically, with these two tools in action, I would be comfortable removing conditions. What do others think about this strategy?

----

This PR specifically implements the `unused_result` lint. I actually added two lints, `unused_result` and `unused_must_use`, and the first commit has the rationale for why `unused_result` is turned off by default.

Flag Result as #[must_use] and deal with fallout.

auto merge of #11868 : bytbox/rust/remove-do, r=alexcrichton

Fixes #10815.

stop making visit glue for closures and traits

Fix SIMD bit shifts

auto merge of #11867 : dmanescu/rust/8784-arena-glob, r=huonw

In line with the dissolution of libextra - #8784 - this moves arena and glob into
their own respective modules. Updates .gitignore with the entries
doc/{arena,glob} in accordance.

Removing support for the do syntax from libsyntax and librustc.

Fixes #10815.

Removing usage of the do keyword from documentation

Remove do keyword from compiletests

Remove do keyword from test/

Removing do keyword from libgreen

Removing do keyword from libextra

Removing do keyword from librustpkg

Removing do keyword from libnative

Remove do keyword from librustuv

Removing do keyword from libstd and librustc

Removing do keyword from librustdoc

Treat unary struct and enum variants as rvalues

Closes #11681

auto merge of #11889 : nikomatsakis/rust/issue-3243-stack-alloc-vec, r=nikomatsakis

(Lifetime of stack allocated vectors was not being enforced)

Closes #3243.

Document vector destructuring with wildcard '..'

auto merge of #11903 : alexcrichton/rust/android-test-deps, r=huonw

This changes android testing to upload *all* target crates rather than just a
select subset. This should unblock #11867 which is introducing a libglob
dependency in testing.

Fix android test deps

This changes android testing to upload *all* target crates rather than just a
select subset. This should unblock #11867 which is introducing a libglob
dependency in testing.

auto merge of #11706 : alexcrichton/rust/issue-11253, r=huonw

Closes #11253

Generate rlibs by default (instead of dylibs)

Closes #11253

extra: move glob to libglob

In line with the dissolution of libextra - moves glob to its own library libglob.
Changes based on PR #11787. Updates .gitignore to ignore doc/glob.

auto merge of #11887 : alexcrichton/rust/rpath-for-real, r=thestinger

Closes #5219

Add a limited prim type lookup for safer const expr evaluation

auto merge of #11883 : alexcrichton/rust/fix-mk-install, r=pnkfelix

Closes #11874

extra: move arena to libarena

In line with the dissolution of libextra - #8784 - moves arena to its own library libarena.
Changes based on PR #11787. Updates .gitignore to ignore doc/arena.

Implement an unused_result lint

I attempted to implement the lint in two steps. My first attempt was a
default-warn lint about *all* unused results. While this attempt did indeed find
many possible bugs, I felt that the false-positive rate was too high to be
turned on by default for all of Rust.

My second attempt was to make unused-result a default-allow lint, but allow
certain types to opt-in to the notion of "you must use this". For example, the
Result type is now flagged with #[must_use]. This lint about "must use" types is
warn by default (it's different from unused-result).

The unused_must_use lint had a 100% hit rate in the compiler, but there's not
that many places that return Result right now. I believe that this lint is a
crucial step towards moving away from conditions for I/O (because all I/O will
return Result by default). I'm worried that this lint is a little too specific
to Result itself, but I believe that the false positive rate for the
unused_result lint is too high to make it useful when turned on by default.

Rename CopyableTuple to CloneableTuple

Rename ImmutableCopyableVector to ImmutableCloneableVector

Rename OwnedCopyableVector to OwnedCloneableVector