// This file contains various failure test cases related to the structure of
// the string section.

//===--------------------------------------------------------------------===//
// Count
//===--------------------------------------------------------------------===//

// RUN: not mlir-opt %S/invalid-string_section-count.mlirbc 2>&1 | FileCheck %s --check-prefix=COUNT
// COUNT: attempting to parse a byte at the end of the bytecode

//===--------------------------------------------------------------------===//
// Invalid String
//===--------------------------------------------------------------------===//

// RUN: not mlir-opt %S/invalid-string_section-no_string.mlirbc 2>&1 | FileCheck %s --check-prefix=NO_STRING
// NO_STRING: attempting to parse a byte at the end of the bytecode

// RUN: not mlir-opt %S/invalid-string_section-large_string.mlirbc 2>&1 | FileCheck %s --check-prefix=LARGE_STRING
// LARGE_STRING: string size exceeds the available data size

//===--------------------------------------------------------------------===//
// Trailing data
//===--------------------------------------------------------------------===//

// RUN: not mlir-opt %S/invalid-string_section-trailing_data.mlirbc 2>&1 | FileCheck %s --check-prefix=TRAILING_DATA
// TRAILING_DATA: unexpected trailing data between the offsets for strings and their data