@@ -351,20 +351,20 @@ union UnionTestTy {
351351};
352352void new_expr_aggr_init_union_no_designator () {
353353 UnionTestTy *u = new UnionTestTy{};
354- clang_analyzer_eval (0 == u->x ); // expected-warning{{UNKNOWN}} TODO : should be TRUE
355- clang_analyzer_eval (u->y ); // expected-warning{{UNKNOWN}} TODO : should be undefined, warning
354+ clang_analyzer_eval (0 == u->x ); // expected-warning{{UNKNOWN}} FIXME : should be TRUE
355+ clang_analyzer_eval (u->y ); // expected-warning{{UNKNOWN}} FIXME : should be undefined, warning
356356 delete u;
357357}
358358void new_expr_aggr_init_union_designated_first_field () {
359359 UnionTestTy *u = new UnionTestTy{ .x = 14 };
360- clang_analyzer_eval (14 == u->x ); // expected-warning{{UNKNOWN}} TODO : should be TRUE
361- clang_analyzer_eval (u->y ); // expected-warning{{UNKNOWN}} TODO : should be undefined, warning
360+ clang_analyzer_eval (14 == u->x ); // expected-warning{{UNKNOWN}} FIXME : should be TRUE
361+ clang_analyzer_eval (u->y ); // expected-warning{{UNKNOWN}} FIXME : should be undefined, warning
362362 delete u;
363363}
364364void new_expr_aggr_init_union_designated_non_first_field () {
365365 UnionTestTy *u = new UnionTestTy{ .y = 3 };
366- clang_analyzer_eval (3 == u->y ); // expected-warning{{UNKNOWN}} TODO : should be TRUE
367- clang_analyzer_eval (u->x ); // expected-warning{{UNKNOWN}} TODO : should be undefined, warning
366+ clang_analyzer_eval (3 == u->y ); // expected-warning{{UNKNOWN}} FIXME : should be TRUE
367+ clang_analyzer_eval (u->x ); // expected-warning{{UNKNOWN}} FIXME : should be undefined, warning
368368 delete u;
369369}
370370
@@ -374,8 +374,8 @@ union UnionTestTyWithDefaultMemberInit {
374374};
375375void union_with_default_member_init_empty_init_list () {
376376 auto U = new UnionTestTyWithDefaultMemberInit{};
377- // clang_analyzer_eval(14 == U->y); // TODO : Should be true
378- clang_analyzer_eval (U->x ); // expected-warning{{UNKNOWN}} TODO : should be undefined, warning
377+ // clang_analyzer_eval(14 == U->y); // FIXME : Should be true
378+ clang_analyzer_eval (U->x ); // expected-warning{{UNKNOWN}} FIXME : should be undefined, warning
379379 delete U;
380380}
381381
0 commit comments