@@ -829,7 +829,10 @@ static void output_op_call(struct function *fn, struct instruction *insn)
args[i++] = pseudo_to_rvalue(fn, arg, arg->src);
} END_FOR_EACH_PTR(arg);
- func = pseudo_to_value(fn, NULL, insn->func);
+ if (insn->func->type == PSEUDO_REG || insn->func->type == PSEUDO_PHI)
+ func = get_operand(fn, insn->fntype, insn->func);
+ else
+ func = pseudo_to_value(fn, insn->fntype, insn->func);
pseudo_name(insn->target, name);
target = LLVMBuildCall(fn->builder, func, args, n_arg, name);
new file mode 100644
@@ -0,0 +1,37 @@
+typedef int (*binop_t)(int, int);
+typedef int (*unop_t)(int);
+typedef int (*idef_t)(void);
+typedef long (*ldef_t)(void);
+typedef void (*use_t)(int);
+
+// We want to 'fn' have several different types.
+// The goal is for the ->priv member to be used
+// with a type different from what it was first stored.
+
+int foo(void *fn, int arg1, int arg2);
+int foo(void *fn, int arg1, int arg2)
+{
+ int res = 0;
+
+ res += ((binop_t)fn)(arg1, arg2);
+ res += ((unop_t)fn)(arg1);
+ res += ((ldef_t)fn)();
+ res += ((idef_t)fn)();
+ ((use_t)fn)(res);
+ return res;
+}
+
+int bar(int (*fn)(int), int arg1, int arg2);
+int bar(int (*fn)(int), int arg1, int arg2)
+{
+ int res = 0;
+
+ res += ((binop_t)fn)(arg1, arg2);
+ res += fn(arg1);
+ return res;
+}
+
+/*
+ * check-name: mutate function pointer's type
+ * check-command: ./sparsec -c $file -o tmp.o
+ */
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com> --- sparse-llvm.c | 5 ++++- validation/backend/function-ptr-xtype.c | 37 +++++++++++++++++++++++++++++++++ 2 files changed, 41 insertions(+), 1 deletion(-) create mode 100644 validation/backend/function-ptr-xtype.c