Skip to content

Commit

Permalink
Update regression tests whose output was improved by the merge of #714.
Browse files Browse the repository at this point in the history
  • Loading branch information
mattmccutchen-cci committed Oct 22, 2021
1 parent f18cc23 commit d437bad
Show file tree
Hide file tree
Showing 2 changed files with 3 additions and 3 deletions.
4 changes: 2 additions & 2 deletions clang/test/3C/itypes_for_extern.c
Original file line number Diff line number Diff line change
Expand Up @@ -129,8 +129,8 @@ struct { int *x; } s, *s_force_rewrite, s_const_arr0[10], *s_const_arr1[10],
//CHECK: struct s_struct_1 *s_force_rewrite : itype(_Ptr<struct s_struct_1>) = ((void *)0);
//CHECK_ALL: struct s_struct_1 s_const_arr0[10] : itype(struct s_struct_1 _Checked[10]);
//CHECK_NOALL: struct s_struct_1 s_const_arr0[10];
//CHECK_ALL: struct s_struct_1 * s_const_arr1[10] : itype(_Ptr<struct s_struct_1> _Checked[10]) = {((void *)0)};
//CHECK_NOALL: struct s_struct_1 * s_const_arr1[10];
//CHECK_ALL: struct s_struct_1 *s_const_arr1[10] : itype(_Ptr<struct s_struct_1> _Checked[10]) = {((void *)0)};
//CHECK_NOALL: struct s_struct_1 *s_const_arr1[10];
// As in the corresponding test in multivardecls.c, the type of s_implicit_type
// is loaded as _Array_ptr<struct s_struct_1>, but it is downgraded back to an
// itype by -itypes-for-extern. As long as 3C lacks real support for itypes on
Expand Down
2 changes: 1 addition & 1 deletion clang/test/3C/multivardecls.c
Original file line number Diff line number Diff line change
Expand Up @@ -224,7 +224,7 @@ struct { int *x; } s, *s_force_rewrite, s_const_arr0[10], *s_const_arr1[10],
// The reason this isn't `_Ptr<struct s_struct_1>` is probably the "outer wild
// -> inner wild" constraint
// (https://github.com/correctcomputation/checkedc-clang/issues/656).
//CHECK_NOALL: struct s_struct_1 * s_const_arr1[10];
//CHECK_NOALL: struct s_struct_1 *s_const_arr1[10];
// Like with m_implicit_itype above, 3C treats s_implicit_itype as having type
// _Array_ptr<struct s_struct_1>, but now 3C uses mkString and that type
// actually shows up in the output: not a great result, but at least we test
Expand Down

0 comments on commit d437bad

Please sign in to comment.