[PATCH] D33092: [analyzer] Add checker to model builtin functions

Gábor Horváth via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Thu May 11 04:17:20 PDT 2017

xazax.hun added a comment.

In https://reviews.llvm.org/D33092#752039, @NoQ wrote:

> Hmm, shouldn't this be part of `BuiltinFunctionChecker` aka `core.builtin.BuiltinFunctions`? We already have `__builtin_assume_aligned` here (though it doesn't seem to assume anything because that particular assumption is hard to model).

You are completely right! I do not know how could I miss that. :)


More information about the cfe-commits mailing list