def BpfError.show

bend-osdev-bpf@0.1.0.0 · insn.bend:449

import Base

449def BpfError.show(e: BpfError) -> String:
450  match e:
451    case BpfErrBadCode{pc, code}:
452      "bad opcode " ++ U32.show(code) ++ " at " ++ Nat.show(pc)
453    case BpfErrTruncated{len}:
454      "truncated program of " ++ Nat.show(len) ++ " bytes"
455    case BpfErrStoredTooLong{max}:
456      "stored program over " ++ Nat.show(max) ++ " bytes"
457    case BpfErrEmpty{}:
458      "empty program"
459    case BpfErrTooLong{len}:
460      "program too long: " ++ Nat.show(len)
461    case BpfErrJump{pc}:
462      "jump out of range at " ++ Nat.show(pc)
463    case BpfErrJumpField{pc}:
464      "jump offset over 255 at " ++ Nat.show(pc)
465    case BpfErrNoReturn{pc}:
466      "no return after " ++ Nat.show(pc)
467    case BpfErrScratch{pc}:
468      "scratch index out of range at " ++ Nat.show(pc)
469    case BpfErrDivZero{pc}:
470      "division by constant zero at " ++ Nat.show(pc)
471    case BpfErrMemInit{pc}:
472      "scratch read before write at " ++ Nat.show(pc)
473    case BpfErrSeccompLoad{pc}:
474      "load not allowed in seccomp at " ++ Nat.show(pc)
475    case BpfErrSeccompInsn{pc}:
476      "instruction not allowed in seccomp at " ++ Nat.show(pc)
477    case BpfErrPathTooLong{total}:
478      "seccomp filters too long: " ++ Nat.show(total)
479    case BpfErrFellOff{}:
480      "ran past the end"
481    case BpfErrBadScratch{k}:
482      "scratch index " ++ U32.show(k)