Re: [PATCH] analyzer: remove __analyzer builtins

[Jakub Jelinek]

On Wed, Dec 18, 2019 at 09:36:55AM -0500, David Malcolm wrote:
> This patch eliminates the builtins in favor of a header file in the
> DejaGnu testsuite.
> 
> Jakub: do you prefer this approach? (eliminating the builtins in favor of
> "magic" function names for use just using analyzer DejaGnu tests)

Yeah, certainly.  Thanks.

        Jakub