aboutsummaryrefslogtreecommitdiff
path: root/test/Verifier/writeonly.ll
blob: 0eeaebbc3a88957ff41d4564045d1c68e6a06724 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
; RUN: not llvm-as %s -o /dev/null 2>&1 | FileCheck %s

declare void @a() readnone writeonly
; CHECK: Attributes {{.*}} are incompatible

declare void @b() readonly writeonly
; CHECK: Attributes {{.*}} are incompatible

declare void @c(i32* readnone writeonly %p)
; CHECK: Attributes {{.*}} are incompatible

declare void @d(i32* readonly writeonly %p)
; CHECK: Attributes {{.*}} are incompatible