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

Artem Dergachev via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Thu May 11 03:05:00 PDT 2017

NoQ added a comment.

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

Comment at: lib/StaticAnalyzer/Checkers/ModelBuiltinChecker.cpp:49
+    if (!State)
+      return false;
We could also pretend we modeled the call, so that to avoid invalidation.



More information about the cfe-commits mailing list