[PATCH] D15227: [analyzer] Valist checkers.

[Gábor Horváth via cfe-commits]

xazax.hun added a comment.

In https://reviews.llvm.org/D15227#521781, @NoQ wrote:

> 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 :)


I committed with the hardcoded triple in the runline for now.

> 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 ?


It is not on my TODO list at the moment, but I might look into it in the distant future.


Repository:
  rL LLVM

https://reviews.llvm.org/D15227