granicus.if.org Git - clang/commit

]> granicus.if.org Git - clang/commit

author	Gabor Horvath <xazax.hun@gmail.com>
	Tue, 29 Jan 2019 10:27:14 +0000 (10:27 +0000)
committer	Gabor Horvath <xazax.hun@gmail.com>
	Tue, 29 Jan 2019 10:27:14 +0000 (10:27 +0000)
commit	df4319332f38db90cd9dd4af9afa94c2ed429fc7
tree	5aca97257ea41d49efdc66908d7542e9c264f8f9	tree \| snapshot
parent	ad06eca808f857ae9c8dd9d3e868dd4cc65d3710	commit \| diff

[analyzer] Toning down invalidation a bit

When a function takes the address of a field the analyzer will no longer
assume that the function will change other fields of the enclosing structs.

Differential Revision: https://reviews.llvm.org/D57230

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@352473 91177308-0d34-0410-b5e6-96231b3b80d8

Unnamed repository; edit this file 'description' to name the repository.

RSS Atom

lib/StaticAnalyzer/Core/CallEvent.cpp		diff \| blob \| history
test/Analysis/call-invalidation.cpp		diff \| blob \| history
test/Analysis/cxx-uninitialized-object.cpp		diff \| blob \| history
test/Analysis/malloc.c		diff \| blob \| history
test/Analysis/taint-generic.c		diff \| blob \| history
test/Analysis/taint-tester.c		diff \| blob \| history