这是LLVM中的错误吗？

Question

我正在编译这段代码(使用clang 3.4.2):

#include <stdlib.h>
#include <stdio.h>
#include <inttypes.h>

typedef struct __entry {
    char *name;
    int value;
} entry;

int main(int argv, char **argc) {
            printf("Size of entry: %lu\n", sizeof(entry));
        entry *entry = malloc(sizeof(entry));
        printf("entry is at %lu\n", (uint64_t) entry);
}

我收到这个bitcode:

define i32 @main(i32 %argv, i8** %argc) #0 {
entry:
  %argv.addr = alloca i32, align 4
  %argc.addr = alloca i8**, align 8
  %entry1 = alloca %struct.__entry*, align 8
  store i32 %argv, i32* %argv.addr, align 4
  store i8** %argc, i8*** %argc.addr, align 8
  %call = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([20 x i8]* @.str, i32 0, i32 0), i64 16)
  %call2 = call noalias i8* @malloc(i64 8) #3
  %0 = bitcast i8* %call2 to %struct.__entry*
  store %struct.__entry* %0, %struct.__entry** %entry1, align 8
  %1 = load %struct.__entry** %entry1, align 8
  %2 = ptrtoint %struct.__entry* %1 to i64
  %call3 = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([17 x i8]* @.str1, i32 0, i32 0), i64 %2)
  ret i32 0
}

对printf的调用接收16作为参数(我期望在64位系统上有两个指针的结构).但是,对malloc的调用收到8.在C中,它们都有相同的参数.到底是怎么回事？

Answer 1

两次调用sizeof没有得到相同的论点!它看起来只是乍一看.

第一个sizeof(entry)引用类型名称.

第二个sizeof(entry)引用本地指针变量.

定义变量后,您不能再引用代码块中的类型.

这意味着标题问题的答案是"否 - LLVM遵循标准的要求".

一个小怪癖:第一个sizeof(entry)必须有括号,因为参数是一个类型名称.sizeof(entry)可以编写第二个,sizeof entry因为此参数是变量的名称而不是类型.这允许您确认第二次出现是指变量而不是类型.