[lldb] Fix crash in SymbolFileCTF::ParseFunctions (#89845)
Make SymbolFileCTF::ParseFunctions resilient against not being able to
resolve the argument or return type of a function. ResolveTypeUID can
fail for a variety of reasons so we should always check its result.
The type that caused the crash was `_Bool` which we didn't recognize
as a basic type. This commit also fixes the underlying issue and adds
a test.
rdar://126943722
GitOrigin-RevId: fd4399cb11f4069888bc7eac01f74493b5a2af48
diff --git a/source/Plugins/SymbolFile/CTF/SymbolFileCTF.cpp b/source/Plugins/SymbolFile/CTF/SymbolFileCTF.cpp
index 65f5b1a..386ba44 100644
--- a/source/Plugins/SymbolFile/CTF/SymbolFileCTF.cpp
+++ b/source/Plugins/SymbolFile/CTF/SymbolFileCTF.cpp
@@ -342,7 +342,7 @@
CompilerType compiler_type = m_ast->GetBasicType(basic_type);
- if (basic_type != eBasicTypeVoid) {
+ if (basic_type != eBasicTypeVoid && basic_type != eBasicTypeBool) {
// Make sure the type we got is an integer type.
bool compiler_type_is_signed = false;
if (!compiler_type.IsIntegerType(compiler_type_is_signed))
@@ -802,7 +802,8 @@
}
Type *arg_type = ResolveTypeUID(arg_uid);
- arg_types.push_back(arg_type->GetFullCompilerType());
+ arg_types.push_back(arg_type ? arg_type->GetFullCompilerType()
+ : CompilerType());
}
if (symbol) {
@@ -813,8 +814,9 @@
// Create function type.
CompilerType func_type = m_ast->CreateFunctionType(
- ret_type->GetFullCompilerType(), arg_types.data(), arg_types.size(),
- is_variadic, 0, clang::CallingConv::CC_C);
+ ret_type ? ret_type->GetFullCompilerType() : CompilerType(),
+ arg_types.data(), arg_types.size(), is_variadic, 0,
+ clang::CallingConv::CC_C);
lldb::user_id_t function_type_uid = m_types.size() + 1;
TypeSP type_sp =
MakeType(function_type_uid, symbol->GetName(), 0, nullptr,
diff --git a/source/Plugins/TypeSystem/Clang/TypeSystemClang.cpp b/source/Plugins/TypeSystem/Clang/TypeSystemClang.cpp
index 2621f68..662da31 100644
--- a/source/Plugins/TypeSystem/Clang/TypeSystemClang.cpp
+++ b/source/Plugins/TypeSystem/Clang/TypeSystemClang.cpp
@@ -838,8 +838,11 @@
{"__int128_t", eBasicTypeInt128},
{"__uint128_t", eBasicTypeUnsignedInt128},
- // Miscellaneous
+ // "bool"
{"bool", eBasicTypeBool},
+ {"_Bool", eBasicTypeBool},
+
+ // Miscellaneous
{"float", eBasicTypeFloat},
{"double", eBasicTypeDouble},
{"long double", eBasicTypeLongDouble},
diff --git a/test/API/macosx/ctf/Makefile b/test/API/macosx/ctf/Makefile
index afe6ab1..0857e23 100644
--- a/test/API/macosx/ctf/Makefile
+++ b/test/API/macosx/ctf/Makefile
@@ -4,7 +4,7 @@
ifeq "$(COMPRESS_CTF)" "YES"
COMPRESS := -c
else
- COMPRESS :=
+ COMPRESS :=
endif
all: a.out a.ctf
diff --git a/test/API/macosx/ctf/TestCTF.py b/test/API/macosx/ctf/TestCTF.py
index f5fd29f..fed3a88 100644
--- a/test/API/macosx/ctf/TestCTF.py
+++ b/test/API/macosx/ctf/TestCTF.py
@@ -53,6 +53,7 @@
"[2] = 'b'",
"[3] = 'c'",
'u = (i = 1, s = "")',
+ "b = false",
"f = 0x0000000000000000",
],
)
diff --git a/test/API/macosx/ctf/test.c b/test/API/macosx/ctf/test.c
index 3580066..a15f7a5 100644
--- a/test/API/macosx/ctf/test.c
+++ b/test/API/macosx/ctf/test.c
@@ -1,3 +1,4 @@
+#include <stdbool.h>
#include <stdio.h>
struct ForwardDecl;
@@ -24,6 +25,7 @@
char a[4];
MyEnumT e;
MyUnionT u;
+ _Bool b;
} MyNestedStructT;
typedef struct MyStruct {
@@ -54,6 +56,7 @@
foo.n.a[2] = 'c';
foo.n.a[3] = 'd';
foo.n.e = eOne;
+ foo.n.b = false;
foo.f = NULL;
forward = NULL;
bar.b = i;
