r356222 - [analyzer] Support C++17 aggregates with bases without constructors.

Artem Dergachev via cfe-commits cfe-commits at lists.llvm.org
Tue Mar 19 18:37:31 PDT 2019


On 3/19/19 11:10 AM, Richard Smith wrote:
> It sounds like there might be a missing check for 
> InitListExpr::isTransparent somewhere. (A transparent InitListExpr 
> should be treated as equivalent to its one and only subexpression.) 
> Either that, or the static analyzer isn't aware that an object of 
> class type can be initialized directly from a function call, not via a 
> constructor.

Indeed, thanks! And, as usual, more bugs on top of that.
(https://reviews.llvm.org/D59573)

On 3/19/19 11:00 AM, Alexander Kornienko wrote:
> just adding -std=c++17 on existing code (LLVM, for example ;) could 
> help uncover some of the issues

Hmm, fair enough :D I'm glad i asked :)


More information about the cfe-commits mailing list