GCC 16 Release Series: Changes, New Features, and Fixes

From the announcement:

• C++20 by default: [...] N.B. C++20 modules support is still experimental and must be enabled by -fmodules.

• Several C++26 features have been implemented:
  • P2996R13, Reflection (PR120775, enabled by -std=c++26 -freflection)
  • P3394R4, Annotations for Reflection
  • P3293R3, Splicing a base class subobject
  • P3096R12, Function Parameter Reflection
  • P3491R3, define_static_{string,object,array} (PR120783)
  • P3560R2, Error Handling in Reflection
  • P1306R5, Expansion statements (PR120776)
  • P2900R14, Contracts (PR119061)
  • P2795R5, Erroneous behavior for uninitialized reads (PR114457)
  • [...]

• Improved experimental C++20 modules support:
  • New command line option --compile-std-module that conveniently builds the <bits/stdc++.h> header unit and the std and std.compat modules before compiling any source files explicitly specified on the command line.
  • Whenever the <bits/stdc++.h> header unit has been built, GCC now transparently translates an #include of any importable standard library header into an import of <bits/stdc++.h>.
  • Many reported bugs have been fixed, thanks to Nathaniel Shead.
  • [...]

Runtime Library (libstdc++)

• [...]
• Improved experimental support for [...]
  • std::mdspan, thanks to Luc Grosheintz.
  • [...]
  • std::simd.
  • std::inplace_vector.
  • [...]

The annual global C++ developer survey is now open:

2026 Annual C++ Developer Survey "Lite"

Please share your feedback in this annual 10-minute survey to help inform C++ standardization and C++ tool vendors. This is the biggest opportunity we all have each year to make our voices heard and help improve our industry and community!

A summary of the results, including aggregated highlights of common answers in the write-in responses, will be posted publicly here on isocpp.org and shared with the C++ standardization committee participants and C++ tool vendors to help inform C++ evolution and tooling.

The survey closes in one week.

Thank you for participating and helping to inform our committee and community.

PVS-Studio 7.41: MISRA C 2023, enhanced Unreal Engine integration, new logging system, and much more

by Valerii Filatov

From the article:

Throughout the year, we have been working to cover more of the MISRA C 2023 standard. Currently, PVS-Studio analyzer covers 86% of the standard. You can find more information on this page. In future releases, we will continue to expand MISRA C++ 2023 standard coverage.

Templates and metaprogramming considered as the big bad wolf of C++, and it’s time to stop being scared of this wolf, as it’s one of the most powerful creatures of C++.

Talk: Who’s Afraid of the Big Bad Template

by Coral Kashri

From the description:

In this talk I’ve demonstrated the power of this incredible creature, while I hope that this talk would be an easy enterence to this concept (pan intended), and to help you developing the anticipation to walk into the cave of metaprogramming.

The talk was give on Core C++ 2025.

Templates and metaprogramming considered as the big bad wolf of C++, and it’s time to stop being scared of this wolf, as it’s one of the most powerful creatures of C++.

Talk: Who’s Afraid of the Big Bad Template

by Coral Kashri

From the description:

In this talk I’ve demonstrated the power of this incredible creature, while I hope that this talk would be an easy enterence to this concept (pan intended), and to help you developing the anticipation to walk into the cave of metaprogramming.

The talk was give on Core C++ 2025.

Qt Jenny 1.0 Released

by Rami Potinkara

From the article:

Have you heard about Jenny? No, I do not mean, the girl next door, nor the Spinning Jenny that started the industrial revolution in England in the 17th century. This one is a modern information age revolution, a code generator, a cuter Jenny. Got your eyebrows raised? Are you a Qt developer? Perhaps you are mastering cross-platform development with Qt and deploying apps to Google Play? Read more below!

PVS-Studio 7.40: support for Visual Studio 2026, Qt Creator 18, .NET 10, and more

by Gleb Aslamov

From the article:

The new release introduces support for the fresh Visual Studio 2026. We're glad to present PVS-Studio plugin for Qt Creator 18.x. The plugin lets you run static analysis, view warnings, and handle your code directly within your IDE. Unreal Engine 5.5 brings a new tool called Horde, a platform that enables users to leverage CPU cycles on other machines to accelerate workloads. We've updated the documentation section on working with Unreal Engine projects and included instructions for using the analyzer in the Unreal Build Accelerator distributed build system.

CLion 2025.3 Is Here, and It’s Epic: Faster Language Engine, Unique Constexpr Debugger, DAP Support, and Much More

by Oleg Zinovyev

From the article:

CLion 2025.3 represents one of our most ambitious releases yet. Beyond the extensive feature additions and workflow improvements, this version marks a fundamental shift in how we approach C and C++ language support – prioritizing speed and precision at every level.

The key release updates are as follows:

Faster performance with the CLion Nova language engine as the default.

Deeper insight into compile-time evaluations with the unique Constexpr Debugger.

Expanded debugger options with support for the Debug Adapter Protocol.

[...]

Planning the next Meeting C++ job fairs

by Jens Weller

From the article:

The next Meeting C++ online job fair is planned for October 14th & 15th, also I'd like to talk about the onsite job fair plans for Meeting C++ 2025!

If you have open positions you should advertise them in the bi-weekly Meeting C++ Jobs Newsletter, which now also powers the candidate listing of Meeting C++ with 80+ international candidates at the moment.

 

PVS-Studio 7.38: new C++ analyzer core, user annotations in Java, enhanced taint analysis, and more

by Aleksandra Uvarova

From the article:

The C and C++ analyzer got a new core with completely redesigned components like a parser, a semantic analyzer, and a type system. The new core provides more accurate handling of template constructs and better parsing of the standard library and code based on modern C++ standards. During the extended testing period (EAP), the new core demonstrated stable performance across a wide range of real-world projects.

CppDevSurvey-2025-summary.pdf

A 100-page version of this report that also includes all individual write-in responses has now been forwarded to the C++ standards committee and C++ product vendors, to help inform C++ evolution and tooling.

Your feedback is valuable, and appreciated.

CLion Is Now Free for Non-Commercial Use

by JetBrains

From the article:

"Whether you're a student, an Arduino experimenter, or someone who loves С and C++ with all your heart despite all the challenges these languages present, CLion is now available to you for free – as long as you're not using it for commercial work."

Clang 20.1.0 Release Notes - Clang 20.1.0 Documentation

From the release notes:

C++ Language Changes

• Allow single element access of GCC vector/ext_vector_type object to be constant expression. Supports the V.xyzw syntax and other tidbits as seen in OpenCL. Selecting multiple elements is left as a future work.
• Implement CWG1815. Support lifetime extension of temporary created by aggregate initialization using a default member initializer.
• Accept C++26 user-defined static_assert messages in C++11 as an extension.
• Add __builtin_elementwise_popcount builtin for integer types only.
• Add __builtin_elementwise_fmod builtin for floating point types only.
• Add __builtin_elementwise_minimum and __builtin_elementwise_maximum builtin for floating point types only.
• The builtin type alias __builtin_common_type has been added to improve the performance of std::common_type.

C++2c Feature Support

• Add __builtin_is_virtual_base_of intrinsic, which supports P2985R0 A type trait for detecting virtual base classes
• Implemented P2893R3 Variadic Friends
• Implemented P2747R2 constexpr placement new.
• Added the __builtin_is_within_lifetime builtin, which supports P2641R4 Checking if a union alternative is active
• Implemented P3176R1 The Oxford variadic comma

C++23 Feature Support

• Removed the restriction to literal types in constexpr functions in C++23 mode.
• Extend lifetime of temporaries in mem-default-init for P2718R0. Clang now fully supports P2718R0 Lifetime extension in range-based for loops.
• __cpp_explicit_this_parameter is now defined. (#82780)
• Add __builtin_is_implicit_lifetime intrinsic, which supports P2674R1 A trait for implicit lifetime types
• Add support for P2280R4 Using unknown pointers and references in constant expressions. (#63139)

C++20 Feature Support

• Implemented module level lookup for C++20 modules. (#90154)

Here are some highlights from the release notes' C++ section:

• Several C++26 features have been implemented:
  • P2558R2, Add @, $, and ` to the basic character set (PR110343)
  • P2552R3, On the ignorability of standard attributes (PR110345)
  • P2662R3, Pack indexing (PR113798)
  • P0609R3, Attributes for structured bindings (PR114456)
  • P2573R2, = delete("reason"); (PR114458)
  • P2893R3, Variadic friends (PR114459)
  • P3034R1, Disallow module declarations to be macros (PR114461)
  • P2747R2, constexpr placement new (PR115744)
  • P0963R3, Structured binding declaration as a condition (PR115745)
  • P3144R2, Deleting a pointer to an incomplete type should be ill-formed (PR115747)
  • P3176R0, Oxford variadic comma (PR117786)
  • P2865R5, Removing deprecated array comparisons (PR117788)
  • P1967R14, #embed (PR119065)
  • P3247R2, Deprecating the notion of trivial types (PR117787)

• C++ Modules have been greatly improved.

• Compilation time speed ups, e.g. by improving hashing of template specializations.

... and more, see the release notes.

Looking for Employers for the C++ Job Fair and the C++ Jobs Newsletter

by Jens Weller

From the article:

Meeting C++ launches a new jobs newsletter! Share your open positions!

The jobs newsletter already has 1500+ subscribers and aims at a bi-weekly schedule, with sometimes being weekly when lots of jobs are submitted. Once a month Meeting C++ will also send the jobs newsletter on its main newsletter with 25k+ subscribers in 2025. So your open positions will be seen by lots of experienced developers.

 

PVS-Studio 7.35: MISRA C 2023 support, Qt Creator 15 plugin, and more

by Vladislav Bogdanov

From the article:

We've begun work to expand the PVS-Studio's coverage of the MISRA C standard. With the release of 7.35, the first eight diagnostic rules have already been implemented, and more are on the way. The full list of implemented rules is provided below. We plan to cover at least 85% of MISRA C and support the latest version of MISRA C 2023.

PVS-Studio 7.34: support for Apple Silicon ARM64, CodeChecker

by Aleksandra Uvarova

From the article:

New diagnostic rules. C, C++:

• V1116. Creating an exception object without an explanatory message may result in insufficient logging.
• V1117. The declared function type is cv-qualified. The behavior when using this type is undefined.
• V2022. Implicit type conversion from integer type to enum type.
• V5014. OWASP. Cryptographic function is deprecated. Its use can lead to security issues. Consider switching to an equivalent newer function.

New CGAL versions: 5.5.5, 5.6.2, 6.0, and 6.0.1

by Laurent Rineau

From the article

CGAL version 6.0

CGAL version 6.0 was released on September 27, 2024. Following the discovery of early issues, version 6.0.1 was subsequently released on October 22, 2024.

This version is a major release, with many new features and improvements.

General changes

• C++17 Requirement: CGAL 6.0 requires a C++17 compatible compiler.
• GMP/MPFR Optional: GMP/MPFR are no longer mandatory; Boost.Multiprecision can be used.
• Qt6 Demos: All demos are now based on Qt6.
• Polyhedral Surface: The demo has been renamed to “CGAL Lab” and moved to its own directory in demo/Lab/.

New Packages

• Kinetic Space Partition: Partition of the space from planar input shapes.
• Kinetic Surface Reconstruction: Reconstructs surfaces from point clouds.
• Basic Viewer: Interactive visualization for various CGAL packages.
• Polygon Repair: Algorithms to repair 2D polygons and multipolygons.

Breaking Changes

• CMake Changes: UseCGAL.cmake removed; use CGAL::CGAL target instead.
• Kernel: Replaced boost::variant with std::variant and boost::optional with std::optional in the intersection functions.

Enhancements

• AABB Tree: Now supports 2D and 3D primitives.

PVS-Studio 7.33: SN-DBS support

by Valerii Filatov

From the article:

To enhance the integration of PVS-Studio with Unreal Engine, we've introduced support for SN-DBS, a distributed build system. These changes apply to Unreal Engine 5.5. Learn more about using PVS-Studio with Unreal Engine in the documentation.

PVS-Studio 7.32: enhanced analysis, new plugins and more

by Gleb Aslamov

From the article:

The PVS-Studio analyzer now supports integration with Bazel and Scons build systems for C++ projects. The PVS-Studio plugin is now available for Qt Creator 14.x. The plugin for Qt Creator 8.x is no longer supported. We aim to ensure backward compatibility between the latest plugin versions and all Qt Creator versions released in the past two years.

HPX V1.10.0 Released

We have released HPX 1.10.0 — a major update to our C++ Standard Library for Concurrency and Parallelism. We have continued to modernize HPX to fully conform to the latest standardization efforts in the are of parallelism and concurrency. Our HPX documentation has seen a major overhaul for this release, please have a look here. We finished documenting the public local HPX API, we have added migration guides from widely used parallelization platforms to HPX (OpenMP, TBB, and MPI). Among other things, we have performed a lot of code cleanup and refactoring to improve the overall code quality and decrease compile times and to improve the consistency of our exposed APIs. The core implementation has seen many performance optimizations that impact every aspect of our applications.

If you have any questions, comments, or exploits to report you can reach us on IRC or Matrix (#ste||ar on libera.chat) or email us at hpx-users. We depend on your input!

You can download the release from our releases page or check out the v1.10.0 tag using git. A full list of changes can be found in the release notes.

HPX is a general-purpose parallel C++ runtime system for applications of any scale. It implements all of the related facilities as defined by the C++20 Standard. As of this writing, HPX provides the only widely available open-source implementation of the new C++17, C++20, and C++23 parallel algorithms, including a full set of parallel range-based algorithms. Additionally, HPX implements functionalities proposed as part of the ongoing C++ standardization process, such as large parts of the features related parallelism and concurrency as specified by the upcoming C++23 Standard, the C++ Concurrency TS, Parallelism TS V2, data-parallel algorithms, executors, and many more. It also extends the existing C++ Standard APIs to the distributed case (e.g., compute clusters) and for heterogeneous systems (e.g., GPUs).

HPX seamlessly enables a new Asynchronous C++ Standard Programming Model that tends to improve the parallel efficiency of our applications and helps reducing complexities usually associated with parallelism and concurrency.

Improvements to static analysis in the GCC 14 compiler

by David Malcolm

It does require some source code annotation, but also delivers safety value in return.

From the article:

So for GCC 14, I've added the ability for the analyzer to emit text-based diagrams visualizing the spatial relationships in a predicted buffer overflow. ... [For example,] this diagram shows the destination buffer populated by the content from the strcpy call, and thus the existing terminating NUL byte used for the start of the strcat call. For non-ASCII strings ... it can show the UTF-8 representation of the characters ...

... [Another improvement] is that the analyzer now simulates APIs that scan a buffer expecting a null terminator byte, and will complain about code paths where a pointer to a buffer that isn't properly terminated is passed to such an API.

Plus more, such as:

The analyzer has a form of "taint analysis", which tracks attacker-controlled inputs, places where they are sanitized, and places where they are used without sanitization. In previous GCC releases this was too buggy to enable by default, with lots of false positives, so I hid it behind an extra command-line argument. I've fixed many bugs with this, so for GCC 14 I've enabled this by default when -fanalyzer is selected. This also enables these 6 taint-based warnings:

• -Wanalyzer-tainted-allocation-size
• -Wanalyzer-tainted-array-index
• -Wanalyzer-tainted-assertion
• -Wanalyzer-tainted-divisor
• -Wanalyzer-tainted-offset
• -Wanalyzer-tainted-size

Using Copilot Chat with C++ in VS Code

by Sinem Akinci

From the article:

We have just released a new YouTube video demonstrating the power of Copilot Chat in C++ code:

We cover how Copilot Chat can provide enhancements to your C++ coding scenarios like:

• Simplifying and refactoring existing code
• Generating new code and iterating with the prompt
• Generating and explaining new test cases
• Refactoring test cases to new frameworks
• Understanding errors with your code
• … and more!

Seastar, ScyllaDB, and C++23

By Avi Kivity

From the article:

Seastar is an open-source (Apache 2.0 licensed) C++ framework for I/O intensive asynchronous computing, using the thread-per-core model. Seastar underpins several high- performance distributed systems: ScyllaDB, Redpanda, and Ceph Crimson. Seastar source is available on github. As a C++ framework, Seastar must choose which C++ versions to support. The support policy is last-two-versions. That means that at any given time, the most recently released version as well as the previous one are supported, but earlier versions cannot be expected to work. This policy gives users of the framework three years to upgrade to the next C++ edition while not constraining Seastar to ancient versions of the language.

Now that C++23 has been ratified, Seastar now officially supports C++20 and C++23. The previously supported C++17 is now no longer supported.

PVS-Studio 7.29: Java code check in VS Code, Boost smart pointers, and plugin for Qt Creator on macOS

by Gleb Aslamov

From the article:

The C++ analyzer now supports smart pointers from the Boost library: boost::unique_ptr and boost::shared_ptr. Now the PVS-Studio analyzer is able to detect errors such as null pointer dereferences when these classes are used.

mp-units 2.1.0 released!

by Mateusz Pusz

About the release

Please check our blog post to read more about the improvements and some, unfortunately, breaking changes.

CppDepend 2024.1 Released! - Unveiling New Features and Improvements

by the CppDepend Team

From the Article:

The latest version of CppDepend comes packed with an array of improvements and several new features that are designed to streamline project management, enhance code quality monitoring, and provide deeper insights into code bases. Key highlights of this release include an advanced source explorer, support for C++23/C++20/C++17, Improved Incremental analysis, and much more.

Top 10 errors in C and C++ projects in 2023

by Alexey Gorshkov

From the article:

In this case, the developers wanted to fill the keyEventList array with zeros. Pay attention to the third parameter — the number of bytes the developers wanted to fill with zeros. In this case, sizeof(keyEventList) evaluates the pointer size instead of the array size. It depends on the target platform, but most often it's 4 or 8 bytes. However, the size of the structure is clearly larger than 4 or 8 bytes.

PVS-Studio 7.28: support for ARM, .NET 8, analysis of Unreal Engine projects without Unity Build, and more

by Gleb Aslamov

From the article:

When analyzing Unreal Engine projects with PVS-Studio, we often encounter issues with high memory usage and analysis slowdown. They usually arise when individual translation units are combined into a single file (the Unity Build system). Although the merging of translation units may have a positive impact on the compilation time, the large file size may increase the resource requirements for analysis.

No, C++ static analysis does not have to be painful

by Geoffray Adde

From the article:

It seems impossible to offer serious C++ static analysis with a great configuration experience. Users must suffer the pain, or not use it at all.
Well, at Sonar we believe in making the impossible, possible and so we've gone ahead and solved this once and for all!

PVS-Studio 7.26: running analysis in VS Code and Qt Creator, integration with DefectDojo, and more

by Sergey Vasiliev

From the article:

Now the PVS-Studio plugins for Visual Studio Code and Qt Creator support the analysis of C and C++ projects. Moreover, the plugins support mass suppression of analyzer warnings (with the help of suppress files). This mechanism enables you to hide warnings for legacy code and work only with new warnings. In this way, the integration of the analyzer into the project will be much easier.

HPX V1.9.1 Released

We have released HPX 1.9.1 that adds a number of small new features and fixes a handful of problems discovered since the last 1.9.0 release. In particular: we fixed various occasional hanging during startup and shutdown in distributed scenarios. We also added support for zero-copy serialization on the receiving side to the TCP, MPI, and LCI parcelports. Moreover, we have added support for Visual Studio 2019 and GCC using MINGW on Windows, and also support for GCC 13 and Clang 15.0.0. Furthermore, we aligned our header names to their standards counterparts so porting from standard C++ to HPX is now easier. Last but not least, and by adhering to popular demand, we started adding migration guides for people interested in moving their codes away from other, commonplace parallelization frameworks like OpenMP and MPI. We have also continued to improve our documentation, please have a look here.

If you have any questions, comments, or exploits to report you can reach us on IRC or Matrix (#ste||ar on libera.chat) or email us at hpx-users. We depend on your input!

You can download the release from our releases page or check out the v1.9.1 tag using git. A full list of changes can be found in the release notes.

HPX is a general-purpose parallel C++ runtime system for applications of any scale. It implements all of the related facilities as defined by the C++20 Standard. As of this writing, HPX provides the only widely available open-source implementation of the new C++17, C++20, and C++23 parallel algorithms, including a full set of parallel range-based algorithms. Additionally, HPX implements functionalities proposed as part of the ongoing C++ standardization process, such as large parts of the features related parallelism and concurrency as specified by the upcoming C++23 Standard, the C++ Concurrency TS, Parallelism TS V2, data-parallel algorithms, executors, and many more. It also extends the existing C++ Standard APIs to the distributed case (e.g., compute clusters) and for heterogeneous systems (e.g., GPUs).

HPX seamlessly enables a new Asynchronous C++ Standard Programming Model that tends to improve the parallel efficiency of our applications and helps reducing complexities usually associated with parallelism and concurrency.

PVS-Studio 7.25: support for latest versions of Qt Creator, Rider, and more

by Nikita Lipilin

From the article:

When checking C++ projects that use MSBuild, PVS-Studio did not use the full power of Intel's 12th generation processors (for example, i7-12700, i9-12900). Apparently, the analysis processes were running only on energy-saving cores, while the rest remained idle. In the new version of PVS-Studio, the error has been fixed. Now the analyzer fully loads the processors and works much faster.

HPX V1.9.0 Released

We have released HPX 1.9.0 — a major update to our C++ Standard Library for Concurrency and Parallelism. The HPX parallel algorithms now have been fully adapted to C++23, all existing facilities have been adjusted to conform to this version of the Standard as well. We now can proudly announce full conformance to the C++23 concurrency and parallelism facilities. HPX supports all of the parallel algorithms as specified by C++23. We have been able to significantly improve the performance of some of our algorithms. On top of that we support parallel versions of all range-based algorithms and have added more support for explicit vectorization to our algorithms (using std::experimental::simd). Even more work has been done towards implementing P2300 (std::execution) and keeping the underlying senders/receivers facilities in line with the evolving standardization efforts. We have done a lot of refactoring to improve the consistency of our exposed APIs. Last but not least, we have continued to improve our documentation, please have a look here.

If you have any questions, comments, or exploits to report you can reach us on IRC or Matrix (#ste||ar on libera.chat) or email us at hpx-users. We depend on your input!

You can download the release from our releases page or check out the v1.9.0 tag using git. A full list of changes can be found in the release notes.

HPX is a general-purpose parallel C++ runtime system for applications of any scale. It implements all of the related facilities as defined by the C++20 Standard. As of this writing, HPX provides the only widely available open-source implementation of the new C++17, C++20, and C++23 parallel algorithms, including a full set of parallel range-based algorithms. Additionally, HPX implements functionalities proposed as part of the ongoing C++ standardization process, such as large parts of the features related parallelism and concurrency as specified by the upcoming C++23 Standard, the C++ Concurrency TS, Parallelism TS V2, data-parallel algorithms, executors, and many more. It also extends the existing C++ Standard APIs to the distributed case (e.g., compute clusters) and for heterogeneous systems (e.g., GPUs).

HPX seamlessly enables a new Asynchronous C++ Standard Programming Model that tends to improve the parallel efficiency of our applications and helps reducing complexities usually associated with parallelism and concurrency.

C++ Brace Pair Colorization and More in Visual Studio

by Mryam Girmay

From the article:

You can now visually distinguish each set of opening and closing braces for your C++ code making it easier to see your code’s scope or find any missing braces. There will be different colors for curly braces, and the paired braces {} will have the same color, which will make it easy to visualize where the braces open and close especially when you have intensely nested codes. The feature is available for C++ today and will be coming to additional languages in subsequent releases.

Debug Linux Console apps in Visual Studio’s Integrated Terminal

By Sinem Akinci

From the article:

Now, using the Linux Console embedded in the Integrated Terminal, Visual Studio supports a fully functional terminal-like experience when debugging Linux applications. This new Linux Console emulates an xterm and can support application screen manipulation; for example, writing screen formatting control characters to stdout or using the ncurses library. Additionally, there is support for vt sequences and keyboard shortcuts such as Ctrl+C application interruption.

VS Code C++ Extension January Update: Create Definitions and Declarations

by Alexandra Kemper

From the article:

Starting with the 1.13.6 version of the C++ Extension in VS Code, we are happy to share a much requested feature: Auto creation of definitions or declarations for functions! You can now quickly create a declaration in a header file for a function you only have a definition for, or vice versa. These generated definitions and declarations already include all function arguments, so no need for constant copying, pasting, and double checking.

PVS-Studio in 2022

by Polina Alekseeva

From the article:

Speaking of cross-platform. As of now, the analyzer runs on Windows, Linux, and macOS on the x86_64 architecture. It is currently impossible to run the analyzer natively on the same operating systems under ARM (except for C and C++ analyzer on ARM-based macOS: you can run it via Rosetta). We're wondering if there are many people among our readers who want to natively use the analyzer on ARM. How critical is the build and analysis of projects on the ARM architecture for you?

Top 10 bugs found in C++ projects in 2022

by Vladislav Stolyarov

From the article:

Here the analyzer detected that a function, marked as noexcept, calls a function that throws an exception. If an exception arises from the nothrow function's body, the nothrow function calls std::terminate, and the program crashes. It could make sense to wrap the setName function in the function-try-block and process the exceptional situation there — or one could use something else instead of generating the exception.

libstdc++ gets C++20 <chrono>

As seen on Reddit:

It looks like Jonathan Wakely has just today contributed a huge amount of effort towards <chrono>.

He's added the time zones, leap seconds, all that good stuff.

He's even added GDB pretty printers for inevitable date time debugging!

And these features are supported in <format>, which libstdc++13 has, if you weren't already aware. He's also made many other various improvements. Lets give a round of applause to Jonathan Wakely!

High-confidence Lifetime Checks in Visual Studio version 17.5 Preview 2

by Gabor Horvath

From the article:

The C++ Core Guidelines’ Lifetime Profile, aims to detect lifetime problems, like dangling pointers and references, in C++ code. ... Lately, there has been an increased push in the C++ community to introduce lifetime-related safety features, which has led us to revisit the lifetime analysis in MSVC.

We spent the last couple of months looking into the results of using the lifetime analysis on real world code. This blog post summarizes our experience and the improvements we made along the way. The biggest change is the introduction of a new set of warnings. These warnings are the high-confidence versions of the existing warnings. Users who want less noise can enable only the high-confidence warnings, while users who want more rigorous checks at the cost of noise can enable both the old and the new warnings. As of 17.5, the high-confidence warnings are still experimental, but depending on the feedback we might include them in some of the recommended profiles in future versions...

Boost verison 1.81.0 released

Release managers: Marshall Clow and Glen Fernandes

From the announcement:

New Libraries

• URL:A library for parsing, modifying, and printing URLs using only C++11, from Vinnie Falco and Alan de Freitas. Features include fast compilation, strong invariants, and strict compliance using a memory-friendly approach.

Updated Libraries

• Asio:

  • Added the consign completion token adapter, which can be used to attach additional values to a completion handler.
  • Added any_completion_handler<>, which can be used to type-erase completion handlers.
  • Added experimental::co_composed to enable lightweight implementations of user-defined asynchronous operations using C++20 coroutines.
  • Add range-based experimental::make_parallel_group() overloads.
  • Added any_completion_executor, a type-erased wrapper for executors that are associated with completion handlers.
  • Added missing context query to use_future's executor.
  • Added nothrow constructor overloads to execution::any_executor<> and any_io_executor.
  • Optimised representation of empty execution::any_executor objects to improve the performance of copy and move operations.
  • Added an associated_cancellation_slot specialisation for std::reference_wrapper.
  • Changed I/O objects to return their executors by const reference.
  • Changed associated to use deduced return types for all two-argument get functions.
  • Fixed spawn implementation to catch unhandled exceptions and rethrow them outside of the spawned "thread".
  • Fixed spawn to ensure the completion handler is dispatched through the correct executor.
  • Fixed cleanup of of terminal-state spawn "thread" objects.
  • Fixed spawn and co_spawn implementations to dispatch cancellation handlers on the correct executor.
  • Changed semantics of 'dispatch' to mean the executor is used as-is.
  • Deprecated the execution::execute customisation point and sender/receiver facilities.
  • Added a C++11 parallel_group example.
  • Fixed example code to not use the deprecated resolve conversions.
  • Fixed an ambiguity in experimental::channel_traits specialisations.
  • Added a specialised channel implementation for the for R(error_code) signature.
  • Made cancelled() public on the async_compose 'self' object.
  • Added io_executor_type and get_io_executor to the async_compose 'self' object.
  • Fixed implementation of release() for Windows overlapped handles.
  • Enabled deferred awaiting for experimental::coro, regularised experimental::use_coro, and fixed allocator handling.
  • Cleaned up experimental::promise and made it an asynchronous operation object.
  • Constrained post/defer overloads on ability to require blocking.never.
  • Changed descriptor implementation to fall back to fcntl if ioctl fails with ENOTTY when setting non-blocking mode.
  • Fixed Xcode deprecation warnings related to use of sprintf.
  • Fixed the arguments passed to select_reactor::run when it is run on an internal thread.
  • Fixed compilation errors when BOOST_ASIO_DISABLE_SMALL_BLOCK_RECYCLING is defined.
  • Updated detection of C++20 coroutine support on clang 14 and later.
  • Changed standard library feature detection to always enable std::invoke_result when targeting C++17 or later.
  • Fixed detection of return type deduction with MSVC.
  • Updated the asynchronous operation requirements to relax the requirements on the associated executor.
  • Added io_uring to the implementation notes.
  • Consult the Revision History for further details.
• Beast:

  • Add buffers_generator
  • Add beast::http::message_generator
  • Added buffer_ref, so beast buffers can be used with asio.
  • Support for per-operation cancellation
  • C++20 awaitable examples.
  • websocket per-message compression options
  • websocket timeout option api
  • multiple content length error
  • Support for default-completion and rebind
• Container Hash:

  • Major update.
  • The specializations of boost::hash have been removed; it now always calls hash_value.
  • Support for BOOST_HASH_NO_EXTENSIONS has been removed. The extensions are always enabled.
  • All standard containers are now supported. This includes std::forward_list and the unordered associative containers.
  • User-defined containers (types that have begin() and end() member functions that return iterators) are now supported out of the box.
  • Described structs and classes (those annotated with BOOST_DESCRIBE_STRUCT or BOOST_DESCRIBE_CLASS) are now supported out of the box.
  • hash_combine has been improved.
  • The performance (and quality, as a result of the above change) of string hashing has been improved. boost::hash for strings now passes SMHasher in 64 bit mode.
  • The documentation has been substantially revised to reflect the changes.
• Core:

  • empty_value members are now marked as constexpr.
  • Added fclose_deleter, a deleter that calls std::fclose on a pointer to std::FILE.
  • Bit manipulation utilities in boost/core/bit.hpp now explicitly require unsigned integers on input. (#129)
  • bit_width now returns int instead of a value of the input argument type. This follows resolution of LWG3656.
• Describe:

  • To allow the inclusion of enumerators.hpp, bases.hpp, and members.hpp when the option -pedantic is used, the invocation of BOOST_DESCRIBE_ENUM has been moved from modifiers.hpp into a separate header, modifier_description.hpp. As a consequence, modifiers.hpp no longer includes enum.hpp. Code that has been relying on this implicit inclusion may fail, and will need to be fixed to include enum.hpp.
• DLL:

  • Fixed path_from_handle implementation for Windows platforms, thanks to @SaltfishAmi for the bug report 57.
• Filesystem:

  • Deprecated: path construction, assignment and appending from containers of characters, such as std::vector<char> or std::list<wchar_t>, is deprecated in v3 and removed in v4. Please use string types or iterators instead.
  • Deprecated: boost/filesystem/path_traits.hpp header is deprecated and will be removed in a future release. The header contained implementation details of path and should not be used in user's code.
  • Previously deprecated APIs will now generate compilation warnings on use. To suppress these warnings, BOOST_FILESYSTEM_ALLOW_DEPRECATED macro can be defined when compiling user's code.
  • Fixed compilation due to a missing include on POSIX systems that do not support *at APIs. (#250)
  • On Windows prior to 10, added a workaround for network share filesystem that produces ERROR_INVALID_PARAMETER when constructing directory iterators. (PR#246, #245)
  • On Windows, fixed weakly_canonical failing with an ERROR_INVALID_FUNCTION error code if the path started with the "\\?\" prefix. (#247)
  • Added support for std::string_view, boost::string_view and boost::container::string (as well as respective wchar_t counterparts) in path constructors, assignment and appending operations. (#208)
  • path constructors, assignment and appending operations taking a pair of iterators will no longer accept iterators with value types that are not one of the supported path character types.
  • On Windows, improved compatibility of directory_iterator with various mounted filesystems and Wine releases prior to 7.21. (#255, #266)
  • On Windows, deduplicated files are now reported as regular files rather than reparse files. (#262)
• Fusion:

  • Added fusion::identity_view (PR#240)
  • Added support for associative sequences on fusion::transform_view (PR#239)
  • Fixed compilation for the case when fusion::reverse_view used with an associative sequence (PR#237)
  • Fixed Clang 13 -Wdeprecated-copy warnings (PR#261)
  • A small dependency reorganization. Now boost::ref and boost::noncopyable are used from Boost.Core (PR#249)
  • Added CI testing on Linux and MacOS for clang and gcc, fixed CI testing on Windows (PR#245, PR#236)
  • Improved docs and fixed typos (#234, PR#235, PR#238)
• Geometry:

  • Solved issues

    • #1048 Index: Fix dangling references when Indexable is returned by value by IndexableGetter
    • #1076 Union: in rare cases it might miss one polygon
    • #1081 Union: due to precision it might miss interior rings
  • Bugfixes

    • #1063 Intersection: fix a bug in intersection of simple spherical polygons
    • #1064 Formulas: fix a consistency issue in geodesic direct formulas
    • #1088 Point: Fix regression for custom point types
    • Various fixes for missing include files, warnings, C++20 compilation errors and documentation
• Histogram:

  • Major update.
  • Added new accumulators::fraction to compute fractions, their variance, and confidence intervals
  • Added interval computers for fractions: utility::clopper_pearson, utility::wilson_interval, utility::jeffreys_interval, utility::wald_interval which can compute intervals with arbitrary confidence level
  • Added utility::confidence_level and utility::deviation types to pass confidence levels as probabilities or in multiples of standard deviation for all interval computers, respectively
  • Fixed internal sub_array and span in C++20
• Iterator:

  • function_output_iterator now supports perfect forwarding of the assigned values to the wrapped function object. (PR#73)
  • Fixed compilation of constructing a function_input_iterator from result of post-incrementing another function_input_iterator. (#75)
  • The result of post-incrementing an iterator based on iterator_facade now supports operator->. (it++)->foo is equivalent to (*it++).foo, which was supported before.
• JSON:

  • Added object::stable_erase.
  • Added parse overload for std::istream and operator>> for value.
  • Added rvalue ref-qualified accessors for value.
  • Conversion traits were redesigned.
  • Added conversion support for described classes and enums, std::optional, std::variant, and null-like types (including std::nullptr_t, std::nullopt_t, and std::monotype).
  • Added non-throwing conversion from value to user types.
• LexicalCast:

  • Fixed compilation while casting volatile arithmetic types. Thanks to Giovanni Cerretani for the bug report #50.
  • Removed usage of deprecated headers. Thanks to Michael Ford for the PR PR#53.
• Locale:

  • Major update with some breaking changes.
  • C++11 support is now required, support for C++03 and earlier is dropped
  • Some enums have been converted to enum classes - Avoids name clashes
  • Replace -sICU_LINK_LOCALE & -sICU_LINK by fine-grained configuration options as done in Boost.RegEx
  • Fix detection of libiconv allowing Boost.Locale to be build (again) on some platforms
  • Remove use of and support for std::auto_ptr
  • Make the codecvt using wchar_t on Windows assume/use UTF-16 enconding
  • Performance improvements: Make basic_format, date_time & hold_ptr movable, Fix use of format cache
  • Make Boost.Locale compatible with more ICU versions (especially the tests)
  • Fix RTTI definitions for some classes (visibility issues)
  • Fix compatibility of the ICU backend with some libc++ versions
  • Fix return value of some operators to correctly return non-const *this
  • Fix int-overflow on negative roll of years in date_time
  • Handle or suppress many warnings which makes the build log cleaner
  • Add support for more Windows codepages
  • Fix support for Windows codepages like ISO-2022-JP
• Nowide:

  • Fix build failure of tests on MSVC
• Stacktrace:

  • The library does not use COM initialization any more. Thanks to Alex Guteniev for the bug report, clarifications and PR PR#123!
  • The library now may use BOOST_STACKTRACE_BACKTRACE_INCLUDE_FILE macro value while detecting the libbacktrace availability in b2, thanks to Ben Gemmill for the bug report #115.
  • Added BOOST_STACKTRACE_BACKTRACE_FORCE_STATIC macro to force a single backtrace_state static instance while using the libbacktrace. Thanks to the Rasmus Thomsen for the bug report #118!
  • Avoid unresolved references when including only the boost/stacktrace/stacktrace.hpp header. Thanks to the Long Deng for the bug report #116.
  • Optimized stacktrace printing by not calling strlen on Windows platforms. Thanks to Alex Guteniev for the bug report #122
• PFR:

  • Improved detection of aggregate initializables in C++14 mode, thanks to Denis Mikhailov for the PR PR#97.
  • Suppress clang-tidy warnings, thanks to Alexander Malkov for the PRs PR#109, PR#104.
  • Use fold expressions if they are supported by the compiler. Thanks to Jean-Michaël Celerier for the PR PR#96.
• STLInterfaces:

  • Fix two ill-formed iterator_interface operators in pre-C++20 iterators with a const value_type.
• System:

  • The macro BOOST_SYSTEM_DISABLE_THREADS can now be defined to disable the use of <mutex> (e.g. on single-threaded libstdc++).
  • Added value_type, error_type, in_place_value, in_place_error to result<>.
  • Added emplace to result<>.
• Unordered:

  • Major update.
  • Added fast containers boost::unordered_flat_map and boost::unordered_flat_set based on open addressing.
  • Added CTAD deduction guides for all containers.
  • Added missing constructors as specified in LWG issue 2713.
• Variant:

  • Avoid recursive inclusion of headers, thanks to Nathan Sidwell for the bug report #101.
  • Removed usage of deprecated headers, thanks to Michael Ford for the PR PR#96.
  • Fixed compilation on clang in C++23 mode, thanks to Ed Catmur for the PR PR#98.
• Variant2:

  • Added support for boost::json::value_from and boost::json::value_to.

PVS-Studio 7.22: Visual Studio Code, Qt Creator, .NET 7

by Sergey Vasiliev

From the article:

New plugins provide even more options for cross-platform work. Now you can use them to work with logs: view warnings, filter them, sort them in a grid, etc. You can't run the analysis yet — we plan to add this feature in future releases.

PVS-Studio and RPCS3: the best warnings in one click

by Alexander Kurenev

From the article:

Best Warnings is a special mechanism for the first acquaintance with the PVS-Studio static analyzer. The full analyzer's log can contain thousands of warnings. Therefore, if you want to evaluate the work of the analyzer and not waste time and effort on viewing a large report that was issued by a not yet configured analyzer, use the Best Warnings mechanism. Open the analyzer's log in the PVS-Studio plugin for Visual Studio and enable Best Warnings.

What's New for C++ Developers in Visual Studio 2022 17.4

by Sy Brand

From the article:

We are happy to announce that Visual Studio 2022 version 17.4 is now generally available! This post summarizes the new features you can find in this release for C++. ...

Announcing the GA of C and C++ Security and License Scanning
By Gauthami Polasani

From the article:

Unlike other C/C++ scanning tools, FOSSA does not take a one-solution-fits-all approach to dependency identification in such a complex and layered ecosystem. FOSSA uses multi-pronged strategies (as described below) to accurately identify dependencies and surface security and license risks — regardless of how the code is included.).

Examples of errors that PVS-Studio found in LLVM 15.0

by Andrey Karpov

From the article:

It's a cool bug, although it's not scary. There is no semicolon after the return statement. As a result, the code does not work as it looks.

void FunctionLoweringInfo::ComputePHILiveOutRegInfo(const PHINode *PN) {
  ....
  Register DestReg = It->second;
  if (DestReg == 0)
    return
  assert(Register::isVirtualRegister(DestReg) &&
         "Expected a virtual reg");
  LiveOutRegInfo.grow(DestReg);
  ....
}

Improving copy and move elision

by Bran Hagger

From the article:

With Visual Studio 2022 version 17.4 Preview 3, we’ve significantly increased the number of situations where we do copy or move elision and given users more control over whether these transformations are enabled. ...

PVS-Studio 7.21: GitLab Code Quality, Unreal Engine

by Sergey Vasiliev

From the article:

New C++ diagnostics:

• V1090. The 'std::uncaught_exception' function is deprecated since C++17 and is removed in C++20. Consider replacing this function with 'std::uncaught_exceptions'.
• V1091. The pointer is cast to an integer type of a larger size. Casting pointer to a type of a larger size is an implementation-defined behavior.
• V1092. Recursive function call during the static/thread_local variable initialization might occur. This may lead to undefined behavior.

Enhance application security with FORTIFY_SOURCE

by Siddharth Sharma

From the article:

The FORTIFY_SOURCE macro provides lightweight support for detecting buffer overflows in various functions that perform operations on memory and strings. Not all types of buffer overflows can be detected with this macro, but it does provide an extra level of validation for some functions that are potentially a source of buffer overflow flaws. It protects both C and C++ code. ...