message: more bugs found in LLVM
diff: @@ -70,6 +70,8 @@ Please contact us or submit a PR if something is missing or inaccurate.
  63. NewGVN miscompiles with equal instructions modulo attributes (https://llvm.org/PR53218)
  64. InstCombine miscompiles combination of signed comparisons (https://llvm.org/PR53252)
  65. InstCombine propagates nsz flag from select to fneg incorrectly (https://llvm.org/PR54077)
  +66. LoadStoreVectorizer wrong logic for zext gep offsets (https://llvm.org/PR55651)
  +67. SLPVectorizer replaces add nsw undef with add poison (https://llvm.org/PR55653)
  ### Bugs found in Z3
  