Skip to content

Commit

Permalink
test bindings despite of expected errors (#145)
Browse files Browse the repository at this point in the history
  • Loading branch information
@ltcmelo
ltcmelo authored Sep 22, 2024
1 parent 8236d34 commit 567517d
Show file tree
Hide file tree
Showing 2 changed files with 91 additions and 29 deletions.
117 changes: 90 additions & 27 deletions C/tests/BinderTester_4000_4999.cpp
View file
Original file line number Diff line number Diff line change
Expand Up @@ -153,89 +153,133 @@ void BinderTester::case4013()
void BinderTester::case4014()
{
bind("signed double x ;",
Expectation().diagnostic(
Expectation()
.diagnostic(
Expectation::ErrorOrWarn::Error,
Binder::DiagnosticsReporter::ID_InvalidType));
Binder::DiagnosticsReporter::ID_InvalidType)
.declaration(Decl()
.Object("x", ObjectDeclarationKind::Variable)
.ty_.Basic(BasicTypeKind::Int_S)));
}

void BinderTester::case4015()
{
bind("double signed x ;",
Expectation().diagnostic(
Expectation()
.diagnostic(
Expectation::ErrorOrWarn::Error,
Binder::DiagnosticsReporter::ID_InvalidType));
Binder::DiagnosticsReporter::ID_InvalidType)
.declaration(Decl()
.Object("x", ObjectDeclarationKind::Variable)
.ty_.Basic(BasicTypeKind::Double)));
}

void BinderTester::case4016()
{
bind("long double char x ;",
Expectation().diagnostic(
Expectation()
.diagnostic(
Expectation::ErrorOrWarn::Error,
Binder::DiagnosticsReporter::ID_InvalidType));
Binder::DiagnosticsReporter::ID_InvalidType)
.declaration(Decl()
.Object("x", ObjectDeclarationKind::Variable)
.ty_.Basic(BasicTypeKind::LongDouble)));
}

void BinderTester::case4017()
{
bind("long double signed x ;",
Expectation().diagnostic(
Expectation()
.diagnostic(
Expectation::ErrorOrWarn::Error,
Binder::DiagnosticsReporter::ID_InvalidType));
Binder::DiagnosticsReporter::ID_InvalidType)
.declaration(Decl()
.Object("x", ObjectDeclarationKind::Variable)
.ty_.Basic(BasicTypeKind::LongDouble)));
}

void BinderTester::case4018()
{
bind("signed long double x ;",
Expectation().diagnostic(
Expectation()
.diagnostic(
Expectation::ErrorOrWarn::Error,
Binder::DiagnosticsReporter::ID_InvalidType));
Binder::DiagnosticsReporter::ID_InvalidType)
.declaration(Decl()
.Object("x", ObjectDeclarationKind::Variable)
.ty_.Basic(BasicTypeKind::Long_S)));
}

void BinderTester::case4019()
{
bind("unsigned double x ;",
Expectation().diagnostic(
Expectation()
.diagnostic(
Expectation::ErrorOrWarn::Error,
Binder::DiagnosticsReporter::ID_InvalidType));
Binder::DiagnosticsReporter::ID_InvalidType)
.declaration(Decl()
.Object("x", ObjectDeclarationKind::Variable)
.ty_.Basic(BasicTypeKind::Int_U)));
}

void BinderTester::case4020()
{
bind("double unsigned x ;",
Expectation().diagnostic(
Expectation()
.diagnostic(
Expectation::ErrorOrWarn::Error,
Binder::DiagnosticsReporter::ID_InvalidType));
Binder::DiagnosticsReporter::ID_InvalidType)
.declaration(Decl()
.Object("x", ObjectDeclarationKind::Variable)
.ty_.Basic(BasicTypeKind::Double)));
}

void BinderTester::case4021()
{
bind("double float x ;",
Expectation().diagnostic(
Expectation()
.diagnostic(
Expectation::ErrorOrWarn::Error,
Binder::DiagnosticsReporter::ID_InvalidType));
Binder::DiagnosticsReporter::ID_InvalidType)
.declaration(Decl()
.Object("x", ObjectDeclarationKind::Variable)
.ty_.Basic(BasicTypeKind::Double)));
}

void BinderTester::case4022()
{
bind("float double x ;",
Expectation().diagnostic(
Expectation()
.diagnostic(
Expectation::ErrorOrWarn::Error,
Binder::DiagnosticsReporter::ID_InvalidType));
Binder::DiagnosticsReporter::ID_InvalidType)
.declaration(Decl()
.Object("x", ObjectDeclarationKind::Variable)
.ty_.Basic(BasicTypeKind::Float)));
}

void BinderTester::case4023()
{
bind("float unsigned x ;",
Expectation().diagnostic(
Expectation()
.diagnostic(
Expectation::ErrorOrWarn::Error,
Binder::DiagnosticsReporter::ID_InvalidType));
Binder::DiagnosticsReporter::ID_InvalidType)
.declaration(Decl()
.Object("x", ObjectDeclarationKind::Variable)
.ty_.Basic(BasicTypeKind::Float)));
}

void BinderTester::case4024()
{
bind("float signed x ;",
Expectation().diagnostic(
Expectation()
.diagnostic(
Expectation::ErrorOrWarn::Error,
Binder::DiagnosticsReporter::ID_InvalidType));
Binder::DiagnosticsReporter::ID_InvalidType)
.declaration(Decl()
.Object("x", ObjectDeclarationKind::Variable)
.ty_.Basic(BasicTypeKind::Float)));
}

void BinderTester::case4025()
Expand All @@ -257,17 +301,25 @@ void BinderTester::case4026()
void BinderTester::case4027()
{
bind("char short x ;",
Expectation().diagnostic(
Expectation()
.diagnostic(
Expectation::ErrorOrWarn::Error,
Binder::DiagnosticsReporter::ID_InvalidType));
Binder::DiagnosticsReporter::ID_InvalidType)
.declaration(Decl()
.Object("x", ObjectDeclarationKind::Variable)
.ty_.Basic(BasicTypeKind::Char)));
}

void BinderTester::case4028()
{
bind("char long x ;",
Expectation().diagnostic(
Expectation()
.diagnostic(
Expectation::ErrorOrWarn::Error,
Binder::DiagnosticsReporter::ID_InvalidType));
Binder::DiagnosticsReporter::ID_InvalidType)
.declaration(Decl()
.Object("x", ObjectDeclarationKind::Variable)
.ty_.Basic(BasicTypeKind::Char)));
}

void BinderTester::case4029()
Expand Down Expand Up @@ -454,7 +506,18 @@ void BinderTester::case4050()
.ty_.Basic(BasicTypeKind::Bool)));
}

void BinderTester::case4051(){}
void BinderTester::case4051()
{
bind("char int x ;",
Expectation()
.diagnostic(
Expectation::ErrorOrWarn::Error,
Binder::DiagnosticsReporter::ID_InvalidType)
.declaration(Decl()
.Object("x", ObjectDeclarationKind::Variable)
.ty_.Basic(BasicTypeKind::Char)));
}

void BinderTester::case4052(){}
void BinderTester::case4053(){}
void BinderTester::case4054(){}
Expand Down
3 changes: 1 addition & 2 deletions C/tests/TestSuite_Internals.cpp
View file
Original file line number Diff line number Diff line change
Expand Up @@ -773,8 +773,7 @@ void InternalsTestSuite::checkSemanticModel(
const SemanticModel* semaModel,
Expectation X)
{
if (!checkErrorAndWarn(X))
return;
checkErrorAndWarn(X);

auto unit = semaModel->translationUnit();
if (unit == nullptr)
Expand Down

0 comments on commit 567517d

Please sign in to comment.