107   S moved = (S &&) orig;  in move_ctor_init()  local
109   clang_analyzer_eval(moved.arr[0] == 1); // expected-warning{{TRUE}}  in move_ctor_init()
110   clang_analyzer_eval(moved.arr[1] == 2); // expected-warning{{TRUE}}  in move_ctor_init()
111   clang_analyzer_eval(moved.arr[2] == 3); // expected-warning{{TRUE}}  in move_ctor_init()
112   clang_analyzer_eval(moved.arr[3] == 4); // expected-warning{{TRUE}}  in move_ctor_init()
113   clang_analyzer_eval(moved.arr[4] == 5); // expected-warning{{TRUE}}  in move_ctor_init()
119   S moved = (S &&) orig;  in move_ctor_uninit()  local
122   clang_analyzer_eval(moved.arr[0]); // expected-warning{{UNKNOWN}}  in move_ctor_uninit()
123   clang_analyzer_eval(moved.arr[1]); // expected-warning{{UNKNOWN}}  in move_ctor_uninit()
124   clang_analyzer_eval(moved.arr[2]); // expected-warning{{UNKNOWN}}  in move_ctor_uninit()
125   clang_analyzer_eval(moved.arr[3]); // expected-warning{{UNKNOWN}}  in move_ctor_uninit()
126   clang_analyzer_eval(moved.arr[4]); // expected-warning{{UNKNOWN}}  in move_ctor_uninit()
219   S5 moved = (S5 &&) orig;  in move_ctor_init_non_pod()  local
221   clang_analyzer_eval(moved.arr[0].i == 3); // expected-warning{{TRUE}}  in move_ctor_init_non_pod()
222   clang_analyzer_eval(moved.arr[1].i == 4); // expected-warning{{TRUE}}  in move_ctor_init_non_pod()
223   clang_analyzer_eval(moved.arr[2].i == 5); // expected-warning{{TRUE}}  in move_ctor_init_non_pod()
224   clang_analyzer_eval(moved.arr[3].i == 6); // expected-warning{{TRUE}}  in move_ctor_init_non_pod()