wil headers are not code analysis clean

If I include wil in a project and run code analysis it should not flag issues in wil itself. But it does:

[...]\packages\Microsoft.Windows.ImplementationLibrary.1.0.230202.1\include\wil\stl.h(177): warning C6387: 'str' could be '0'. [...]\packages\Microsoft.Windows.ImplementationLibrary.1.0.230202.1\include\wil\result.h(388): warning C6001: Using uninitialized memory '*pNode'. [...]\packages\Microsoft.Windows.ImplementationLibrary.1.0.230202.1\include\wil\win32_helpers.h(464): warning C26451: Arithmetic overflow: Using operator '+' on a 4 byte value and then casting the result to a 8 byte value. Cast the value to the wider type before calling operator '+' to avoid overflow (io.2). [...]\packages\Microsoft.Windows.ImplementationLibrary.1.0.230202.1\include\wil\win32_helpers.h(474): warning C26451: Arithmetic overflow: Using operator '+' on a 4 byte value and then casting the result to a 8 byte value. Cast the value to the wider type before calling operator '+' to avoid overflow (io.2).

Start by reproducing the listed code-analysis warnings in include/wil/stl.h, include/wil/result.h, and include/wil/win32_helpers.h. Review the reported locations and verify that the warnings no longer appear when analyzing a project that includes WIL.