https://aka.ms/cppcon ## Agenda • Intro to path-sensitive static analysis • Path-sensitive checks in MSVC • A look under the hood • Upcoming features • Lessons learned ![Image](/uploads/documents/7/2/ Program Verification in Polynomial Time Path-Sensitive Dataflow Analysis with Iterative Refinement ## MSVC has both ## Path-sensitive • Use after move • Concurrency checks • Variant clear • Enum Index are actively looking into ways to make analysis more precise • There are a large set of checks in MSVC • Making intent explicit can help analysis, improve readability ## Enjoy the rest of the conference

} ## Or like that? x as Type; ## Available now! If you have C++20 compiler (GCC 10+, Clang 12+, MSVC 16.30+) ## FILIP SAJDAK Head of Engineering I am helping teams build HMI for premium cars SIILI AUTO Subsumption rules are not easy to grasp at first – CE gives fast feedbacks ## x is Type g++-10 Clang-12 MSVC v19.29 template constexpr auto is( X const& ) -> bool { } ## x is Type g++-10 Clang-12 MSVC v19.29 template< typename C, typename X> constexpr auto is( X const& ) -> std::false_type

(AMD64) Microsoft ABI x64 calling convention x64 msvc v19.40 VS17.10 -02 /std:c++20 x86 (IA-32) Microsoft ABI calling conventions x86 msvc v19.40 VS17.10 -02 /std:c++20 ## Things are complicated operator delete(void*) add rsp, 16 mov eax, ebx pop rbx ret mov rbx, rax jmp .L5 #### x64 msvc v19.40 VS17.10 push rbx sub rsp, 32 lea rcx, QWORD PTR ptr[rsp] call value_ptr() mov rcx, QWORD call operator delete(void*) add rsp, 16 mov eax, ebx pop rbx ret mov rbx, rax jmp .15 #### x64 msvc v19.40 VS17.10 ## Stack unwinding on exception push rbx sub rsp, 32 lea rcx, QWORD PTR ptr[$rsp]

the creation of the C++ Standards Our agenda today 2. by investing in the Microsoft Visual C++ (MSVC) Compiler & Libraries 3. by simplifying acquisition in C++ via vcpkg 4. by improving the Visual Visual Studio versions (e.g. 2019, 2017) Step #2: Compile your code (with the same compiler as today) MSVC 2015, 2017 and 2019 toolsets are available directly from Visual Studio 2022 Step #3: Compile your minor releases of the MSVC toolset at your own pace ? Side-by-side minor Visual Studio 2022 toolsets (14.30, 14.31, etc.) Porting and Upgrading Guide: https://aka.ms/cpp/upgrade ☐ MSVC v141 - VS 2017 C++

string_view(string("")); else pretty = string_view(string(thing)); C26815, C26816 in MSVC, -Wdangling-gsl in Clang, -Wdangling-reference in GCC ## C26815 & C26816, -Wdangling-gsl jpg) ## Lifetimebound annotation (P0936) struct X { int a, b; }; const int& f(const X& x [[msvc::lifetimebound]]) { return x.b; } const int& r = f(X()); // warn  ## Lifetimebound annotation (P0936) struct X { int a, b; }; const int& f(const X& x [[msvc::lifetimebound]]) { return x.b; } ![Image](/uploads/documents/9/d/0/5/9d05b80becbd0a2aac297caf075ed3c2/p73_1

... 30 Supporting legacy applications and drivers ..... 30 Special Topics ..... 31 Managing MSVC8 Assemblies ..... 31 Known Windows Issues ..... 32 4. Installing on POSIX Platforms ..... 34 ##### V. 2.1.2 Installation Improvements The Firebird 2.1 series are built using the Microsoft MSVC8 compiler. Microsoft introduced new rules for distributing the runtimes associated with this compiler Service Pack 1, you need(ed) to download and install the .msi Installer software and then install the MSVC8 redistributable pack. ## ATTENTION! Firebird binaries are built against the original version of

endif() ### project：初始化项目信息，并把当前 CMakeLists.txt 所在位置作为根目录 这里初始化了一个名称为 hellomake 的项目，为什么需要项目名？ 对于 MSVC，他会在 build 里生成 hellomake.sln 作为“IDE 眼中的项目”。 CMakeLists.txt 1 cmake_minimum_required(VERSION 3.15) 就会是子模块的源码目录而不是外层了。这时候 CMake 会认为这个子模块是个独立的项目，会额外做一些初始化。他的构建目录 PROJECT_BINARY_DIR 也会变成 build/<源码相对路径>。这样在 MSVC 上也会看见 build/mylib/mylib.vcxproj 的生成。 PROJECT_NAME: hellocmake PROJECT_SOURCE_DIR: /home/bate/Co CMAKE_CXX_extensions 也是 BOOL 类型，默认为 ON。设为 ON 表示启用 GCC 特有的一些扩展功能；OFF 则关闭 GCC 的扩展功能，只使用标准的 C++。 - 要兼容其他编译器（如 MSVC）的项目，都会设为 OFF 防止不小心用了 GCC 才有的特性。 - 此外，最好是在 project 指令前设置 CMAKE_CXX_STANDARD 这一系列变量，这样 CMake 可以在 project

C++20's Calendars and Time Zones in MSVC ## MIYA NATSUHARA 20 21 October 24-29 # C++20's Calendars and Time Zones in MSVC # Miya Natsuhara ("MEE-yuh Not-soo-HAR-uh") Part III: Clocks • Part IV: Leap Seconds • What are leap seconds? • How did we implement them in MSVC? • Part V: Time Zones • Overview of [time.zone] • IANA database challenges • Part VI: Conclusion Part IV: Leap Seconds (sorry for the detour) The leap second story in MSVC... It's complicated. ## The leap second story in MSVC • Previously, the Windows operating system did not keep track of leap

matter - Potential for improved build times (more on this later) ## Why use modules (cont'd) ## MSVC Compilation Funtimes PUBLISHED BY WIREPAIR ON AUGUST 2, 2023 #define NOMINMAX #include msvc|/reference fmt=/path/to/fmt.ifc| |clang|-fprebuilt-module-path=/path/to/folder-fmodule-file=fmt=/path/to/fmt Module interface unit fmt.o Other file extensions: .ixx (msvc) .cppm (clang) BMI file extensions: .pcm (clang) .gcm (gcc) .ifc (msvc) libfmt.a ## Module interface unit export module fmt; export

assumption that if the compiler is msvc the # CMake generator is multi-config multi = True if self.settings.get_safe("compiler") == "msvc" else False if multi: Release/Debug). In this case we added a simple logic to consider multi-config if the compiler name is msvc. Check that running the same commands as in the previous examples without the -output-folder argument Release\example pkg/0.1: Hello World Release! pkg/0.1: _M_X64 defined pkg/0.1: MSVC runtime: MultiThreadedDLL pkg/0.1: _MSC_VER1939 pkg/0.1: _MSVC_LANG201402 pkg/0.1: __cplusplus199711 pkg/0.1 test_package ## I mportant