[cfe-dev] [analyzer] Evaluating a call to operator bool()

Artem Dergachev via cfe-dev cfe-dev at lists.llvm.org
Wed Jan 1 11:57:36 PST 2020


On 12/30/19 7:55 PM, philip.chimento at gmail.com wrote:
> However, the returned region seems to be different in the constructor 
> and in the get() method. For example I'm testing my code with a 
> "struct MyStruct : std::unique_ptr<char>" and I'll get debug output 
> such as:
>
>     constructor: Storing 0 (Loc) into map with key 
> SymRegion{conj_$5{struct MyStruct *, LC1, S3038538, #1}}
>     get(): Retrieving key SymRegion{reg_$0<const struct MyStruct * 
> this>}: not present
That sounds strange because i think i fixed most of these problems 
(https://www.youtube.com/watch?v=4n3l-ZcDJNY). Can you post the specific 
code you're trying to analyze? Is your Clang fresh enough?


More information about the cfe-dev mailing list