en Copyright 2015 Java http://172.16.0.5:8080/history/llvm-project-15.0.7/clang/test/Analysis/symbol-escape.cpp#8434fbbe Revert "[analyzer] Keep track of escaped locals"It was a step in the right direction but it is not clear how can thisfit into the checker API at this point. The pre-escape happens in theanalyzer core and the checker has no control over it. If the checkeris not interestd in a pre-escape it would need to do additional workon each escape to check if the escaped symbol is originated from an"uninteresting" pre-escaped memory region. In order to keep thechecker API simple we abandoned this solution for now.We will reland this once we have a better answer for what to do on thechecker side.This reverts commit f3a28202ef58551db15818f8f51afd21e0f3e231. List of files: /llvm-project-15.0.7/clang/test/Analysis/symbol-escape.cpp Wed, 11 Dec 2019 00:42:03 +0000 Gabor Horvath <xazax@google.com> http://172.16.0.5:8080/history/llvm-project-15.0.7/clang/test/Analysis/symbol-escape.cpp#f3a28202 [analyzer] Keep track of escaped localsWe want to escape all symbols that are stored into escaped regions.The problem is, we did not know which local regions were escaped. Until now.This should fix some false positives like the one in the tests.Differential Revision: https://reviews.llvm.org/D71152 List of files: /llvm-project-15.0.7/clang/test/Analysis/symbol-escape.cpp Sat, 07 Dec 2019 01:11:37 +0000 Gabor Horvath <xazax@google.com> http://172.16.0.5:8080/history/llvm-project-15.0.7/clang/test/Analysis/symbol-escape.cpp#49885b12 [analyzer] ExprEngine: Escape pointers in bitwise operationsSummary:After evaluation it would be an Unknown value and tracking would be lost.Reviewers: NoQ, xazax.hun, ravikandhadai, baloghadamsoftware, SzelethusReviewed By: NoQSubscribers: szepet, rnkovacs, a.sidorin, mikhail.ramalho, donat.nagy, dkrupp, cfe-commitsTags: #clangDifferential Revision: https://reviews.llvm.org/D63720llvm-svn: 364259 List of files: /llvm-project-15.0.7/clang/test/Analysis/symbol-escape.cpp Tue, 25 Jun 2019 00:44:33 +0000 Csaba Dabis <dabis.csaba98@gmail.com>