3 Commits

Author	SHA1	Message	Date
Arthur Eubanks	f762198a61	[test] Fix tests using -analyze that fail under NPM ... Many of these tests don't use the output of -analyze.	2020-10-21 21:54:30 -07:00
Arthur Eubanks	7a90a95ac2	[NewPM][BasicAA] basicaa -> basic-aa in Analysis/BasicAA ... Following https://reviews.llvm.org/D82607. Reviewed By: ychen Differential Revision: https://reviews.llvm.org/D82683	2020-06-26 14:58:01 -07:00
Johannes Doerfert	0f96edfd08	[BasicAA] Use dereferenceability to reason about aliasing ... Summary: We already use the fact that an object with known size X does not alias another objection of size Y > X before. With this commit, we use dereferenceability information to determine a lower bound for Y and not only rely on the user provided query size. The result for @global_and_deref_arg_2() and @local_and_deref_ret_2() in test/Analysis/BasicAA/dereferenceable.ll improved with this patch. Reviewers: asbirlea, chandlerc, hfinkel, sanjoy Subscribers: hiraditya, bollu, llvm-commits Tags: #llvm Differential Revision: https://reviews.llvm.org/D66157 llvm-svn: 369786	2019-08-23 17:56:10 +00:00