gdb/testsuite/gdb.rust/simple.rs

   1 // Copyright (C) 2016 Free Software Foundation, Inc.
   2
   3 // This program is free software; you can redistribute it and/or modify
   4 // it under the terms of the GNU General Public License as published by
   5 // the Free Software Foundation; either version 3 of the License, or
   6 // (at your option) any later version.
   7 //
   8 // This program is distributed in the hope that it will be useful,
   9 // but WITHOUT ANY WARRANTY; without even the implied warranty of
  10 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  11 // GNU General Public License for more details.
  12 //
  13 // You should have received a copy of the GNU General Public License
  14 // along with this program.  If not, see <http://www.gnu.org/licenses/>.
  15
  16 #![allow(dead_code)]
  17 #![allow(unused_variables)]
  18 #![allow(unused_assignments)]
  19
  20
  21 pub struct HiBob {
  22     pub field1: i32,
  23     field2: u64,
  24 }
  25
  26 struct ByeBob(i32, u64);
  27
  28 enum Something {
  29     One,
  30     Two,
  31     Three
  32 }
  33
  34 enum MoreComplicated {
  35     One,
  36     Two(i32),
  37     Three(HiBob),
  38     Four{this: bool, is: u8, a: char, struct_: u64, variant: u32},
  39 }
  40
  41 // tests the nonzero optimization, but fields are reversed
  42 enum NonZeroOptimized {
  43     Empty,
  44     Value(String),
  45 }
  46
  47 fn diff2(x: i32, y: i32) -> i32 {
  48     x - y
  49 }
  50
  51 // Empty function, should not have "void"
  52 // or "()" in its return type
  53 fn empty() {
  54
  55 }
  56
  57 pub struct Unit;
  58
  59 // This triggers the non-zero optimization that yields a different
  60 // enum representation in the debug info.
  61 enum SpaceSaver {
  62     Thebox(u8, Box<i32>),
  63     Nothing,
  64 }
  65
  66 enum Univariant {
  67     Foo {a: u8}
  68 }
  69 enum UnivariantAnon {
  70     Foo(u8)
  71 }
  72
  73 enum ParametrizedEnum<T> {
  74     Val { val: T },
  75     Empty,
  76 }
  77
  78 struct ParametrizedStruct<T> {
  79     next: ParametrizedEnum<Box<ParametrizedStruct<T>>>,
  80     value: T
  81 }
  82
  83 fn main () {
  84     let a = ();
  85     let b : [i32; 0] = [];
  86
  87     let mut c = 27;
  88     let d = c = 99;
  89
  90     let e = MoreComplicated::Two(73);
  91     let e2 = MoreComplicated::Four {this: true, is: 8, a: 'm',
  92                                     struct_: 100, variant: 10};
  93
  94     let f = "hi bob";
  95     let g = b"hi bob";
  96     let h = b'9';
  97
  98     let i = ["whatever"; 8];
  99
 100     let j = Unit;
 101     let j2 = Unit{};
 102
 103     let k = SpaceSaver::Nothing;
 104     let l = SpaceSaver::Thebox(9, Box::new(1729));
 105
 106     let v = Something::Three;
 107     let w = [1,2,3,4];
 108     let w_ptr = &w[0];
 109     let x = (23, 25.5);
 110     let y = HiBob {field1: 7, field2: 8};
 111     let z = ByeBob(7, 8);
 112
 113     let univariant = Univariant::Foo {a : 1};
 114     let univariant_anon = UnivariantAnon::Foo(1);
 115
 116     let slice = &w[2..3];
 117     let fromslice = slice[0];
 118     let slice2 = &slice[0..1];
 119
 120     let all1 = &w[..];
 121     let all2 = &slice[..];
 122
 123     let from1 = &w[1..];
 124     let from2 = &slice[1..];
 125
 126     let to1 = &w[..3];
 127     let to2 = &slice[..1];
 128
 129     // tests for enum optimizations
 130
 131     let str_some = Some("hi".to_string());
 132     let str_none = None::<String>;
 133     let box_some = Some(Box::new(1u8));
 134     let box_none = None::<Box<u8>>;
 135     let int_some = Some(1u8);
 136     let int_none = None::<u8>;
 137     let custom_some = NonZeroOptimized::Value("hi".into());
 138     let custom_none = NonZeroOptimized::Empty;
 139
 140     let parametrized = ParametrizedStruct {
 141         next: ParametrizedEnum::Val {
 142             val: Box::new(ParametrizedStruct {
 143                 next: ParametrizedEnum::Empty,
 144                 value: 1,
 145             })
 146         },
 147         value: 0,
 148     };
 149
 150     println!("{}, {}", x.0, x.1);        // set breakpoint here
 151     println!("{}", diff2(92, 45));
 152     empty();
 153 }