[PATCH] D20811: [analyzer] Model some library functions

[Anna Zaks via cfe-commits]

zaks.anna added inline comments.

================
Comment at: lib/StaticAnalyzer/Checkers/StdLibraryFunctionsChecker.cpp:206
@@ +205,3 @@
+                        : Call.getArgExpr(ArgNo)->getType().getCanonicalType();
+  }
+  static QualType getArgType(const CallExpr *CE, ArgNoTy ArgNo) {
----------------
Separate commit is fine. I'd provide both APIs in CallEvent.

================
Comment at: test/Analysis/std-library-functions.c:4
@@ +3,3 @@
+void clang_analyzer_eval(int);
+
+int glob;
----------------
Ok.


https://reviews.llvm.org/D20811