mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
Ivan Krysak
18 lines
538 B
MLIR
18 lines
538 B
MLIR
//
|
|
// This file is distributed under the MIT License. See LICENSE.md for details.
|
|
//
|
|
|
|
// RUN: not %revngpipe verify-against-model %S/model.yml %s /dev/null 2>&1 | FileCheck %s
|
|
|
|
!void = !clift.void
|
|
|
|
// CHECK: Unknown c-attribute ('_THIS_ONE_DOES_NOT_EXIST') found in '/type-definition/0-StructDefinition'
|
|
|
|
!s_0 = !clift.struct<"/type-definition/0-StructDefinition" : size(64) {}
|
|
[
|
|
#clift.c_attribute<"_THIS_ONE_DOES_NOT_EXIST" : "/macro/_THIS_ONE_DOES_NOT_EXIST">
|
|
]
|
|
>
|
|
|
|
module attributes { clift.module, clift.types = [ !s_0 ] } {}
|