[PATCH] D14277: [Analyzer] Make referenced SymbolMetadata live even if its region is dead

Aleksei Sidorin via cfe-commits cfe-commits at lists.llvm.org
Fri Nov 13 04:59:20 PST 2015


a.sidorin added a comment.

Sorry, I misunderstood your first question. This case is OK because CStringChecker handles invalidation and shouldn't track invalidated regions until their lengths become known. Test strlen_global() (string.c:106) should confirm this.


Repository:
  rL LLVM

http://reviews.llvm.org/D14277





More information about the cfe-commits mailing list