bms_prev_member() and test-bitmapset

.clang-format

@@ -0,0 +1,71 @@
+# the official .clang-format style for https://github.com/taocpp
+#
+# clang-format-4.0 -i -style=file $(find -name '[^.]*.[hc]pp')
+
+Language: Cpp
+Standard: Cpp11
+
+AccessModifierOffset: -3
+AlignAfterOpenBracket: Align
+AlignConsecutiveAssignments: false
+AlignConsecutiveDeclarations: false
+AlignEscapedNewlinesLeft: false
+AlignOperands: true
+AlignTrailingComments: true
+AllowAllParametersOfDeclarationOnNextLine: true
+AllowShortBlocksOnASingleLine: false
+AllowShortCaseLabelsOnASingleLine: false
+AllowShortFunctionsOnASingleLine: Empty
+AllowShortIfStatementsOnASingleLine: false
+AllowShortLoopsOnASingleLine: false
+AlwaysBreakAfterReturnType: None
+AlwaysBreakBeforeMultilineStrings: false
+AlwaysBreakTemplateDeclarations: true
+BinPackArguments: false
+BinPackParameters: false
+BraceWrapping:
+    AfterClass: true
+    AfterControlStatement: false
+    AfterEnum : true
+    AfterFunction : true
+    AfterNamespace : true
+    AfterStruct : true
+    AfterUnion : true
+    BeforeCatch : true
+    BeforeElse : true
+    IndentBraces : false
+BreakBeforeBinaryOperators: All
+BreakBeforeBraces: Custom
+BreakBeforeTernaryOperators: false
+BreakStringLiterals: false
+BreakConstructorInitializersBeforeComma: false
+ColumnLimit: 0
+ConstructorInitializerAllOnOneLineOrOnePerLine: true
+ConstructorInitializerIndentWidth: 3
+ContinuationIndentWidth: 3
+Cpp11BracedListStyle: false
+DerivePointerAlignment: false
+DisableFormat: false
+ExperimentalAutoDetectBinPacking: false
+IndentCaseLabels: true
+IndentWidth: 3
+IndentWrappedFunctionNames: false
+KeepEmptyLinesAtTheStartOfBlocks: true
+MaxEmptyLinesToKeep: 1
+NamespaceIndentation: All
+PointerAlignment: Left
+ReflowComments: false
+SortIncludes: true
+SpaceAfterCStyleCast: false
+SpaceAfterTemplateKeyword: false
+SpaceBeforeAssignmentOperators: true
+SpaceBeforeParens: Never
+SpaceInEmptyParentheses: false
+SpacesBeforeTrailingComments: 2
+SpacesInAngles: true
+SpacesInCStyleCastParentheses: false
+SpacesInContainerLiterals: true
+SpacesInParentheses: true
+SpacesInSquareBrackets: true
+TabWidth: 8
+UseTab: Never

.clangd

@@ -0,0 +1,3 @@
+CompileFlags:
+  CompilationDatabase: build/       # Search build/ directory for compile_commands.json
+  Remove: -Werror

.envrc

@@ -0,0 +1,18 @@
+# Bootstrap nix-direnv (ensures specific version, robust)
+if ! has nix_direnv_version || ! nix_direnv_version 3.0.4; then
+        source_url "https://raw.githubusercontent.com/nix-community/nix-direnv/3.0.4/direnvrc" "sha256-DzlYZ33mWF/Gs8DDeyjr8mnVmQGx7ASYqA5WlxwvBG4="
+fi
+
+# Watch flake.nix for changes to reload the environment
+watch_file flake.nix
+
+# Use the Nix flake to provide the development environment
+use flake
+
+# Set consistent locale for development environment
+#export LANGUAGE=C.utf8
+#export LANG=C.utf8
+#export LC_ALL=C.utf8
+
+# IKOS-specific environment variable (keep if needed for your IKOS workflow)
+export IKOS_SCAN_NOTIFIER_FILES=""

.gitignore

@@ -43,3 +43,11 @@ lib*.pc
 /Release/
 /tmp_install/
 /portlock/
+
+build/
+install/
+test-db/
+.direnv/
+.cache/
+.history
+

.history

@@ -0,0 +1,39 @@
+nix develop
+pg-build
+pg-indent-changed-files 
+pg-build
+pg-indent-changed-files 
+pg-build
+pg-indent-changed-files 
+vi src/backend/nodes/bitmapset.c 
+rg pg_popcount
+pg-indent-changed-files 
+fg
+cd ws/postgresql/
+nix develop
+cd ws/postgresql/
+git st
+nix develop
+git switch -c sparsemap
+vi ../pg-patch-sets/v5-0001-dev-setup.patch 
+git am --keep-cr ../pg-patch-sets/v5-0001-dev-setup.patch 
+nix develop
+git co master
+git st
+git co .history
+git co master
+git pull
+git switch rm-freelist
+git rebase origin/master
+git branch
+git co pg-heap-hot-updates-patch-v17 
+git rebase origin/master
+git branch -m pg-heap-hot-updates-patch-v17 heap-hot-updates
+git co heap-hot-updates 
+tig
+git rebase origin/master
+ls
+git switch rm-freelist
+clion
+cd ws/postgresql/
+nix develop

.vscode/launch.json

@@ -0,0 +1,22 @@
+{
+    // Use IntelliSense to learn about possible attributes.
+    // Hover to view descriptions of existing attributes.
+    // For more information, visit: https://go.microsoft.com/fwlink/?linkid=830387
+    "version": "0.2.0",
+    "configurations": [
+        {
+            "name": "(gdb) Attach Postgres",
+            "type": "cppdbg",
+            "request": "attach",
+            "program": "${workspaceRoot}/install/bin/postgres",
+            "MIMode": "gdb",
+            "setupCommands": [
+                {
+                    "description": "Enable pretty-printing for gdb",
+                    "text": "-enable-pretty-printing",
+                    "ignoreFailures": true
+                }
+            ],
+        }
+    ]
+}

.vscode/settings.json

@@ -0,0 +1,5 @@
+{
+    "files.associations": {
+        "syscache.h": "c"
+    }
+}

flake.nix

@@ -0,0 +1,33 @@
+{
+  description = "PostgreSQL development environment";
+
+  inputs = {
+    nixpkgs.url = "github:NixOS/nixpkgs/nixos-25.05";
+    flake-utils.url = "github:numtide/flake-utils";
+  };
+
+  outputs = { self, nixpkgs, flake-utils }:
+    flake-utils.lib.eachDefaultSystem (system:
+      let
+        pkgs = import nixpkgs {
+          inherit system;
+          config.allowUnfree = true;
+        };
+
+        shellConfig = import ./shell.nix { inherit pkgs system; };
+
+      in {
+        devShells = {
+          default = shellConfig.devShell;
+          gcc = shellConfig.devShell;
+          clang = shellConfig.clangDevShell;
+          gcc-musl = shellConfig.muslDevShell;
+          clang-musl = shellConfig.clangMuslDevShell;
+        };
+
+        packages = {
+          inherit (shellConfig) gdbConfig flameGraphScript pgbenchScript;
+        };
+      }
+    );
+}