| ; RUN: not llvm-as %s -o /dev/null 2>&1 | FileCheck %s | |
| ; | |
| ; We handle allocsize with identical args in the parser, rather than the | |
| ; verifier. So, a separate test is needed. | |
| ; CHECK: 'allocsize' indices can't refer to the same parameter | |
| declare ptr @a(i32, i32) allocsize(0, 0) |