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. Repository: rL LLVM https://reviews.llvm.org/D33092 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
