【typetrait】用例在通过-rewrite-bsc源源转换后编译失败

```
#include "TypeTrait.hbs"

int main()
{
    int int_array[1]; // Equivalent to int[0] in the diagram
    char char_array[1]; // Equivalent to char in the diagram
    float float_array[1]; // Equivalent to float in the diagram
    int int_array_2d[1][1]; // Equivalent to int[1][1] in the diagram
    int *int_pointer_array[2]; // Equivalent to int*[2] in the diagram

printf("%d\n",is_array<int[]>()); //1
    printf("%d\n",is_array<char[]>()); //1
    printf("%d\n",is_array<float[]>()); //1
    printf("%d\n",is_array<int[1][1]>()); //1
    printf("%d\n",is_array<int*[2]>()); //1
    printf("%d\n",is_array<float>()); //0
    struct S<int[]> s1;
    s1.gmf_type_det(); //print "array"
    gf_type_det<int[]>();  //print "array"
    _Static_assert(is_array<int>() == false, "fail");
    _Static_assert(is_array<int[]>() == true, "fail");
    return 0;
}

// RUN: %CC %s -o %t.output
// RUN: %t.output
// RUN: %t.output | diff - is_array_expected.txt

// RUN: %CC -rewrite-bsc %s -o %t-rw.c
// RUN: %CC %CFLAGS %t-rw.c -I %S -o %t.output
// RUN: %t.output | diff - is_array_expected.txt
```

```
void __attribute__((weak)) struct_S_int_LPvoidRP_gmf_type_det(struct S_int_(void) *this) {
    if (0) {
        printf("integral\n");
    } else if (0) {
        printf("floating_point\n");
    } else if (0) {
        printf("pointer\n");
    } else if (1) {
        printf("function\n");
    } else if (0) {
        printf("array\n");
    } else if (0) {
        printf("struct\n");
    } else if (0) {
        printf("union\n");
    } else if (0) {
        printf("enum\n");
    } else if (0) {
        printf("void\n");
    }
}

void __attribute__((weak)) gf_type_det_int_LPvoidRP(void) {
    if (0) {
        printf("integral\n");
    } else if (0) {
        printf("floating_point\n");
    } else if (0) {
        printf("pointer\n");
    } else if (1) {
        printf("function\n");
    } else if (0) {
        printf("array\n");
    } else if (0) {
        printf("struct\n");
    } else if (0) {
        printf("union\n");
    } else if (0) {
        printf("enum\n");
    } else if (0) {
        printf("void\n");
    }
}
```

```
void __attribute__((weak)) struct_S_intLBRB_gmf_type_det(struct S_int[] *this) {
    if (0) {
        printf("integral\n");
    } else if (0) {
        printf("floating_point\n");
    } else if (0) {
        printf("pointer\n");
    } else if (0) {
        printf("function\n");
    } else if (1) {
        printf("array\n");
    } else if (0) {
        printf("struct\n");
    } else if (0) {
        printf("union\n");
    } else if (0) {
        printf("enum\n");
    } else if (0) {
        printf("void\n");
    }
}

void __attribute__((weak)) gf_type_det_intLBRB(void) {
    if (0) {
        printf("integral\n");
    } else if (0) {
        printf("floating_point\n");
    } else if (0) {
        printf("pointer\n");
    } else if (0) {
        printf("function\n");
    } else if (1) {
        printf("array\n");
    } else if (0) {
        printf("struct\n");
    } else if (0) {
        printf("union\n");
    } else if (0) {
        printf("enum\n");
    } else if (0) {
        printf("void\n");
    }
}
```

```
#ifndef _TYPE_TRAIT_HBS
#define _TYPE_TRAIT_HBS

#include<stdio.h>
#include "bsc_type_traits.hbs"

struct S<T> {};
void struct S<T>::gmf_type_det(struct S<T>* this) {
    if (is_integral<T>()) {
        printf("integral\n");
    }
    else if (is_floating_point<T>()) {
        printf("floating_point\n");
    }
    else if (is_pointer<T>()) {
        printf("pointer\n");
    }
    else if (is_function<T>()) {
        printf("function\n");
    }
    else if (is_array<T>()) {
        printf("array\n");
    }
    else if (is_struct<T>()) {
        printf("struct\n");
    }
    else if (is_union<T>()) {
        printf("union\n");
    }
    else if (is_enum<T>()) {
        printf("enum\n");
    }
    else if (is_void<T>()) {
        printf("void\n");
    }
}

void gf_type_det<T>() {
    if (is_integral<T>()) {
        printf("integral\n");
    }
    else if (is_floating_point<T>()) {
        printf("floating_point\n");
    }
    else if (is_pointer<T>()) {
        printf("pointer\n");
    }
    else if (is_function<T>()) {
        printf("function\n");
    }
    else if (is_array<T>()) {
        printf("array\n");
    }
    else if (is_struct<T>()) {
        printf("struct\n");
    }
    else if (is_union<T>()) {
        printf("union\n");
    }
    else if (is_enum<T>()) {
        printf("enum\n");
    }
    else if (is_void<T>()) {
        printf("void\n");
    }
}
#endif /* TypeTrait.hbs */
```

BiShengCLanguageDependency/llvm-project

内容风险标识

评论 (5)

BiShengCLanguageDependency/llvm-project .gitee-modal { width: 500px !important; }

内容风险标识