fill in missing bytcode table entries

Author: Daniel Kroening

jbmc/src/java_bytecode/bytecode_info.cpp

@@ -218,8 +218,63 @@ struct bytecode_infot const bytecode_info[]=
 { "goto_w",         0xc8, 'O', 0, 0, ' ' }, // [no change]; goes to another instruction at branchoffset (signed int constructed from unsigned bytes branchbyte1 << 24 + branchbyte2 << 16 + branchbyte3 << 8 + branchbyte4)  NOLINT(*)
 { "jsr_w",          0xc9, 'O', 0, 1, 'a' }, // → address; jump to subroutine at branchoffset (signed int constructed from unsigned bytes branchbyte1 << 24 + branchbyte2 << 16 + branchbyte3 << 8 + branchbyte4) and place the return address on the stack  NOLINT(*)
 { "breakpoint",     0xca, ' ', 0, 0, ' ' }, // ; reserved for breakpoints in Java debuggers; should not appear in any class file  NOLINT(*)
+{ nullptr,          0xcb, '\0',0, 0, '\0'}, // zero-initialized NOLINT (*)
+{ nullptr,          0xcc, '\0',0, 0, '\0'}, // zero-initialized NOLINT (*)
+{ nullptr,          0xcd, '\0',0, 0, '\0'}, // zero-initialized NOLINT (*)
+{ nullptr,          0xce, '\0',0, 0, '\0'}, // zero-initialized NOLINT (*)
+{ nullptr,          0xcf, '\0',0, 0, '\0'}, // zero-initialized NOLINT (*)
+{ nullptr,          0xd0, '\0',0, 0, '\0'}, // zero-initialized NOLINT (*)
+{ nullptr,          0xd1, '\0',0, 0, '\0'}, // zero-initialized NOLINT (*)
+{ nullptr,          0xd2, '\0',0, 0, '\0'}, // zero-initialized NOLINT (*)
+{ nullptr,          0xd3, '\0',0, 0, '\0'}, // zero-initialized NOLINT (*)
+{ nullptr,          0xd4, '\0',0, 0, '\0'}, // zero-initialized NOLINT (*)
+{ nullptr,          0xd5, '\0',0, 0, '\0'}, // zero-initialized NOLINT (*)
+{ nullptr,          0xd6, '\0',0, 0, '\0'}, // zero-initialized NOLINT (*)
+{ nullptr,          0xd7, '\0',0, 0, '\0'}, // zero-initialized NOLINT (*)
+{ nullptr,          0xd8, '\0',0, 0, '\0'}, // zero-initialized NOLINT (*)
+{ nullptr,          0xd9, '\0',0, 0, '\0'}, // zero-initialized NOLINT (*)
+{ nullptr,          0xda, '\0',0, 0, '\0'}, // zero-initialized NOLINT (*)
+{ nullptr,          0xdb, '\0',0, 0, '\0'}, // zero-initialized NOLINT (*)
+{ nullptr,          0xdc, '\0',0, 0, '\0'}, // zero-initialized NOLINT (*)
+{ nullptr,          0xdd, '\0',0, 0, '\0'}, // zero-initialized NOLINT (*)
+{ nullptr,          0xde, '\0',0, 0, '\0'}, // zero-initialized NOLINT (*)
+{ nullptr,          0xdf, '\0',0, 0, '\0'}, // zero-initialized NOLINT (*)
+{ nullptr,          0xe0, '\0',0, 0, '\0'}, // zero-initialized NOLINT (*)
+{ nullptr,          0xe1, '\0',0, 0, '\0'}, // zero-initialized NOLINT (*)
+{ nullptr,          0xe2, '\0',0, 0, '\0'}, // zero-initialized NOLINT (*)
+{ nullptr,          0xe3, '\0',0, 0, '\0'}, // zero-initialized NOLINT (*)
+{ nullptr,          0xe4, '\0',0, 0, '\0'}, // zero-initialized NOLINT (*)
+{ nullptr,          0xe5, '\0',0, 0, '\0'}, // zero-initialized NOLINT (*)
+{ nullptr,          0xe6, '\0',0, 0, '\0'}, // zero-initialized NOLINT (*)
+{ nullptr,          0xe7, '\0',0, 0, '\0'}, // zero-initialized NOLINT (*)
+{ nullptr,          0xe8, '\0',0, 0, '\0'}, // zero-initialized NOLINT (*)
+{ nullptr,          0xe9, '\0',0, 0, '\0'}, // zero-initialized NOLINT (*)
+{ nullptr,          0xea, '\0',0, 0, '\0'}, // zero-initialized NOLINT (*)
+{ nullptr,          0xeb, '\0',0, 0, '\0'}, // zero-initialized NOLINT (*)
+{ nullptr,          0xec, '\0',0, 0, '\0'}, // zero-initialized NOLINT (*)
+{ nullptr,          0xed, '\0',0, 0, '\0'}, // zero-initialized NOLINT (*)
+{ nullptr,          0xee, '\0',0, 0, '\0'}, // zero-initialized NOLINT (*)
+{ nullptr,          0xef, '\0',0, 0, '\0'}, // zero-initialized NOLINT (*)
+{ nullptr,          0xf0, '\0',0, 0, '\0'}, // zero-initialized NOLINT (*)
+{ nullptr,          0xf1, '\0',0, 0, '\0'}, // zero-initialized NOLINT (*)
+{ nullptr,          0xf2, '\0',0, 0, '\0'}, // zero-initialized NOLINT (*)
+{ nullptr,          0xf3, '\0',0, 0, '\0'}, // zero-initialized NOLINT (*)
+{ nullptr,          0xf4, '\0',0, 0, '\0'}, // zero-initialized NOLINT (*)
+{ nullptr,          0xf5, '\0',0, 0, '\0'}, // zero-initialized NOLINT (*)
+{ nullptr,          0xf6, '\0',0, 0, '\0'}, // zero-initialized NOLINT (*)
+{ nullptr,          0xf7, '\0',0, 0, '\0'}, // zero-initialized NOLINT (*)
+{ nullptr,          0xf8, '\0',0, 0, '\0'}, // zero-initialized NOLINT (*)
+{ nullptr,          0xf9, '\0',0, 0, '\0'}, // zero-initialized NOLINT (*)
+{ nullptr,          0xfa, '\0',0, 0, '\0'}, // zero-initialized NOLINT (*)
+{ nullptr,          0xfb, '\0',0, 0, '\0'}, // zero-initialized NOLINT (*)
+{ nullptr,          0xfc, '\0',0, 0, '\0'}, // zero-initialized NOLINT (*)
+{ nullptr,          0xfd, '\0',0, 0, '\0'}, // zero-initialized NOLINT (*)
 { "impdep1",        0xfe, ' ', 0, 0, ' ' }, // ; reserved for implementation-dependent operations within debuggers; should not appear in any class file  NOLINT(*)
 { "impdep2",        0xff, ' ', 0, 0, ' ' }, // ; reserved for implementation-dependent operations within debuggers; should not appear in any class file  NOLINT(*)
 { nullptr,          0x00, '\0',0, 0, '\0'}, // zero-initialized NOLINT (*)
 };
 // clang-format on
+
+static_assert(
+  sizeof(bytecode_info) == sizeof(bytecode_infot) * 257,
+  "bytecode table has right size");