| # RUN: yaml2obj %s | not llvm-objdump -s - 2>&1 | FileCheck %s |
| |
| # Check that data symbols must have and offset that is within the |
| # bounds of the containing segment |
| |
| # CHECK: invalid data symbol offset: `foo` (offset: 42 segment size: 5) |
| |
| --- !WASM |
| FileHeader: |
| Version: 0x00000001 |
| Sections: |
| - Type: DATA |
| Segments: |
| - SectionOffset: 0 |
| InitFlags: 0 |
| Offset: |
| Opcode: I32_CONST |
| Value: 0 |
| Content: '6401020304' |
| - Type: CUSTOM |
| Name: linking |
| Version: 2 |
| SymbolTable: |
| - Index: 0 |
| Kind: DATA |
| Name: foo |
| Flags: [ ] |
| Segment: 0 |
| Offset: 42 |
| Size: 1 |
| ... |