Fixed CI

.github/workflows/build.yml

@@ -62,7 +62,7 @@ jobs:
           wget -q https://github.com/postgres/postgres/archive/refs/tags/REL_14_5.tar.gz
           tar xf REL_14_5.tar.gz
       - run: make prove_installcheck PROVE_FLAGS="-I ./postgres-REL_14_5/src/test/perl" PERL5LIB="/Users/runner/perl5/lib/perl5"
-      - run: make clean && /usr/local/opt/llvm@15/bin/scan-build --status-bugs make
+      - run: make clean && /usr/local/opt/llvm@15/bin/scan-build --status-bugs make PG_CFLAGS="-DUSE_ASSERT_CHECKING"
   windows:
     runs-on: windows-latest
     if: ${{ !startsWith(github.ref_name, 'mac') }}

src/hnswbuild.c

@@ -412,6 +412,9 @@ HnswUpdateNeighborPagesInMemory(char *base, FmgrInfo *procinfo, Oid collation, H
 			HnswCandidate *hc = &neighbors->items[i];
 			HnswElement neighborElement = HnswPtrAccess(base, hc->element);
 
+			/* Keep scan-build happy on Mac x86-64 */
+			Assert(neighborElement);
+
 			/* Use element for lock instead of hc since hc can be replaced */
 			SpinLockAcquire(&neighborElement->lock);
 			HnswUpdateConnection(base, e, hc, lm, lc, NULL, NULL, procinfo, collation);