github.com/wasilibs/wazerox@v0.0.0-20240124024944-4923be63ab5f/internal/integration_test/engine/testdata/overflow.wat (about)

     1  (module
     2      (global $i32g i32 (i32.const -2147483648)) ;; min of 32-bit signed integer
     3      (global $i64g i64 (i64.const -9223372036854775808)) ;; min of 64-bit signed integer
     4      (func $i32 (export "i32") (result i32)
     5          i32.const 2147483647 ;; max of 32-bit signed integer
     6          i32.const 1
     7          i32.add
     8          global.get $i32g
     9          i32.eq
    10      )
    11      (func $i64 (export "i64") (result i32)
    12          i64.const 9223372036854775807  ;; max of 64-bit signed integer
    13          i64.const 1
    14          i64.add
    15          global.get $i64g
    16          i64.eq
    17      )
    18  )