From 8bec3911ad478b6fef8df96e4dc89f8080229133 Mon Sep 17 00:00:00 2001 From: Dmitry Vyukov Date: Tue, 17 Mar 2020 08:05:11 +0100 Subject: pkg/compiler: add tests for generation phase Add errors3.txt with tests for errors that are produced during generation phase. Refactor tests to reduce duplication. Tidy struct/union size errors: better locations and make testable. --- pkg/compiler/testdata/errors3.txt | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) create mode 100644 pkg/compiler/testdata/errors3.txt (limited to 'pkg/compiler/testdata/errors3.txt') diff --git a/pkg/compiler/testdata/errors3.txt b/pkg/compiler/testdata/errors3.txt new file mode 100644 index 000000000..65bd20092 --- /dev/null +++ b/pkg/compiler/testdata/errors3.txt @@ -0,0 +1,20 @@ +# Copyright 2020 syzkaller project authors. All rights reserved. +# Use of this source code is governed by Apache 2 LICENSE that can be found in the LICENSE file. + +# Errors that happen during description generation phase. + +discrimination(a int32) +discrimination$1(a int16) ### discrimination$1 arg a is redeclared with size 2, previously declared with size 4 at LOCATION + +bad_size_attr_struct { + a int64 +} [size[4]] ### struct bad_size_attr_struct has size attribute 4 which is less than struct size 8 + +bad_size_attr_union [ + a int8 + b int16 + c int32 ### union bad_size_attr_union has size attribute 2 which is less than field int32 size 4 + d int64 ### union bad_size_attr_union has size attribute 2 which is less than field int64 size 8 +] [size[2]] + +bad_size_call(a ptr[in, bad_size_attr_struct], b ptr[in, bad_size_attr_union]) -- cgit mrf-deployment