[llvm-bugs] [Bug 51059] New: [C++4OpenCL] ICE on compiling new with multidimensional arrays

via llvm-bugs llvm-bugs at lists.llvm.org
Mon Jul 12 05:09:33 PDT 2021


https://bugs.llvm.org/show_bug.cgi?id=51059

            Bug ID: 51059
           Summary: [C++4OpenCL] ICE on compiling new with
                    multidimensional arrays
           Product: clang
           Version: unspecified
          Hardware: PC
                OS: All
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: OpenCL
          Assignee: unassignedclangbugs at nondot.org
          Reporter: anastasia.stulova at arm.com
                CC: anastasia.stulova at arm.com, llvm-bugs at lists.llvm.org

Calling new with multidimensional arrays triggers ICE in clang:

See test case:

void test_new_delete(void *buffer){
        auto p1 = new (buffer) double[2][5];
}

with the invocation 'clang bug.clcpp' fails with:

clang-13: /data/llvm/llvm-project/clang/lib/AST/Expr.cpp:292: static
clang::ConstantExpr* clang::ConstantExpr::Create(const clang::ASTContext&,
clang::Expr*, clang::ConstantExpr::ResultStorageKind, bool): Assertion
`!isa<ConstantExpr>(E)' failed.
PLEASE submit a bug report to https://bugs.llvm.org/ and include the crash
backtrace, preprocessed source, and associated run script.
Stack dump:
0.      Program arguments: /data/llvm/llvm-project/build/bin/clang-13 -cc1
-triple x86_64-unknown-linux-gnu -emit-obj -mrelax-all --mrelax-relocations
-disable-free -main-file-name bug.clcpp -mrelocation-model static
-mframe-pointer=all -fmath-errno -fno-rounding-math -mconstructor-aliases
-munwind-tables -target-cpu x86-64 -tune-cpu generic -debugger-tuning=gdb
-fcoverage-compilation-dir=/data/sw/libclcxx_new -resource-dir
/data/llvm/llvm-project/build/lib/clang/13.0.0 -internal-isystem
/data/llvm/llvm-project/build/lib/clang/13.0.0/include -internal-isystem
/usr/local/include -internal-isystem
/usr/lib/gcc/x86_64-linux-gnu/7.4.0/../../../../x86_64-linux-gnu/include
-internal-externc-isystem /usr/include/x86_64-linux-gnu
-internal-externc-isystem /include -internal-externc-isystem /usr/include
-fdebug-compilation-dir=/data/sw/libclcxx_new -ferror-limit 19
-finclude-default-header -fdeclare-opencl-builtins -fgnuc-version=4.2.1
-fcolor-diagnostics -faddrsig -D__GCC_HAVE_DWARF2_CFI_ASM=1 -o
/tmp/bug-c4edbc.o -x clcpp bug.clcpp
1.      bug.clcpp:2:44: current parser token ';'
2.      bug.clcpp:1:36: parsing function body 'test_new_delete'
3.      bug.clcpp:1:36: in compound statement ('{}')
 #0 0x000055bc3e7b5b66 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int)
/data/llvm/llvm-project/llvm/lib/Support/Unix/Signals.inc:565:0
 #1 0x000055bc3e7b5c1d PrintStackTraceSignalHandler(void*)
/data/llvm/llvm-project/llvm/lib/Support/Unix/Signals.inc:632:0
 #2 0x000055bc3e7b38d1 llvm::sys::RunSignalHandlers()
/data/llvm/llvm-project/llvm/lib/Support/Signals.cpp:76:0
 #3 0x000055bc3e7b54e7 SignalHandler(int)
/data/llvm/llvm-project/llvm/lib/Support/Unix/Signals.inc:407:0
 #4 0x00007f8383430980 __restore_rt
(/lib/x86_64-linux-gnu/libpthread.so.0+0x12980)
 #5 0x00007f83820e1fb7 raise
/build/glibc-S9d2JN/glibc-2.27/signal/../sysdeps/unix/sysv/linux/raise.c:51:0
 #6 0x00007f83820e3921 abort /build/glibc-S9d2JN/glibc-2.27/stdlib/abort.c:81:0
 #7 0x00007f83820d348a __assert_fail_base
/build/glibc-S9d2JN/glibc-2.27/assert/assert.c:89:0
 #8 0x00007f83820d3502 (/lib/x86_64-linux-gnu/libc.so.6+0x30502)
 #9 0x000055bc43394fb9 clang::ConstantExpr::Create(clang::ASTContext const&,
clang::Expr*, clang::ConstantExpr::ResultStorageKind, bool)
/data/llvm/llvm-project/clang/lib/AST/Expr.cpp:293:0
#10 0x000055bc43395088 clang::ConstantExpr::Create(clang::ASTContext const&,
clang::Expr*, clang::APValue const&)
/data/llvm/llvm-project/clang/lib/AST/Expr.cpp:305:0
#11 0x000055bc4272e12f CheckConvertedConstantExpression(clang::Sema&,
clang::Expr*, clang::QualType, clang::APValue&, clang::Sema::CCEKind, bool,
clang::NamedDecl*)
/data/llvm/llvm-project/clang/lib/Sema/SemaOverload.cpp:5775:0
#12 0x000055bc4272e5d1
clang::Sema::CheckConvertedConstantExpression(clang::Expr*, clang::QualType,
llvm::APSInt&, clang::Sema::CCEKind)
/data/llvm/llvm-project/clang/lib/Sema/SemaOverload.cpp:5814:0
#13 0x000055bc42b6bf06 checkArraySize(clang::Sema&, clang::Expr*&,
llvm::APSInt&, unsigned int, bool)
/data/llvm/llvm-project/clang/lib/Sema/SemaType.cpp:2286:0
#14 0x000055bc42b6cacf clang::Sema::BuildArrayType(clang::QualType,
clang::ArrayType::ArraySizeModifier, clang::Expr*, unsigned int,
clang::SourceRange, clang::DeclarationName)
/data/llvm/llvm-project/clang/lib/Sema/SemaType.cpp:2466:0
#15 0x000055bc42b762a7 GetFullTypeForDeclarator((anonymous
namespace)::TypeProcessingState&, clang::QualType, clang::TypeSourceInfo*)
/data/llvm/llvm-project/clang/lib/Sema/SemaType.cpp:4958:0
#16 0x000055bc42b79e8b clang::Sema::GetTypeForDeclarator(clang::Declarator&,
clang::Scope*) /data/llvm/llvm-project/clang/lib/Sema/SemaType.cpp:5743:0
#17 0x000055bc423d2ee8 clang::Sema::ActOnCXXNew(clang::SourceLocation, bool,
clang::SourceLocation, llvm::MutableArrayRef<clang::Expr*>,
clang::SourceLocation, clang::SourceRange, clang::Declarator&, clang::Expr*)
/data/llvm/llvm-project/clang/lib/Sema/SemaExprCXX.cpp:1845:0
#18 0x000055bc41c7e0cd clang::Parser::ParseCXXNewExpression(bool,
clang::SourceLocation)
/data/llvm/llvm-project/clang/lib/Parse/ParseExprCXX.cpp:3172:0
#19 0x000055bc41c63496
clang::Parser::ParseCastExpression(clang::Parser::CastParseKind, bool, bool&,
clang::Parser::TypeCastState, bool, bool*)
/data/llvm/llvm-project/clang/lib/Parse/ParseExpr.cpp:1659:0
#20 0x000055bc41c5f2d4
clang::Parser::ParseCastExpression(clang::Parser::CastParseKind, bool,
clang::Parser::TypeCastState, bool, bool*)
/data/llvm/llvm-project/clang/lib/Parse/ParseExpr.cpp:686:0
#21 0x000055bc41c5caa1
clang::Parser::ParseAssignmentExpression(clang::Parser::TypeCastState)
/data/llvm/llvm-project/clang/lib/Parse/ParseExpr.cpp:175:0
#22 0x000055bc41c33516 clang::Parser::ParseInitializer()
/data/llvm/llvm-project/clang/include/clang/Parse/Parser.h:2001:0
#23 0x000055bc41c1c905
clang::Parser::ParseDeclarationAfterDeclaratorAndAttributes(clang::Declarator&,
clang::Parser::ParsedTemplateInfo const&, clang::Parser::ForRangeInit*)
/data/llvm/llvm-project/clang/lib/Parse/ParseDecl.cpp:2356:0
#24 0x000055bc41c1b692 clang::Parser::ParseDeclGroup(clang::ParsingDeclSpec&,
clang::DeclaratorContext, clang::SourceLocation*, clang::Parser::ForRangeInit*)
/data/llvm/llvm-project/clang/lib/Parse/ParseDecl.cpp:2093:0
#25 0x000055bc41c1a7c7
clang::Parser::ParseSimpleDeclaration(clang::DeclaratorContext,
clang::SourceLocation&, clang::ParsedAttributesWithRange&, bool,
clang::Parser::ForRangeInit*, clang::SourceLocation*)
/data/llvm/llvm-project/clang/lib/Parse/ParseDecl.cpp:1808:0
#26 0x000055bc41c1a439
clang::Parser::ParseDeclaration(clang::DeclaratorContext,
clang::SourceLocation&, clang::ParsedAttributesWithRange&,
clang::SourceLocation*)
/data/llvm/llvm-project/clang/lib/Parse/ParseDecl.cpp:1742:0
#27 0x000055bc41cd4ae8
clang::Parser::ParseStatementOrDeclarationAfterAttributes(llvm::SmallVector<clang::Stmt*,
32u>&, clang::Parser::ParsedStmtContext, clang::SourceLocation*,
clang::ParsedAttributesWithRange&)
/data/llvm/llvm-project/clang/lib/Parse/ParseStmt.cpp:231:0
#28 0x000055bc41cd437a
clang::Parser::ParseStatementOrDeclaration(llvm::SmallVector<clang::Stmt*,
32u>&, clang::Parser::ParsedStmtContext, clang::SourceLocation*)
/data/llvm/llvm-project/clang/lib/Parse/ParseStmt.cpp:114:0
#29 0x000055bc41cd7f2e clang::Parser::ParseCompoundStatementBody(bool)
/data/llvm/llvm-project/clang/lib/Parse/ParseStmt.cpp:1102:0
#30 0x000055bc41cdc7c5 clang::Parser::ParseFunctionStatementBody(clang::Decl*,
clang::Parser::ParseScope&)
/data/llvm/llvm-project/clang/lib/Parse/ParseStmt.cpp:2271:0
#31 0x000055bc41bfc3a3
clang::Parser::ParseFunctionDefinition(clang::ParsingDeclarator&,
clang::Parser::ParsedTemplateInfo const&, clang::Parser::LateParsedAttrList*)
/data/llvm/llvm-project/clang/lib/Parse/Parser.cpp:1375:0
#32 0x000055bc41c1b2a6 clang::Parser::ParseDeclGroup(clang::ParsingDeclSpec&,
clang::DeclaratorContext, clang::SourceLocation*, clang::Parser::ForRangeInit*)
/data/llvm/llvm-project/clang/lib/Parse/ParseDecl.cpp:2031:0
#33 0x000055bc41bfb2a4
clang::Parser::ParseDeclOrFunctionDefInternal(clang::ParsedAttributesWithRange&,
clang::ParsingDeclSpec&, clang::AccessSpecifier)
/data/llvm/llvm-project/clang/lib/Parse/Parser.cpp:1136:0
#34 0x000055bc41bfb37f
clang::Parser::ParseDeclarationOrFunctionDefinition(clang::ParsedAttributesWithRange&,
clang::ParsingDeclSpec*, clang::AccessSpecifier)
/data/llvm/llvm-project/clang/lib/Parse/Parser.cpp:1151:0
#35 0x000055bc41bfa90e
clang::Parser::ParseExternalDeclaration(clang::ParsedAttributesWithRange&,
clang::ParsingDeclSpec*)
/data/llvm/llvm-project/clang/lib/Parse/Parser.cpp:973:0
#36 0x000055bc41bf9aea
clang::Parser::ParseTopLevelDecl(clang::OpaquePtr<clang::DeclGroupRef>&, bool)
/data/llvm/llvm-project/clang/lib/Parse/Parser.cpp:719:0
#37 0x000055bc41bf534e clang::ParseAST(clang::Sema&, bool, bool)
/data/llvm/llvm-project/clang/lib/Parse/ParseAST.cpp:157:0
#38 0x000055bc3f546fb3 clang::ASTFrontendAction::ExecuteAction()
/data/llvm/llvm-project/clang/lib/Frontend/FrontendAction.cpp:1058:0
#39 0x000055bc3ff05dfa clang::CodeGenAction::ExecuteAction()
/data/llvm/llvm-project/clang/lib/CodeGen/CodeGenAction.cpp:1045:0
#40 0x000055bc3f54687c clang::FrontendAction::Execute()
/data/llvm/llvm-project/clang/lib/Frontend/FrontendAction.cpp:955:0
#41 0x000055bc3f4838d0
clang::CompilerInstance::ExecuteAction(clang::FrontendAction&)
/data/llvm/llvm-project/clang/lib/Frontend/CompilerInstance.cpp:974:0
#42 0x000055bc3f6dd7ad
clang::ExecuteCompilerInvocation(clang::CompilerInstance*)
/data/llvm/llvm-project/clang/lib/FrontendTool/ExecuteCompilerInvocation.cpp:278:0
#43 0x000055bc3cc859ed cc1_main(llvm::ArrayRef<char const*>, char const*,
void*) /data/llvm/llvm-project/clang/tools/driver/cc1_main.cpp:246:0
#44 0x000055bc3cc7a030 ExecuteCC1Tool(llvm::SmallVectorImpl<char const*>&)
/data/llvm/llvm-project/clang/tools/driver/driver.cpp:338:0
#45 0x000055bc3cc7a7cf main
/data/llvm/llvm-project/clang/tools/driver/driver.cpp:415:0
#46 0x00007f83820c4bf7 __libc_start_main
/build/glibc-S9d2JN/glibc-2.27/csu/../csu/libc-start.c:344:0
#47 0x000055bc3cc7865a _start
(/data/llvm/llvm-project/build/bin/clang-13+0x2ad165a)

-- 
You are receiving this mail because:
You are on the CC list for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20210712/32a14018/attachment-0001.html>


More information about the llvm-bugs mailing list