clang svn crash on Debian Lenny in mksh cvs file jobs.c

[llvmbot]

Bugzilla Link	2944
Resolution	FIXED
Resolved on	Feb 22, 2010 12:44
Version	unspecified
OS	Linux
Attachments	crash preprocessed file (.tgz)
Reporter	LLVM Bugzilla Contributor
CC	@tkremenek

Extended Description

• /usr/llvm/bin/ccc-analyzer -O2 -fno-strict-aliasing -fstack-protector-all -fwrapv -std=gnu99 -Wall -I. -I../mksh -D_GNU_SOURCE -DHAVE_EXPSTMT=1 -DHAVE_ATTRIBUTE=1 -DHAVE_ATTRIBUTE_BOUNDED=0 -DHAVE_ATTRIBUTE_USED=1 -DHAVE_SYS_PARAM_H=1 -DHAVE_SYS_MKDEV_H=0 -DHAVE_SYS_MMAN_H=1 -DHAVE_SYS_SYSMACROS_H=1 -DHAVE_LIBGEN_H=1 -DHAVE_LIBUTIL_H=1 -DHAVE_PATHS_H=1 -DHAVE_STDBOOL_H=1 -DHAVE_GRP_H=1 -DHAVE_ULIMIT_H=1 -DHAVE_VALUES_H=1 -DHAVE_STDINT_H=1 -D_FILE_OFFSET_BITS=64 -DHAVE_RLIM_T=1 -DHAVE_SIG_T=1 -DHAVE_SYS_SIGNAME=0 -DHAVE_SYS_SIGLIST=1 -DHAVE_STRSIGNAL=0 -DHAVE_ARC4RANDOM=0 -DHAVE_ARC4RANDOM_PUSHB=0 -DHAVE_MKSTEMP=1 -DHAVE_SETLOCALE_CTYPE=1 -DHAVE_LANGINFO_CODESET=1 -DHAVE_MKNOD=1 -DHAVE_REALPATH=1 -DHAVE_REVOKE=0 -DHAVE_SETMODE=0 -DHAVE_SETRESUGID=1 -DHAVE_SETGROUPS=1 -DHAVE_STRCASESTR=1 -DHAVE_STRLCPY=0 -DHAVE_ARC4RANDOM_DECL=1 -DHAVE_ARC4RANDOM_PUSHB_DECL=1 -DHAVE_FLOCK_DECL=1 -DHAVE_REVOKE_DECL=1 -DHAVE_SYS_SIGLIST_DECL=1 -DHAVE_PERSISTENT_HISTORY=1 -DHAVE_CONFIG_H -DCONFIG_H_FILENAME="sh.h" -c ../mksh/jobs.c
  clang: GRExprEngine.cpp:455: void clang::GRExprEngine::VisitLValue(clang::Expr*, clang::ExplodedNodeclang::GRState*, clang::ExplodedNodeSetclang::GRState&): Assertion `Ex->getType()->isAggregateType() && "Other kinds of expressions with non-aggregate types do not " "have lvalues."' failed.
  ANALYZE: ../mksh/jobs.c j_init
  ANALYZE: ../mksh/jobs.c j_exit
  ANALYZE: ../mksh/jobs.c j_change
  ANALYZE: ../mksh/jobs.c exchild
  ANALYZE: ../mksh/jobs.c startlast
  ANALYZE: ../mksh/jobs.c waitlast
  ANALYZE: ../mksh/jobs.c waitfor
  ANALYZE: ../mksh/jobs.c j_kill
  ANALYZE: ../mksh/jobs.c j_resume
  ANALYZE: ../mksh/jobs.c j_stopped_running
  ANALYZE: ../mksh/jobs.c j_njobs
  ANALYZE: ../mksh/jobs.c j_jobs
  ANALYZE: ../mksh/jobs.c j_notify
  ANALYZE: ../mksh/jobs.c j_async
  ANALYZE: ../mksh/jobs.c j_set_async
  ANALYZE: ../mksh/jobs.c j_startjob
  ANALYZE: ../mksh/jobs.c j_waitj
  ANALYZE: ../mksh/jobs.c j_sigchld
  /usr/llvm/bin/clang[0x907e926]
  /usr/llvm/bin/clang[0x907ea58]
  [0xb7f84420]
  /lib/libc.so.6(abort+0x188)[0xb7d2cd78]
  /lib/libc.so.6(__assert_fail+0xf0)[0xb7d24590]
  /usr/llvm/bin/clang(_ZN5clang12GRExprEngine11VisitLValueEPNS_4ExprEPNS_12ExplodedNodeINS_7GRStateEEERNS_15ExplodedNodeSetIS4_EE+0x236)[0x8ae4992]
  /usr/llvm/bin/clang(_ZN5clang12GRExprEngine15VisitMemberExprEPNS_10MemberExprEPNS_12ExplodedNodeINS_7GRStateEEERNS_15ExplodedNodeSetIS4_EEb+0x82)[0x8ae598c]
  /usr/llvm/bin/clang(_ZN5clang12GRExprEngine5VisitEPNS_4StmtEPNS_12ExplodedNodeINS_7GRStateEEERNS_15ExplodedNodeSetIS4_EE+0x447)[0x8ae56a3]
  /usr/llvm/bin/clang(_ZN5clang12GRExprEngine18VisitUnaryOperatorEPNS_13UnaryOperatorEPNS_12ExplodedNodeINS_7GRStateEEERNS_15ExplodedNodeSetIS4_EEb+0x7cd)[0x8ae7d57]
  /usr/llvm/bin/clang(_ZN5clang12GRExprEngine5VisitEPNS_4StmtEPNS_12ExplodedNodeINS_7GRStateEEERNS_15ExplodedNodeSetIS4_EE+0x6a8)[0x8ae5904]
  /usr/llvm/bin/clang(_ZN5clang12GRExprEngine19VisitBinaryOperatorEPNS_14BinaryOperatorEPNS_12ExplodedNodeINS_7GRStateEEERNS_15ExplodedNodeSetIS4_EE+0x9b)[0x8ae5be5]
  /usr/llvm/bin/clang(_ZN5clang12GRExprEngine5VisitEPNS_4StmtEPNS_12ExplodedNodeINS_7GRStateEEERNS_15ExplodedNodeSetIS4_EE+0x222)[0x8ae547e]
  /usr/llvm/bin/clang(_ZN5clang12GRExprEngine19VisitBinaryOperatorEPNS_14BinaryOperatorEPNS_12ExplodedNodeINS_7GRStateEEERNS_15ExplodedNodeSetIS4_EE+0x9b)[0x8ae5be5]
  /usr/llvm/bin/clang(_ZN5clang12GRExprEngine5VisitEPNS_4StmtEPNS_12ExplodedNodeINS_7GRStateEEERNS_15ExplodedNodeSetIS4_EE+0x222)[0x8ae547e]
  /usr/llvm/bin/clang(_ZN5clang12GRExprEngine11ProcessStmtEPNS_4StmtERNS_17GRStmtNodeBuilderINS_7GRStateEEE+0x2ea)[0x8aea4e0]
  /usr/llvm/bin/clang(_ZN5clang12GRCoreEngineINS_12GRExprEngineEE11ProcessStmtEPNS_4StmtERNS_21GRStmtNodeBuilderImplE+0x46)[0x8af33ea]
  /usr/llvm/bin/clang(_ZN5clang16GRCoreEngineImpl14HandlePostStmtERKNS_8PostStmtEPNS_8CFGBlockEjPNS_16ExplodedNodeImplE+0xc2)[0x8adfcd8]
  /usr/llvm/bin/clang(_ZN5clang16GRCoreEngineImpl15ExecuteWorkListEj+0x33b)[0x8ae025f]
  /usr/llvm/bin/clang(_ZN5clang12GRExprEngine15ExecuteWorkListEj+0x18)[0x85f8806]
  /usr/llvm/bin/clang[0x85f625b]
  /usr/llvm/bin/clang[0x85f636a]
  /usr/llvm/bin/clang[0x85f63db]
  /usr/llvm/bin/clang[0x85f68a2]
  /usr/llvm/bin/clang[0x85f6a60]
  /usr/llvm/bin/clang(_ZN5clang8ParseASTERNS_12PreprocessorEPNS_11ASTConsumerEbb+0x1a1)[0x8b21b5d]
  /usr/llvm/bin/clang[0x86248ea]
  /usr/llvm/bin/clang(main+0x6a7)[0x86267b9]
  /lib/libc.so.6(__libc_start_main+0xe5)[0xb7d17455]
  /usr/llvm/bin/clang[0x85eef41]

$ clang --version
Low Level Virtual Machine (http://llvm.org/):
llvm version 2.5svn
DEBUG build with assertions.

tg@frozenfish:~/llvm $ svn info
Path: .
URL: http://llvm.org/svn/llvm-project/llvm/trunk
Repository Root: http://llvm.org/svn/llvm-project
Repository UUID: 91177308-0d34-0410-b5e6-96231b3b80d8
Revision: 58092
Node Kind: directory
Schedule: normal
Last Changed Author: baldrick
Last Changed Rev: 58092
Last Changed Date: 2008-10-24 13:03:10 +0000 (Fri, 24 Oct 2008)

tg@frozenfish:~/llvm/tools/clang $ svn info
Path: .
URL: http://llvm.org/svn/llvm-project/cfe/trunk
Repository Root: http://llvm.org/svn/llvm-project
Repository UUID: 91177308-0d34-0410-b5e6-96231b3b80d8
Revision: 58092
Node Kind: directory
Schedule: normal
Last Changed Author: snaroff
Last Changed Rev: 58091
Last Changed Date: 2008-10-24 12:40:20 +0000 (Fri, 24 Oct 2008)

[llvmbot]

assigned to @tkremenek

[llvmbot]

reduced testcase
[rwg@garden /tmp]% cat pr2944-reduced.c
int f() {
return (union { int a, b; }) { .a = 0 }.b;
}

[s004:164] [rwg@garden /tmp]% clang -checker-cfref pr2944-reduced.c
ANALYZE: pr2944-reduced.c f
Assertion failed: (Ex->getType()->isAggregateType() && "Other kinds of expressions with non-aggregate types do not " "have lvalues."), function VisitLValue, file GRExprEngine.cpp, line 454.

[tkremenek]

Created an attachment (id=2145) [details]
reduced testcase

[rwg@garden /tmp]% cat pr2944-reduced.c
int f() {
return (union { int a, b; }) { .a = 0 }.b;
}

[s004:164] [rwg@garden /tmp]% clang -checker-cfref pr2944-reduced.c
ANALYZE: pr2944-reduced.c f
Assertion failed: (Ex->getType()->isAggregateType() && "Other kinds of
expressions with non-aggregate types do not " "have lvalues."), function
VisitLValue, file GRExprEngine.cpp, line 454.

Hi Richard,

I actually think your tree is now out of date. Unfortunately I think I missed your initial filing of this bug on 10-24; since then I think it has been fixed. Can you try it with top-of-tree? (clang -checker-cfref works just fine for me on your example).

Ted

[llvmbot]

I actually think your tree is now out of date. Unfortunately I think I missed
your initial filing of this bug on 10-24; since then I think it has been fixed.
Can you try it with top-of-tree? (clang -checker-cfref works just fine for me
on your example).

Ted,

I'm not the bug's reporter (I just reduced the testcase), but I no longer hit the assertion on TOT. I was using r58037 from 2008-10-22 when I reproduced the assertion, so my tree was indeed out of date.

Richard