Artem Dergachev via cfe-dev
cfe-dev at lists.llvm.org
Tue Feb 25 07:43:48 PST 2020
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:
> 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?
> cfe-dev mailing list
> cfe-dev at lists.llvm.org
More information about the cfe-dev