Merge pull request #70 from steve-downey/normalize

R7 and 8 of the paper and fixes to optional after wording and LEWG reviews.

.github/workflows/ci.yml

@@ -1,5 +1,6 @@
 name: CI Tests
 on:
+  workflow_dispatch:
   push:
     branches: [main]
   pull_request:

.github/workflows/pre-commit.yml

@@ -1,6 +1,7 @@
 name: pre-commit
 
 on:
+  workflow_dispatch:
   pull_request:
   push:
     branches: [main]

Makefile

@@ -59,6 +59,7 @@ $(_build_path)/CMakeCache.txt: | $(_build_path) .gitmodules
 	-rm compile_commands.json
 	ln -s $(_build_path)/compile_commands.json
 
+TARGET:=all
 compile: $(_build_path)/CMakeCache.txt ## Compile the project
 	cmake --build $(_build_path)  --config $(CONFIG) --target all -- -k 0
 
@@ -91,6 +92,9 @@ env:
 papers:
 	$(MAKE) -C papers/P2988 papers
 
+.DEFAULT: $(_build_path)/CMakeCache.txt ## Other targets passed through to cmake
+	cmake --build $(_build_path)  --config $(CONFIG) --target $@ -- -k 0
+
 PYEXECPATH ?= $(shell which python3.12 || which python3.11 || which python3.10 || which python3.9 || which python3.8 || which python3.7 || which python3)
 PYTHON ?= $(shell basename $(PYEXECPATH))
 VENV := .venv
@@ -167,4 +171,4 @@ coverage: venv
 # Help target
 .PHONY: help
 help: ## Show this help.
-	@awk 'BEGIN {FS = ":.*?## "} /^[a-zA-Z_-]+:.*?## / {printf "\033[36m%-30s\033[0m %s\n", $$1, $$2}'  $(MAKEFILE_LIST) | sort
+	@awk 'BEGIN {FS = ":.*?## "} /^[.a-zA-Z_-]+:.*?## / {printf "\033[36m%-30s\033[0m %s\n", $$1, $$2}'  $(MAKEFILE_LIST) | sort

etc/clang-20-toolchain.cmake

@@ -0,0 +1,6 @@
+include_guard(GLOBAL)
+
+set(CMAKE_C_COMPILER clang-20)
+set(CMAKE_CXX_COMPILER clang++-20)
+
+include("${CMAKE_CURRENT_LIST_DIR}/clang-flags.cmake")

etc/gcc-14-toolchain.cmake

@@ -5,3 +5,10 @@ include("${CMAKE_CURRENT_LIST_DIR}/gcc-flags.cmake")
 set(CMAKE_C_COMPILER gcc-14)
 set(CMAKE_CXX_COMPILER g++-14)
 set(GCOV_EXECUTABLE "gcov-14" CACHE STRING "GCOV executable" FORCE)
+
+set(CMAKE_CXX_FLAGS_ASAN
+    "${CMAKE_CXX_FLAGS_ASAN} -Wno-maybe-uninitialized"
+    CACHE STRING
+    "C++ ASAN Flags"
+    FORCE
+)

etc/gcc-15-toolchain.cmake

@@ -4,3 +4,10 @@ include("${CMAKE_CURRENT_LIST_DIR}/gcc-flags.cmake")
 
 set(CMAKE_C_COMPILER gcc-15)
 set(CMAKE_CXX_COMPILER g++-15)
+
+set(CMAKE_CXX_FLAGS_ASAN
+    "${CMAKE_CXX_FLAGS_ASAN} -Wno-maybe-uninitialized"
+    CACHE STRING
+    "C++ ASAN Flags"
+    FORCE
+)

etc/gcc-flags.cmake

@@ -29,7 +29,7 @@ set(CMAKE_CXX_FLAGS_TSAN
     FORCE
 )
 set(CMAKE_CXX_FLAGS_ASAN
-    "-O3 -g -DNDEBUG -fsanitize=undefined"
+    "-O3 -g -DNDEBUG -fsanitize=address,undefined,leak"
     CACHE STRING
     "C++ ASAN Flags"
     FORCE