Displaying 20 results from an estimated 108 matches for "typecheck".
2020 Aug 05
1
[vhost:vhost 32/52] include/linux/typecheck.h:12:18: warning: comparison of distinct pointer types lacks a cast
...from include/linux/kernel.h:12,
from include/linux/list.h:9,
from include/linux/module.h:12,
from drivers/virtio/virtio_input.c:2:
drivers/virtio/virtio_input.c: In function 'virtinput_probe':
>> include/linux/typecheck.h:12:18: warning: comparison of distinct pointer types lacks a cast
12 | (void)(&__dummy == &__dummy2); \
| ^~
include/linux/virtio_config.h:405:3: note: in expansion of macro 'typecheck'
405 | typecheck(typeof(virtio_le_to_cpu(virtio_cread...
2015 Nov 02
2
Unstable UBSan tests on AArch64
.../builds/894
http://lab.llvm.org:8011/builders/clang-cmake-aarch64-full/builds/906
http://lab.llvm.org:8011/builders/clang-cmake-aarch64-full/builds/902
The timeout happens consistently here:
PASS: UBSan-TSan-aarch64 :: TestCases/Misc/enum.cpp (25310 of 25316)
PASS: UBSan-TSan-aarch64 :: TestCases/TypeCheck/null.cpp (25311 of 25316)
PASS: UBSan-TSan-aarch64 ::
TestCases/TypeCheck/vptr-virtual-base-construction.cpp (25312 of
25316)
PASS: UBSan-TSan-aarch64 :: TestCases/TypeCheck/vptr-virtual-base.cpp
(25313 of 25316)
PASS: UBSan-TSan-aarch64 :: TestCases/TypeCheck/misaligned.cpp (25314 of 25316)
PASS:...
2020 Aug 06
0
[vhost:vhost 32/65] drivers/virtio/virtio_input.c:247:3: warning: comparison of distinct pointer types ('typeof (_Generic((virtio_cread_v), __u8: (virtio_cread_v), __le16: (__builtin_constant_p((__u16)((__u16)(__le16)(virtio_cread_v)))
...9;)) [-Wcompare-distinct-pointer-types]
virtio_cread_le(vi->vdev, struct virtio_input_config,
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
include/linux/virtio_config.h:405:3: note: expanded from macro 'virtio_cread_le'
typecheck(typeof(virtio_le_to_cpu(virtio_cread_v)), *(ptr)); \
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
include/linux/typecheck.h:12:18: note: expanded from macro 'typecheck'
(void)(&__dummy == &__dummy2); \
~~~~~~~~ ^ ~~~...
2007 Apr 18
0
[PATCH 9/14] i386 / Typecheck and optimize base and limit accessors
...,%%dh\n\t" \
- "orb %%dh,%%dl\n\t" \
- "movb %%dl,%2" \
- :"=&d" (__lr) \
- :"m" (*(addr)), \
- "m" (*((addr)+6)), \
- "0" (limit) \
- ); } while(0)
+#define _set_base(desc,base) do { \
+ unsigned long __tmp; \
+ typecheck(struct desc_struct *, desc); \
+ asm volatile("movw %w5,%2\n\t" \
+ "rorl $16,%5\n\t" \
+ "movb %b5,%3\n\t" \
+ "movb %h5,%4" \
+ :"=m"(*(desc)), \
+ "=&q" (__tmp) \
+ :&q...
2007 Apr 18
0
[PATCH 9/14] i386 / Typecheck and optimize base and limit accessors
...,%%dh\n\t" \
- "orb %%dh,%%dl\n\t" \
- "movb %%dl,%2" \
- :"=&d" (__lr) \
- :"m" (*(addr)), \
- "m" (*((addr)+6)), \
- "0" (limit) \
- ); } while(0)
+#define _set_base(desc,base) do { \
+ unsigned long __tmp; \
+ typecheck(struct desc_struct *, desc); \
+ asm volatile("movw %w5,%2\n\t" \
+ "rorl $16,%5\n\t" \
+ "movb %b5,%3\n\t" \
+ "movb %h5,%4" \
+ :"=m"(*(desc)), \
+ "=&q" (__tmp) \
+ :&q...
2018 Dec 31
1
Issue with "t -> signature is meaningless, use custom typechecking"
Hello,
I was implementing the llvm_any_type in my intrinsic
def int_csa_xxx : Intrinsic<[llvm_any_ty], [llvm_i32_ty]>;
as the following in its corresponding builtins in Builtins.def:
BUILTIN(__builtin_xxx, "v.", "nt")
the "t" was sufficient here to not perform any type checking.
The type checking was handled in CGBuiltin.cpp.
This was working until
2020 Aug 05
2
[PATCH v2 03/24] virtio: allow __virtioXX, __leXX in config space
...\
> + __virtio_pick_endian(x, __u16, __u32, __u64, \
> + /* No other type allowed */ \
> + (void)0)))))
> +
> +#endif
> +
> +#define __virtio_native_type(structname, member) \
> + __virtio_native_typeof(((structname*)0)->member)
> +
> +#define __virtio_typecheck(structname, member, val) \
> + /* Must match the member's type, and be integer */ \
> + typecheck(__virtio_native_type(structname, member), (val))
> +
> +
> /* Config space accessors. */
> #define virtio_cread(vdev, structname, member, ptr) \
> do { \
>...
2020 Aug 05
2
[PATCH v2 03/24] virtio: allow __virtioXX, __leXX in config space
...\
> + __virtio_pick_endian(x, __u16, __u32, __u64, \
> + /* No other type allowed */ \
> + (void)0)))))
> +
> +#endif
> +
> +#define __virtio_native_type(structname, member) \
> + __virtio_native_typeof(((structname*)0)->member)
> +
> +#define __virtio_typecheck(structname, member, val) \
> + /* Must match the member's type, and be integer */ \
> + typecheck(__virtio_native_type(structname, member), (val))
> +
> +
> /* Config space accessors. */
> #define virtio_cread(vdev, structname, member, ptr) \
> do { \
>...
2013 Jan 05
2
[LLVMdev] ASan and UBSan Test Failures
...inedBehaviorSanitizer :: Integer/sub-overflow.cpp
UndefinedBehaviorSanitizer :: Integer/uadd-overflow.cpp
UndefinedBehaviorSanitizer :: Integer/usub-overflow.cpp
UndefinedBehaviorSanitizer :: Misc/bool.cpp
UndefinedBehaviorSanitizer :: Misc/enum.cpp
UndefinedBehaviorSanitizer :: TypeCheck/misaligned.cpp
UndefinedBehaviorSanitizer :: TypeCheck/null.cpp
Expected Passes : 10
Expected Failures : 1
Unexpected Failures: 11
$ make check-asan
…
********************
Testing Time: 125.18s
********************
Failing Tests (1):
AddressSanitizer :: use-after-free.cc
Ex...
2014 Oct 08
2
[LLVMdev] UBSAN - Test failures
Hi Evgeniy,
So, to XFAIL some UBSAN failues, I found an issue:
UndefinedBehaviorSanitizer-AddressSanitizer :: TestCases/TypeCheck/vptr.cpp
UndefinedBehaviorSanitizer-Standalone :: TestCases/Misc/missing_return.cpp
These two tests fail on that configuration, but pass when reversed.
So, if I XFAIL: armv7l..., I get the following error:
UndefinedBehaviorSanitizer-AddressSanitizer ::
TestCases/Misc/missing_return.cpp...
2007 Apr 18
0
[PATCH 9/12] base-into-desc
.../asm-i386/system.h 2005-08-08 17:58:03.000000000 -0700
+++ linux-2.6.13/include/asm-i386/system.h 2005-08-08 18:01:31.000000000 -0700
@@ -29,40 +29,6 @@
"2" (prev), "d" (next)); \
} while (0)
-#define _set_base(desc,base) do { \
- unsigned long __tmp; \
- typecheck(struct desc_struct *, desc); \
- asm volatile("movw %w5,%2\n\t" \
- "rorl $16,%5\n\t" \
- "movb %b5,%3\n\t" \
- "movb %h5,%4" \
- :"=m"(*(desc)), \
- "=&q" (__tmp) \
- :&q...
2007 Apr 18
0
[PATCH 9/12] base-into-desc
.../asm-i386/system.h 2005-08-08 17:58:03.000000000 -0700
+++ linux-2.6.13/include/asm-i386/system.h 2005-08-08 18:01:31.000000000 -0700
@@ -29,40 +29,6 @@
"2" (prev), "d" (next)); \
} while (0)
-#define _set_base(desc,base) do { \
- unsigned long __tmp; \
- typecheck(struct desc_struct *, desc); \
- asm volatile("movw %w5,%2\n\t" \
- "rorl $16,%5\n\t" \
- "movb %b5,%3\n\t" \
- "movb %h5,%4" \
- :"=m"(*(desc)), \
- "=&q" (__tmp) \
- :&q...
2007 Apr 18
0
[PATCH 10/14] i386 / Move descriptor accessors into desc h
.../asm-i386/system.h 2005-08-09 20:17:26.000000000 -0700
+++ linux-2.6.13/include/asm-i386/system.h 2005-08-09 20:17:27.000000000 -0700
@@ -29,40 +29,6 @@
"2" (prev), "d" (next)); \
} while (0)
-#define _set_base(desc,base) do { \
- unsigned long __tmp; \
- typecheck(struct desc_struct *, desc); \
- asm volatile("movw %w5,%2\n\t" \
- "rorl $16,%5\n\t" \
- "movb %b5,%3\n\t" \
- "movb %h5,%4" \
- :"=m"(*(desc)), \
- "=&q" (__tmp) \
- :&q...
2007 Apr 18
0
[PATCH 10/14] i386 / Move descriptor accessors into desc h
.../asm-i386/system.h 2005-08-09 20:17:26.000000000 -0700
+++ linux-2.6.13/include/asm-i386/system.h 2005-08-09 20:17:27.000000000 -0700
@@ -29,40 +29,6 @@
"2" (prev), "d" (next)); \
} while (0)
-#define _set_base(desc,base) do { \
- unsigned long __tmp; \
- typecheck(struct desc_struct *, desc); \
- asm volatile("movw %w5,%2\n\t" \
- "rorl $16,%5\n\t" \
- "movb %b5,%3\n\t" \
- "movb %h5,%4" \
- :"=m"(*(desc)), \
- "=&q" (__tmp) \
- :&q...
2016 Jan 26
2
Problems with test on ppc
Bill,
For some reason the llvm-symbolizer tests fail on ppc:
http://lab.llvm.org:8011/builders/clang-ppc64le-linux/builds/182/steps/ninja%20check%201/logs/stdio
because it can't be started:
/home/buildbots/ppc64le-clang-test/clang-ppc64le/stage1/./bin/llvm-symbolizer:
/lib64/libstdc++.so.6: version `GLIBCXX_3.4.21' not found (required by
2005 Oct 09
0
[Fwd: Re: [Swig] Re: Object return problem]
...;
>> }
>>
>> %apply wxString& { wxString* }
>>
>>
>> %typemap(varout) wxString {
>> $result = rb_str_new2((const char *)$1.mb_str());
>> }
>>
>> %typemap(typecheck, precedence=SWIG_TYPECHECK_STRING) wxString {
>> $1 = (TYPE($input) == T_STRING);
>> }
>>
>> %typemap(typecheck, precedence=SWIG_TYPECHECK_STRING) wxString & {
>> $1 = (TYPE($input) == T_STRING);
>> }
>>
>>
>> %typemap(typecheck, prece...
2007 Apr 18
0
[RFC, PATCH 13/24] i386 Vmi system header
...invd": : :"memory");
-
static inline unsigned long get_limit(unsigned long segment)
{
unsigned long __limit;
@@ -518,16 +459,7 @@ struct alt_instr {
#define set_wmb(var, value) do { var = value; wmb(); } while (0)
-/* interrupt control.. */
-#define local_save_flags(x) do { typecheck(unsigned long,x); __asm__ __volatile__("pushfl ; popl %0":"=g" (x): /* no input */); } while (0)
-#define local_irq_restore(x) do { typecheck(unsigned long,x); __asm__ __volatile__("pushl %0 ; popfl": /* no output */ :"g" (x):"memory", "cc&quo...
2007 Apr 18
0
[RFC, PATCH 13/24] i386 Vmi system header
...invd": : :"memory");
-
static inline unsigned long get_limit(unsigned long segment)
{
unsigned long __limit;
@@ -518,16 +459,7 @@ struct alt_instr {
#define set_wmb(var, value) do { var = value; wmb(); } while (0)
-/* interrupt control.. */
-#define local_save_flags(x) do { typecheck(unsigned long,x); __asm__ __volatile__("pushfl ; popl %0":"=g" (x): /* no input */); } while (0)
-#define local_irq_restore(x) do { typecheck(unsigned long,x); __asm__ __volatile__("pushl %0 ; popfl": /* no output */ :"g" (x):"memory", "cc&quo...
2013 Jan 05
0
[LLVMdev] ASan and UBSan Test Failures
...r :: Integer/sub-overflow.cpp
> UndefinedBehaviorSanitizer :: Integer/uadd-overflow.cpp
> UndefinedBehaviorSanitizer :: Integer/usub-overflow.cpp
> UndefinedBehaviorSanitizer :: Misc/bool.cpp
> UndefinedBehaviorSanitizer :: Misc/enum.cpp
> UndefinedBehaviorSanitizer :: TypeCheck/misaligned.cpp
> UndefinedBehaviorSanitizer :: TypeCheck/null.cpp
>
> Expected Passes : 10
> Expected Failures : 1
> Unexpected Failures: 11
These tests fail with the following assertion:
==40116== Sanitizer CHECK failed: /Users/meadori/Code/src/llvm/projects/compiler-rt...
2020 Aug 03
0
[PATCH v2 03/24] virtio: allow __virtioXX, __leXX in config space
...__virtio_pick_endian(x, __le16, __le32, __le64, \
+ __virtio_pick_endian(x, __u16, __u32, __u64, \
+ /* No other type allowed */ \
+ (void)0)))))
+
+#endif
+
+#define __virtio_native_type(structname, member) \
+ __virtio_native_typeof(((structname*)0)->member)
+
+#define __virtio_typecheck(structname, member, val) \
+ /* Must match the member's type, and be integer */ \
+ typecheck(__virtio_native_type(structname, member), (val))
+
+
/* Config space accessors. */
#define virtio_cread(vdev, structname, member, ptr) \
do { \
might_sleep(); \
/* Must match...