CLion 2022.2 EAP2: Interval Analysis

Anastasia Kazakova

A new CLion 2022.2 EAP2, 222.2680.4, is available from our website via the Toolbox App or as a snap package (if you are using Ubuntu). If you are on macOS, there is a separate build for Apple Silicon (M1 chip). Those who are already using EAP1 can apply a patch to update to EAP2.

DOWNLOAD CLION 2022.2 EAP

Interval Analysis in DFA

As we shared in the roadmap, we are working on enhancing the accuracy of CLion’s Data Flow Analysis with interval analysis. The main idea is for every integral variable to calculate the upper and lower bounds of the possible values, and then use this information in the data flow analysis.

This analysis enables support for comparisons (<, >, <=, >=) of integral types to help with assumptions like unreachable code, constant conditions, and others. Now Data Flow Analysis in CLion can capture cases like the following:

On top of interval analysis, we’ve also built the Array index is out of bounds check. It reports array or pointer variable access expressions where the index may be out of bounds of an array or allocated buffer. You can find it in the Inspection settings:

This check works in various cases, including regular fix-sized arrays, arrays with size initialized by the sizeof() function, or std::array with a given size:

It also works for C-string and C++ std::string:

Other Fixes

• CUDA:
  • In the debugger, stepping out from CUDA calls now works (CPP-28489).
  • Compilation database projects with CUDA can now be opened in CLion (CPP-25075).
• Code completion:
  • CLion no longer suggests consteval functions in postfix completion for runtime executed functions (CPP-28781).
  • Code completion and other code assistance actions now work for generic lambda parameters (CPP-28921).

The full release notes are available here. Interested in what’s coming next? Check out our roadmap announcement!

DOWNLOAD CLION 2022.2 EAP

Your CLion team
JetBrains
The Drive to Develop

Subscribe to CLion Blog updates

Subscribe form

By submitting this form, I agree to the JetBrains Privacy Policy Notification icon

By submitting this form, I agree that JetBrains s.r.o. ("JetBrains") may use my name, email address, and location data to send me newsletters, including commercial communications, and to process my personal data for this purpose. I agree that JetBrains may process said data using third-party services for this purpose in accordance with the JetBrains Privacy Policy. I understand that I can revoke this consent at any time in my profile. In addition, an unsubscribe link is included in each email.

Submit

Thanks, we've got you!