mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-08-10 09:45:39 +02:00
Code Issues Wiki Activity

Test arithmetic conversion from larger unsigned operand type

Browse source
This commit is contained in:
Igor V. Kovalenko 2023-01-31 23:36:05 +03:00 • committed by Jonah Graham
parent 57008babd8
commit b84b0f62eb
1 changed files with 39 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

39
core/org.eclipse.cdt.core.tests/parser/org/eclipse/cdt/core/parser/tests/ast2/AST2Tests.java
View file

@ -6947,6 +6947,45 @@ public class AST2Tests extends AST2TestBase {
}
}
// unsigned long int unsignedLongInt = 1;
// signed long long int signedLongLongInt = 1;
// unsigned long long var = 1;
// void test() {
// // with 64bit long and long long types expression type should be an unsigned long long int
// var = signedLongLongInt + unsignedLongInt;
// }
public void testTypeConversion_signedHigherRankSameSizeInts() throws Exception {
for (ParserLanguage lang : ParserLanguage.values()) {
IASTTranslationUnit ast = parseAndCheckBindings(getAboveComment(), lang, ScannerKind.STD);
IASTFunctionDefinition func = null;
for (IASTDeclaration d : ast.getDeclarations()) {
if (d instanceof IASTFunctionDefinition) {
func = (IASTFunctionDefinition) d;
break;
}
}
assertNotNull(func);
IASTStatement[] bodyStmts = ((IASTCompoundStatement) func.getBody()).getStatements();
// STD scanner configuration defines 64bit long and long long types (aka LP64),
// result should be an unsigned long long int
{
IASTBinaryExpression expr = (IASTBinaryExpression) ((IASTBinaryExpression) ((IASTExpressionStatement) bodyStmts[0])
.getExpression()).getOperand2();
IBasicType type = (IBasicType) expr.getExpressionType();
assertNotNull(type);
assertEquals(Kind.eInt, type.getKind());
assertTrue(type.isUnsigned());
assertFalse(type.isShort());
assertFalse(type.isLong());
assertTrue(type.isLongLong());
}
}
}
// char c;
// void func() {
// c;