File: disallow_void_deref.cpp

package info (click to toggle)
llvm-toolchain-16 1%3A16.0.6-15~deb12u1
  • links: PTS, VCS
  • area: main
  • in suites: bookworm
  • size: 1,634,792 kB
  • sloc: cpp: 6,179,261; ansic: 1,216,205; asm: 741,319; python: 196,614; objc: 75,325; f90: 49,640; lisp: 32,396; pascal: 12,286; sh: 9,394; perl: 7,442; ml: 5,494; awk: 3,523; makefile: 2,723; javascript: 1,206; xml: 886; fortran: 581; cs: 573
file content (16 lines) | stat: -rw-r--r-- 622 bytes parent folder | download | duplicates (2) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
 
// RUN: %clang_cc1 -fsyntax-only -verify=enabled,sfinae -std=c++20 %s
// RUN: %clang_cc1 -fsyntax-only -verify=sfinae -std=c++20 -Wno-void-ptr-dereference %s

void f(void* p) {
  (void)*p; // enabled-error{{ISO C++ does not allow indirection on operand of type 'void *'}}
}

template<class T>
concept deref = requires (T& t) {
      { *t }; // #FAILED_REQ
};

static_assert(deref<void*>);
// sfinae-error@-1{{static assertion failed}}
// sfinae-note@-2{{because 'void *' does not satisfy 'deref'}}
// sfinae-note@#FAILED_REQ{{because '*t' would be invalid: ISO C++ does not allow indirection on operand of type 'void *'}}