about summary refs log tree commit diff
path: root/src/test/ui/const-eval-overflow-4.rs
diff options
context:
space:
mode:
authorVadim Petrochenkov <vadim.petrochenkov@gmail.com>2017-12-10 22:47:55 +0300
committerVadim Petrochenkov <vadim.petrochenkov@gmail.com>2017-12-14 23:23:07 +0300
commitd4e51a8fb286444a8c276a05a1c3ba6ba8ca6576 (patch)
tree242ff95d0af269023f4cd5dd1df92fec60ca346d /src/test/ui/const-eval-overflow-4.rs
parent3a2ad576c5d4b92bacc3355b14cc7a9bc704c782 (diff)
downloadrust-d4e51a8fb286444a8c276a05a1c3ba6ba8ca6576.tar.gz
rust-d4e51a8fb286444a8c276a05a1c3ba6ba8ca6576.zip
Move compile-fail tests with NOTE/HELP annotations to UI
Diffstat (limited to 'src/test/ui/const-eval-overflow-4.rs')
-rw-r--r--src/test/ui/const-eval-overflow-4.rs37
1 files changed, 37 insertions, 0 deletions
diff --git a/src/test/ui/const-eval-overflow-4.rs b/src/test/ui/const-eval-overflow-4.rs
new file mode 100644
index 00000000000..2b1c1017b5b
--- /dev/null
+++ b/src/test/ui/const-eval-overflow-4.rs
@@ -0,0 +1,37 @@
+// Copyright 2015 The Rust Project Developers. See the COPYRIGHT
+// file at the top-level directory of this distribution and at
+// http://rust-lang.org/COPYRIGHT.
+//
+// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
+// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
+// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
+// option. This file may not be copied, modified, or distributed
+// except according to those terms.
+
+// Evaluation of constants in array-elem count goes through different
+// compiler control-flow paths.
+//
+// This test is checking the count in an array type.
+
+#![allow(unused_imports)]
+
+use std::fmt;
+use std::{i8, i16, i32, i64, isize};
+use std::{u8, u16, u32, u64, usize};
+
+const A_I8_T
+    : [u32; (i8::MAX as i8 + 1i8) as usize]
+    //~^ ERROR constant evaluation error
+    //~^^ NOTE attempt to add with overflow
+    //~| WARNING constant evaluation error
+    //~| NOTE on by default
+    = [0; (i8::MAX as usize) + 1];
+
+fn main() {
+    foo(&A_I8_T[..]);
+}
+
+fn foo<T:fmt::Debug>(x: T) {
+    println!("{:?}", x);
+}
+