Invalid record size with clang 14.0.0

[ramsdell]

I know 14.0 is not supported yet, but here is some more info to debug problems.

% saw --version
saw --version
0.9.0.99 (727fccb4)
% cc --version
Apple clang version 14.0.0 (clang-1400.0.29.202)
Target: x86_64-apple-darwin21.6.0
Thread model: posix
InstalledDir: /Library/Developer/CommandLineTools/usr/bin
% cat gf16.c
#include <stdint.h>

// gf4 := gf2[x]/x^2+x+1
uint8_t gf4_mul_2(uint8_t a) {
  uint8_t r = a << 1;
  r ^= (a >> 1) * 7;
  return r;
}
% cat gf16.saw 
m <- llvm_load_module "gf16.bc";
% make
clang -g -c -emit-llvm -o gf16.bc gf16.c
saw gf16.saw



[20:04:46.119] Loading file "/Users/ramsdell/rep/nsapq/src/tmp/gf16.saw"
[20:04:46.123] Stack trace:
"llvm_load_module" (/Users/ramsdell/rep/nsapq/src/tmp/gf16.saw:1:6-1:22)
Invalid record size: 15
Expected size between 12 and 13
Are you sure you're using a supported version of LLVM/Clang?
Check here: https://github.com/GaloisInc/llvm-pretty-bc-parser

from:
	METADATA_DERIVED_TYPE
	METADATA_BLOCK
	@gf4_mul_2
	FUNCTION_BLOCK
	FUNCTION_BLOCK_ID
	value symbol table
	MODULE_BLOCK
	Bitstream


make: *** [all] Error 2
% 

[RyanGlScott]

I suspect that this is a symptom of #188.