[cfe-dev] static analyzer status?

[Lou Wynn via cfe-dev]

Hi,

I have watched the Building a Checker in 24 Hours slide
(http://llvm.org/devmtg/2012-11/Zaks-Rose-Checker24Hours.pdf). It
mentioned that one limitation of the Constraint Solver is that it can't
handle multiple symbols (page 83). The talk was given in 2012. I'm
wondering if this limitation has been removed now in 2018.

-- 
Thanks,
Lou

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20180913/c1fe2335/attachment.html>