This patch adds support for SYM_ARRAY in symbol_type().
Cc: Christopher Li <sparse@xxxxxxxxxxx>
Cc: Jeff Garzik <jgarzik@xxxxxxxxxx>
Cc: Linus Torvalds <torvalds@xxxxxxxxxxxxxxxxxxxx>
Signed-off-by: Pekka Enberg <penberg@xxxxxxxxxx>
---
sparse-llvm.c | 17 +++++++++++++++++
validation/backend/array.c | 6 ++++++
2 files changed, 23 insertions(+), 0 deletions(-)
create mode 100644 validation/backend/array.c
diff --git a/sparse-llvm.c b/sparse-llvm.c
index 9f4586f..52a487b 100644
--- a/sparse-llvm.c
+++ b/sparse-llvm.c
@@ -34,6 +34,20 @@ static inline bool symbol_is_fp_type(struct symbol *sym)
static LLVMTypeRef symbol_type(LLVMModuleRef module, struct symbol *sym);
+static LLVMTypeRef sym_array_type(LLVMModuleRef module, struct symbol *sym)
+{
+ LLVMTypeRef elem_type, ret;
+ struct symbol *base_type;
+
+ base_type = sym->ctype.base_type;
+
+ elem_type = symbol_type(module, base_type);
+ if (!elem_type)
+ return NULL;
+
+ return LLVMArrayType(elem_type, sym->bit_size / 8);
+}
+
#define MAX_STRUCT_MEMBERS 64
static LLVMTypeRef sym_struct_type(LLVMModuleRef module, struct symbol *sym)
@@ -135,6 +149,9 @@ static LLVMTypeRef symbol_type(LLVMModuleRef module, struct symbol *sym)
case SYM_STRUCT:
ret = sym_struct_type(module, sym);
break;
+ case SYM_ARRAY:
+ ret = sym_array_type(module, sym);
+ break;
default:
assert(0);
}
diff --git a/validation/backend/array.c b/validation/backend/array.c
new file mode 100644
index 0000000..bd3ec59
--- /dev/null
+++ b/validation/backend/array.c
@@ -0,0 +1,6 @@
+static char array[128];
+
+/*
+ * check-name: Array code generation
+ * check-command: ./sparsec -c $file -o tmp.o
+ */
--
1.7.6.4
--
To unsubscribe from this list: send the line "unsubscribe linux-sparse" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
