[cfe-dev] -analyzer-inline-max-stack-depth?

[Artem Dergachev via cfe-dev]

We already have such tests and they're working as expected.

I think your problem must be that some functions are inlined regardless 
of that limit, eg. the ones with trivial (linear) CFG. If that's the 
case, you'll also have to figure out why aren't they inlined in the real 
world for the same reason.

On 2/25/20 5:03 PM, Ádám Balogh via cfe-dev wrote:
>
> Hello,
>
> I am trying to add tests to Iterator Modeling where std::advance(), 
> std::prev() and std::next() are used. These latter two use the former 
> one, which in some implementations uses __advance(). In real scenarios 
> it happens that std::prev() or next() or std::advance() called by them 
> or __advance() called by that one is not inlined. I would like to test 
> these scenarios explicitly. My idea is to limit the inline stack by 
> using -analyzer-inline-max-stack-depth, but any value I use the result 
> is the same: everything is inlined, even __advance(). Do I 
> misunderstand this flag, or it does not work at all?
>
> Regards,
>
> Ádám
>
>
> _______________________________________________
> cfe-dev mailing list
> cfe-dev at lists.llvm.org
> https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-dev