Expr.h:1311: llvm::StringRef clang::StringLiteral::getString() const: Assertion `CharByteWidth==1 && "This function is used in places that assume strings use char"' failed.

[llvmbot]

Bugzilla Link	11294
Resolution	FIXED
Resolved on	Nov 14, 2011 14:06
Version	trunk
OS	Linux
Reporter	LLVM Bugzilla Contributor
CC	@efriedma-quic,@AnnaZaks,@tkremenek

Extended Description

$ clang -v
clang version 3.1 (trunk 143530)
Target: x86_64-unknown-linux-gnu
Thread model: posix

compiled F15 native gcc-4.6.1, optimized build

$ cat tst_wchar.c
typedef int wchar_t;
struct s {
wchar_t *name;
};

void baz (struct s* p);

void baz (struct s* p)
{
p->name = L"a";
}

$ clang -cc1 -analyze -analyzer-checker=core tst_wchar.c
clang: /home/dim/src/llvm/tools/clang/lib/StaticAnalyzer/Core/../../../include/clang/AST/Expr.h:1311: llvm::StringRef clang::StringLiteral::getString() const: Assertion `CharByteWidth==1 && "This function is used in places that assume strings use char"' failed.
0 clang 0x00000000019963af
1 clang 0x0000000001996899
2 libpthread.so.0 0x00000035a4e0eef0
3 libc.so.6 0x00000035a4a352d5 gsignal + 53
4 libc.so.6 0x00000035a4a36beb abort + 379
5 libc.so.6 0x00000035a4a2dc5e
6 libc.so.6 0x00000035a4a2dd02
7 clang 0x0000000000dbe867
8 clang 0x0000000000dbf1bb
9 clang 0x0000000000da6a69 clang::ento::ProgramState::getSValAsScalarOrLoc(clang::ento::MemRegion const*) const + 153
10 clang 0x0000000000da9796 clang::ento::ScanReachableSymbols::scan(clang::ento::MemRegion const*) + 246
11 clang 0x0000000000da9ab8 clang::ento::ScanReachableSymbols::scan(clang::ento::SVal) + 152
12 clang 0x0000000000d6eebd clang::ento::EnvironmentManager::removeDeadBindings(clang::ento::Environment, clang::ento::SymbolReaper&, clang::ento::ProgramState const*) + 3213
13 clang 0x0000000000dabf6a clang::ento::ProgramStateManager::removeDeadBindings(clang::ento::ProgramState const*, clang::StackFrameContext const*, clang::ento::SymbolReaper&) + 74
14 clang 0x0000000000d80a46 clang::ento::ExprEngine::ProcessStmt(clang::CFGStmt, clang::ento::ExplodedNode*) + 502
15 clang 0x0000000000d8197a clang::ento::ExprEngine::processCFGElement(clang::CFGElement, clang::ento::ExplodedNode*, unsigned int, clang::ento::NodeBuilderContext*) + 202
16 clang 0x0000000000d6a121 clang::ento::CoreEngine::HandlePostStmt(clang::CFGBlock const*, unsigned int, clang::ento::ExplodedNode*) + 145
17 clang 0x0000000000d6b36d clang::ento::CoreEngine::ExecuteWorkList(clang::LocationContext const*, unsigned int, clang::ento::ProgramState const*) + 733
18 clang 0x0000000000c8d2d6
19 clang 0x0000000000c8dc95
20 clang 0x0000000000c8e1bc
21 clang 0x0000000000c8ecfe
22 clang 0x000000000097ecaf clang::ParseAST(clang::Sema&, bool) + 415
23 clang 0x0000000000719835 clang::CompilerInstance::ExecuteAction(clang::FrontendAction&) + 373
24 clang 0x00000000006ff756 clang::ExecuteCompilerInvocation(clang::CompilerInstance*) + 1174
25 clang 0x00000000006f5b17 cc1_main(char const**, char const**, char const*, void*) + 535
26 clang 0x00000000006e9c84 main + 708
27 libc.so.6 0x00000035a4a2139d __libc_start_main + 237
28 clang 0x00000000006f577d
Stack dump:
0. Program arguments: clang -cc1 -analyze -analyzer-checker=core tst_wchar.c

1. parser at end of file
2. tst_wchar.c:10:5: Error evaluating statement
   Aborted (core dumped)

[llvmbot]

assigned to @tkremenek

[llvmbot]

look as CSA does not recognize "L" prefix.

p->name = (wchar_t*)L"a"; -- FAIL
p->name = (wchar_t*)"a"; -- OK

[efriedma-quic]

Please retest with r143550 or later; there is a relevant fix in that revision.

[llvmbot]

Alas, clang compiled with Fedora 15 native gcc --enable-optimized/--disable-optimized changes nothing for testcase from PR

set LANG=C instead of LANG=ru_RU.utf-8 changes nothing

output for --disable-optimized build

$ clang -v
clang version 3.1 (trunk 143563)
Target: x86_64-unknown-linux-gnu
Thread model: posix

$ clang -cc1 -analyze -analyzer-checker=core tst_wchar.c
clang: /home/dim/src/llvm/tools/clang/lib/CodeGen/../../include/clang/AST/Expr.h:1311: llvm::StringRef clang::StringLiteral::getString() const: Assertion `CharByteWidth==1 && "This function is used in places that assume strings use char"' failed.

0 clang 0x00000000028f500a
1 clang 0x00000000028f4e06
2 libpthread.so.0 0x00000035a4e0eef0
3 libc.so.6 0x00000035a4a352d5 gsignal + 53
4 libc.so.6 0x00000035a4a36beb abort + 379
5 libc.so.6 0x00000035a4a2dc5e
6 libc.so.6 0x00000035a4a2dd02
7 clang 0x000000000140a0b9 clang::StringLiteral::getString() const + 55
8 clang 0x0000000001a14776
9 clang 0x0000000001a13c19
10 clang 0x000000000195349b clang::ento::ProgramState::getSVal(clang::ento::MemRegion const*) const + 149
11 clang 0x0000000001a01f35 clang::ento::ProgramState::getSValAsScalarOrLoc(clang::ento::MemRegion const*) const + 225
12 clang 0x0000000001a03bf4 clang::ento::ScanReachableSymbols::scan(clang::ento::MemRegion const*) + 292
13 clang 0x0000000001a03973 clang::ento::ScanReachableSymbols::scan(clang::ento::SVal) + 99
14 clang 0x00000000019c903d clang::ento::EnvironmentManager::removeDeadBindings(clang::ento::Environment, clang::ento::SymbolReaper&, clang::ento::ProgramState const*) + 651
15 clang 0x0000000001a0134b clang::ento::ProgramStateManager::removeDeadBindings(clang::ento::ProgramState const*, clang::StackFrameContext const*, clang::ento::SymbolReaper&) + 131
16 clang 0x00000000019d36b5 clang::ento::ExprEngine::ProcessStmt(clang::CFGStmt, clang::ento::ExplodedNode*) + 479
17 clang 0x00000000019d344d clang::ento::ExprEngine::processCFGElement(clang::CFGElement, clang::ento::ExplodedNode*, unsigned int, clang::ento::NodeBuilderContext*) + 205
18 clang 0x00000000019c3d56 clang::ento::CoreEngine::HandlePostStmt(clang::CFGBlock const*, unsigned int, clang::ento::ExplodedNode*) + 282
19 clang 0x00000000019c3016 clang::ento::CoreEngine::ExecuteWorkList(clang::LocationContext const*, unsigned int, clang::ento::ProgramState const*) + 1162
20 clang 0x00000000018e4ebf clang::ento::ExprEngine::ExecuteWorkList(clang::LocationContext const*, unsigned int) + 47
21 clang 0x00000000018e4185
22 clang 0x00000000018e426b
23 clang 0x00000000018e4030
24 clang 0x00000000018e397a
25 clang 0x00000000018e372a
26 clang 0x00000000018e3c52
27 clang 0x00000000015641f1 clang::ParseAST(clang::Sema&, bool) + 724
28 clang 0x0000000001273a0f clang::ASTFrontendAction::ExecuteAction() + 265
29 clang 0x0000000001273669 clang::FrontendAction::Execute() + 325
30 clang 0x0000000001252078 clang::CompilerInstance::ExecuteAction(clang::FrontendAction&) + 740
31 clang 0x0000000001224bdb clang::ExecuteCompilerInvocation(clang::CompilerInstance*) + 999
32 clang 0x000000000121446c cc1_main(char const**, char const**, char const*, void*) + 936
33 clang 0x0000000001220217 main + 481
34 libc.so.6 0x00000035a4a2139d __libc_start_main + 237
35 clang 0x0000000001213759
Stack dump:
0. Program arguments: clang -cc1 -analyze -analyzer-checker=core tst_wchar.c

1. parser at end of file

[AnnaZaks]

This is an issue with the analyzer. I can reproduce this.

[AnnaZaks]

cloned to radar://10385775.

[tkremenek]

Fixed in r144563.