[llvm-bugs] [Bug 49292] New: clang: assertion `(Fn->containsErrors() || llvm::any_of(ArgExprs, [](clang::Expr *E) { return E->containsErrors(); })) && "should only occur in error-recovery path."
via llvm-bugs
llvm-bugs at lists.llvm.org
Fri Feb 19 18:21:01 PST 2021
https://bugs.llvm.org/show_bug.cgi?id=49292
Bug ID: 49292
Summary: clang: assertion `(Fn->containsErrors() ||
llvm::any_of(ArgExprs, [](clang::Expr *E) { return
E->containsErrors(); })) && "should only occur in
error-recovery path."
Product: clang
Version: trunk
Hardware: PC
OS: Linux
Status: NEW
Severity: normal
Priority: P
Component: -New Bugs
Assignee: unassignedclangbugs at nondot.org
Reporter: zhan3299 at purdue.edu
CC: htmldeveloper at gmail.com, llvm-bugs at lists.llvm.org,
neeilans at live.com, richard-llvm at metafoo.co.uk
An ill-formed program causes an assertion failure. I think it is
less-interesting, so I leave it here for any future improvement.
$ cat /tmp/test-f3c9e6.c
# 1 "<built-in>"
# 1 "test.c"
int c(int *x) {
return x[0];
}
int main() {
int b[] = {""()};
return c(b)
}
$ cat /tmp/test-f3c9e6.sh
# Crash reproducer for clang version 13.0.0
(https://github.com/llvm/llvm-project.git
b006902b2dfac792e8ade73798ca1b216654faf7)
# Driver args: "-c" "-x" "c" "-o" "/tmp/c.out" "test.c"
# Original command: "/data/xxx/git/llvm-project/build_trunk/bin/clang-13"
"-cc1" "-triple" "x86_64-unknown-linux-gnu" "-emit-obj" "-mrelax-all"
"--mrelax-relocations" "-disable-free" "-main-file-name" "test.c"
"-mrelocation-model" "static" "-mframe-pointer=all" "-fmath-errno"
"-fno-rounding-math" "-mconstructor-aliases" "-munwind-tables" "-target-cpu"
"x86-64" "-tune-cpu" "generic" "-fno-split-dwarf-inlining"
"-debugger-tuning=gdb" "-resource-dir"
"/data/xxx/git/llvm-project/build_trunk/lib/clang/13.0.0" "-internal-isystem"
"/usr/local/include" "-internal-isystem"
"/data/xxx/git/llvm-project/build_trunk/lib/clang/13.0.0/include"
"-internal-externc-isystem" "/usr/include/x86_64-linux-gnu"
"-internal-externc-isystem" "/include" "-internal-externc-isystem"
"/usr/include" "-fdebug-compilation-dir=/home/xxx/data/docker_share/clang"
"-ferror-limit" "19" "-fgnuc-version=4.2.1" "-fcolor-diagnostics" "-faddrsig"
"-o" "/tmp/c.out" "-x" "c" "test.c"
"/data/xxx/git/llvm-project/build_trunk/bin/clang-13" "-cc1" "-triple"
"x86_64-unknown-linux-gnu" "-emit-obj" "-mrelax-all" "--mrelax-relocations"
"-disable-free" "-main-file-name" "test.c" "-mrelocation-model" "static"
"-mframe-pointer=all" "-fmath-errno" "-fno-rounding-math"
"-mconstructor-aliases" "-munwind-tables" "-target-cpu" "x86-64" "-tune-cpu"
"generic" "-fno-split-dwarf-inlining" "-debugger-tuning=gdb"
"-fdebug-compilation-dir=/home/xxx/data/docker_share/clang" "-ferror-limit"
"19" "-fgnuc-version=4.2.1" "-fcolor-diagnostics" "-faddrsig" "-x" "c"
"test-f3c9e6.c"
$ /data/xxx/git/llvm-project/build_trunk/bin/clang -c -x c -o /tmp/c.out test.c
test.c:6:16: error: called object type 'char [1]' is not a function or function
pointer
int b[] = {""()};
~~^
clang: /home/xxx/data/git/llvm-project/clang/lib/Sema/SemaExpr.cpp:6485:
clang::ExprResult clang::Sema::BuildCallExpr(clang::Scope *, clang::Expr *,
clang::SourceLocation, clang::MultiExprArg, clang::SourceLocation, clang::Expr
*, bool, bool): Assertion `(Fn->containsErrors() || llvm::any_of(ArgExprs,
[](clang::Expr *E) { return E->containsErrors(); })) && "should only occur in
error-recovery path."' 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/xxx/git/llvm-project/build_trunk/bin/clang -c
-x c -o /tmp/c.out test.c
1. test.c:7:13: current parser token ')'
2. test.c:5:12: parsing function body 'main'
3. test.c:5:12: in compound statement ('{}')
#0 0x0000000000dfd0a1 __interceptor_backtrace.part.117
asan_interceptors.cc.o:0:0
#1 0x000000000d7fb43a llvm::sys::PrintStackTrace(llvm::raw_ostream&, int)
/home/xxx/data/git/llvm-project/llvm/lib/Support/Unix/Signals.inc:561:7
#2 0x000000000d7f1bc1 llvm::sys::RunSignalHandlers()
/home/xxx/data/git/llvm-project/llvm/lib/Support/Signals.cpp:72:18
#3 0x000000000d7f805f llvm::sys::CleanupOnSignal(unsigned long)
/home/xxx/data/git/llvm-project/llvm/lib/Support/Unix/Signals.inc:0:3
#4 0x000000000d504245 (anonymous
namespace)::CrashRecoveryContextImpl::HandleCrash(int, unsigned long)
/home/xxx/data/git/llvm-project/llvm/lib/Support/CrashRecoveryContext.cpp:75:5
#5 0x000000000d504d0c CrashRecoverySignalHandler(int)
/home/xxx/data/git/llvm-project/llvm/lib/Support/CrashRecoveryContext.cpp:389:1
#6 0x00007f5c701d28a0 __restore_rt
(/lib/x86_64-linux-gnu/libpthread.so.0+0x128a0)
#7 0x00007f5c6fbf5f47 raise
/build/glibc-2ORdQG/glibc-2.27/signal/../sysdeps/unix/sysv/linux/raise.c:51:0
#8 0x00007f5c6fbf78b1 abort /build/glibc-2ORdQG/glibc-2.27/stdlib/abort.c:81:0
#9 0x00007f5c6fbe742a __assert_fail_base
/build/glibc-2ORdQG/glibc-2.27/assert/assert.c:89:0
#10 0x00007f5c6fbe74a2 (/lib/x86_64-linux-gnu/libc.so.6+0x304a2)
#11 0x00000000198b9e8d clang::Sema::BuildCallExpr(clang::Scope*, clang::Expr*,
clang::SourceLocation, llvm::MutableArrayRef<clang::Expr*>,
clang::SourceLocation, clang::Expr*, bool, bool)
/home/xxx/data/git/llvm-project/clang/lib/Sema/SemaExpr.cpp:6460:13
#12 0x000000001994232c clang::Sema::ActOnCallExpr(clang::Scope*, clang::Expr*,
clang::SourceLocation, llvm::MutableArrayRef<clang::Expr*>,
clang::SourceLocation, clang::Expr*)
/home/xxx/data/git/llvm-project/clang/lib/Sema/SemaExpr.cpp:6317:7
#13 0x0000000018483c37
clang::Parser::ParsePostfixExpressionSuffix(clang::ActionResult<clang::Expr*,
true>) /home/xxx/data/git/llvm-project/clang/lib/Parse/ParseExpr.cpp:2064:23
#14 0x000000001848d936
clang::Parser::ParseCastExpression(clang::Parser::CastParseKind, bool, bool&,
clang::Parser::TypeCastState, bool, bool*)
/home/xxx/data/git/llvm-project/clang/lib/Parse/ParseExpr.cpp:1809:7
#15 0x0000000018477884
clang::Parser::ParseCastExpression(clang::Parser::CastParseKind, bool,
clang::Parser::TypeCastState, bool, bool*)
/home/xxx/data/git/llvm-project/clang/lib/Parse/ParseExpr.cpp:681:20
#16 0x0000000018477884
clang::Parser::ParseAssignmentExpression(clang::Parser::TypeCastState)
/home/xxx/data/git/llvm-project/clang/lib/Parse/ParseExpr.cpp:173:0
#17 0x0000000018477406
clang::Parser::ParseExpression(clang::Parser::TypeCastState)
/home/xxx/data/git/llvm-project/clang/lib/Parse/ParseExpr.cpp:125:10
#18 0x000000001865cac6 clang::Parser::ParseReturnStatement()
/home/xxx/data/git/llvm-project/clang/lib/Parse/ParseStmt.cpp:2206:11
#19 0x0000000018644e46
clang::Parser::ParseStatementOrDeclarationAfterAttributes(llvm::SmallVector<clang::Stmt*,
32u>&, clang::Parser::ParsedStmtContext, clang::SourceLocation*,
clang::Parser::ParsedAttributesWithRange&)
/home/xxx/data/git/llvm-project/clang/lib/Parse/ParseStmt.cpp:292:11
#20 0x0000000018643e2a
clang::Parser::ParseStatementOrDeclaration(llvm::SmallVector<clang::Stmt*,
32u>&, clang::Parser::ParsedStmtContext, clang::SourceLocation*)
/home/xxx/data/git/llvm-project/clang/lib/Parse/ParseStmt.cpp:115:3
#21 0x0000000018663e85 clang::Parser::ParseCompoundStatementBody(bool)
/home/xxx/data/git/llvm-project/clang/lib/Parse/ParseStmt.cpp:1110:11
#22 0x0000000018669c9f clang::ActionResult<clang::Stmt*, true>::isInvalid()
const /home/xxx/data/git/llvm-project/clang/include/clang/Sema/Ownership.h:0:0
#23 0x0000000018669c9f clang::Parser::ParseFunctionStatementBody(clang::Decl*,
clang::Parser::ParseScope&)
/home/xxx/data/git/llvm-project/clang/lib/Parse/ParseStmt.cpp:2274:0
#24 0x000000001832973d
clang::Parser::ParseFunctionDefinition(clang::ParsingDeclarator&,
clang::Parser::ParsedTemplateInfo const&, clang::Parser::LateParsedAttrList*)
/home/xxx/data/git/llvm-project/clang/lib/Parse/Parser.cpp:0:10
#25 0x00000000183a8a06 clang::Parser::ParseDeclGroup(clang::ParsingDeclSpec&,
clang::DeclaratorContext, clang::SourceLocation*, clang::Parser::ForRangeInit*)
/home/xxx/data/git/llvm-project/clang/lib/Parse/ParseDecl.cpp:1994:27
#26 0x0000000018325412
clang::Parser::ParseDeclOrFunctionDefInternal(clang::Parser::ParsedAttributesWithRange&,
clang::ParsingDeclSpec&, clang::AccessSpecifier)
/home/xxx/data/git/llvm-project/clang/lib/Parse/Parser.cpp:1134:10
#27 0x0000000018322237
clang::Parser::ParseDeclarationOrFunctionDefinition(clang::Parser::ParsedAttributesWithRange&,
clang::ParsingDeclSpec*, clang::AccessSpecifier)
/home/xxx/data/git/llvm-project/clang/lib/Parse/Parser.cpp:1150:12
#28 0x000000001831f00d
clang::Parser::ParseExternalDeclaration(clang::Parser::ParsedAttributesWithRange&,
clang::ParsingDeclSpec*)
/home/xxx/data/git/llvm-project/clang/lib/Parse/Parser.cpp:0:12
#29 0x0000000018317f4e
clang::Parser::ParseTopLevelDecl(clang::OpaquePtr<clang::DeclGroupRef>&, bool)
/home/xxx/data/git/llvm-project/clang/lib/Parse/Parser.cpp:716:10
#30 0x00000000183047f9 clang::ParseAST(clang::Sema&, bool, bool)
/home/xxx/data/git/llvm-project/clang/lib/Parse/ParseAST.cpp:157:15
#31 0x00000000105c90c3 clang::ASTFrontendAction::ExecuteAction()
/home/xxx/data/git/llvm-project/clang/lib/Frontend/FrontendAction.cpp:1058:1
#32 0x0000000012cff7d9 clang::CodeGenAction::ExecuteAction()
/home/xxx/data/git/llvm-project/clang/lib/CodeGen/CodeGenAction.cpp:1082:30
#33 0x00000000105c5efd clang::FrontendAction::Execute()
/home/xxx/data/git/llvm-project/clang/lib/Frontend/FrontendAction.cpp:0:8
#34 0x0000000010394e0a llvm::Error::operator bool()
/home/xxx/data/git/llvm-project/llvm/include/llvm/Support/Error.h:0:0
#35 0x0000000010394e0a
clang::CompilerInstance::ExecuteAction(clang::FrontendAction&)
/home/xxx/data/git/llvm-project/clang/lib/Frontend/CompilerInstance.cpp:949:0
#36 0x0000000010ac5a2e
clang::ExecuteCompilerInvocation(clang::CompilerInstance*)
/home/xxx/data/git/llvm-project/clang/lib/FrontendTool/ExecuteCompilerInvocation.cpp:278:25
#37 0x0000000000e9b85d cc1_main(llvm::ArrayRef<char const*>, char const*,
void*) /home/xxx/data/git/llvm-project/clang/tools/driver/cc1_main.cpp:246:15
#38 0x0000000000e82e17 ExecuteCC1Tool(llvm::SmallVectorImpl<char const*>&)
/home/xxx/data/git/llvm-project/clang/tools/driver/driver.cpp:330:12
#39 0x000000000ff0a39d
clang::driver::CC1Command::Execute(llvm::ArrayRef<llvm::Optional<llvm::StringRef>
>, std::__cxx11::basic_string<char, std::char_traits<char>,
std::allocator<char> >*, bool*) const::$_1::operator()() const
/home/xxx/data/git/llvm-project/clang/lib/Driver/Job.cpp:404:30
#40 0x000000000ff0a39d void llvm::function_ref<void
()>::callback_fn<clang::driver::CC1Command::Execute(llvm::ArrayRef<llvm::Optional<llvm::StringRef>
>, std::__cxx11::basic_string<char, std::char_traits<char>,
std::allocator<char> >*, bool*) const::$_1>(long)
/home/xxx/data/git/llvm-project/llvm/include/llvm/ADT/STLExtras.h:185:0
#41 0x000000000d503de4 llvm::function_ref<void ()>::operator()() const
/home/xxx/data/git/llvm-project/llvm/include/llvm/ADT/STLExtras.h:209:12
#42 0x000000000d503de4
llvm::CrashRecoveryContext::RunSafely(llvm::function_ref<void ()>)
/home/xxx/data/git/llvm-project/llvm/lib/Support/CrashRecoveryContext.cpp:424:0
#43 0x000000000ff08be2
clang::driver::CC1Command::Execute(llvm::ArrayRef<llvm::Optional<llvm::StringRef>
>, std::__cxx11::basic_string<char, std::char_traits<char>,
std::allocator<char> >*, bool*) const
/home/xxx/data/git/llvm-project/clang/lib/Driver/Job.cpp:404:7
#44 0x000000000fdfc32e
clang::driver::Compilation::ExecuteCommand(clang::driver::Command const&,
clang::driver::Command const*&) const
/home/xxx/data/git/llvm-project/clang/lib/Driver/Compilation.cpp:195:15
#45 0x000000000fdfcf7c
clang::driver::Compilation::ExecuteJobs(clang::driver::JobList const&,
llvm::SmallVectorImpl<std::pair<int, clang::driver::Command const*> >&) const
/home/xxx/data/git/llvm-project/clang/lib/Driver/Compilation.cpp:248:19
#46 0x000000000fe6126a llvm::SmallVectorBase<unsigned int>::empty() const
/home/xxx/data/git/llvm-project/llvm/include/llvm/ADT/SmallVector.h:0:0
#47 0x000000000fe6126a
clang::driver::Driver::ExecuteCompilation(clang::driver::Compilation&,
llvm::SmallVectorImpl<std::pair<int, clang::driver::Command const*> >&)
/home/xxx/data/git/llvm-project/clang/lib/Driver/Driver.cpp:1529:0
#48 0x0000000000e7fd4f main
/home/xxx/data/git/llvm-project/clang/tools/driver/driver.cpp:502:21
#49 0x00007f5c6fbd8b97 __libc_start_main
/build/glibc-2ORdQG/glibc-2.27/csu/../csu/libc-start.c:344:0
#50 0x0000000000d7aada _start
(/data/xxx/git/llvm-project/build_trunk/bin/clang+0xd7aada)
clang-13: error: clang frontend command failed with exit code 134 (use -v to
see invocation)
clang version 13.0.0 (https://github.com/llvm/llvm-project.git
b006902b2dfac792e8ade73798ca1b216654faf7)
Target: x86_64-unknown-linux-gnu
Thread model: posix
InstalledDir: /data/xxx/git/llvm-project/build_trunk/bin
clang-13: note: diagnostic msg:
********************
PLEASE ATTACH THE FOLLOWING FILES TO THE BUG REPORT:
Preprocessed source(s) and associated run script(s) are located at:
clang-13: note: diagnostic msg: /tmp/test-f3c9e6.c
clang-13: note: diagnostic msg: /tmp/test-f3c9e6.sh
clang-13: note: diagnostic msg:
********************
--
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/20210220/bf0830ba/attachment-0001.html>
More information about the llvm-bugs
mailing list