bazel: address PR feedback on sanitizers and debug docs

Author: napetrov

.bazelrc

@@ -165,7 +165,8 @@ common:dbg-symbols \
 common:asan \
     --copt=-fsanitize=address \
     --copt=-fno-omit-frame-pointer \
-    --linkopt=-fsanitize=address
+    --linkopt=-fsanitize=address \
+    --config=dbg-symbols
 
 # Configuration: 'asan-static'
 # AddressSanitizer with static libasan linkage.
@@ -174,7 +175,8 @@ common:asan-static \
     --copt=-fsanitize=address \
     --copt=-fno-omit-frame-pointer \
     --linkopt=-fsanitize=address \
-    --linkopt=-static-libasan
+    --linkopt=-static-libasan \
+    --config=dbg-symbols
 
 
 # Configuration: 'tsan'
@@ -184,7 +186,8 @@ common:asan-static \
 common:tsan \
     --copt=-fsanitize=thread \
     --copt=-fno-omit-frame-pointer \
-    --linkopt=-fsanitize=thread
+    --linkopt=-fsanitize=thread \
+    --config=dbg-symbols
 
 
 # Configuration: 'ubsan'
@@ -194,7 +197,8 @@ common:tsan \
 common:ubsan \
     --copt=-fsanitize=undefined \
     --copt=-fno-omit-frame-pointer \
-    --linkopt=-fsanitize=undefined
+    --linkopt=-fsanitize=undefined \
+    --config=dbg-symbols
 
 
 # =============================================================================
@@ -206,3 +210,21 @@ common:ubsan \
 # Or persist in user-local ~/.bazelrc:
 #   build --copt=-your-flag
 # =============================================================================
+
+# Configuration: 'msan'
+# MemorySanitizer build.
+# Note: Requires Clang or ICPX. GCC does not support MSan.
+#   bazel test //cpp/oneapi/dal:tests --config=msan
+common:msan \
+    --copt=-fsanitize=memory \
+    --copt=-fno-omit-frame-pointer \
+    --linkopt=-fsanitize=memory \
+    --config=dbg-symbols
+
+# Configuration: 'type'
+# Type sanitizer build.
+common:type \
+    --copt=-fsanitize=type \
+    --copt=-fno-omit-frame-pointer \
+    --linkopt=-fsanitize=type \
+    --config=dbg-symbols

dev/bazel/README.md

@@ -400,7 +400,7 @@ bazel build //:release --config=dbg-symbols
 
 ### AddressSanitizer (ASan)
 
-Equivalent to Make `REQSAN=address`. Recommended to combine with `--config=dbg`:
+Equivalent to Make `REQSAN=address`. Sanitizers do not automatically enable assertions or unoptimized debug builds. It is highly recommended to combine them with `--config=dbg` (for full debug + assertions) or `--enable_assert=True`:
 
 ```sh
 bazel test //cpp/oneapi/dal:tests --config=asan --config=dbg
@@ -428,13 +428,20 @@ Equivalent to Make `REQSAN=undefined`:
 bazel test //cpp/oneapi/dal:tests --config=ubsan
 ```
 
-> Note: Not all compilers support all sanitizers. There is currently no
-> `--config=msan` preset. To use MemorySanitizer, use a compiler that supports
-> it (icpx or clang) and pass flags manually:
-> ```sh
-> bazel test //cpp/oneapi/dal:tests --copt=-fsanitize=memory --linkopt=-fsanitize=memory
-> ```
-> GCC does not support MemorySanitizer and will fail by design.
+### MemorySanitizer (MSan)
+
+Requires Clang or ICPX. GCC does not support MSan.
+
+```sh
+bazel test //cpp/oneapi/dal:tests --config=msan
+```
+
+### Type Sanitizer
+
+```sh
+bazel test //cpp/oneapi/dal:tests --config=type
+```
+
 
 ---
 
@@ -463,6 +470,16 @@ bazel build //:release --config=release-dpc
 
 ---
 
+### Standard Library Assertions
+
+To enable C++ standard library assertions (e.g., `std::vector` bounds checking), inject the preprocessor macro via `--copt`:
+
+```sh
+bazel test //cpp/oneapi/dal:tests --config=dbg --copt=-D_GLIBCXX_DEBUG
+```
+
+---
+
 ## Custom Compiler and Linker Flags
 
 Equivalent to Make `COPT` / `CXXFLAGS`. Pass via `--copt` and `--linkopt`:
@@ -498,6 +515,8 @@ build --linkopt=-your-link-flag
 | `REQSAN=static` | `--config=asan-static` | ASan with static libasan |
 | `REQSAN=thread` | `--config=tsan` | ThreadSanitizer |
 | `REQSAN=undefined` | `--config=ubsan` | UBSan |
+| | `--config=msan` | MemorySanitizer (Clang/ICPX only) |
+| | `--config=type` | Type Sanitizer |
 | `COMPILER=gnu` | `CC=gcc bazel build ...` | Override compiler via `CC` env |
 | `OPTFLAG=O2` | `--copt=-O2` | Override optimization level |
 | `COPT=-flag` | `--copt=-flag` | Arbitrary compiler flag |