[PATCH] D15227: [analyzer] Valist checkers.

[Artem Dergachev via cfe-commits]

NoQ added a comment.

In https://reviews.llvm.org/D15227#519239, @xazax.hun wrote:

> I suspect that slightly different AST is generated for those architectures that cause the different behavior. I will further investigate those problems.


Seems so, because on my machine when i append `-triple hexagon-unknown-linux` to the test run line, a bunch of things start failing. You may also consider hardcoding the runline in the current test and commit (which is so often a good idea), and fix other stuff in later commits. A proper investigation would be great, of course :)

P.S. Just curious - do you plan to eventually model `va_arg()`, as we discussed with Michael Tandy in http://lists.llvm.org/pipermail/cfe-dev/2016-August/050202.html ?


Repository:
  rL LLVM

https://reviews.llvm.org/D15227