projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a9cac6a) | patch
[ScopDetect] Conservatively handle inaccessible memory alias attributes
authorTobias Grosser <tobias@grosser.es>
Sun, 13 Nov 2016 19:27:24 +0000 (19:27 +0000)
committerTobias Grosser <tobias@grosser.es>
Sun, 13 Nov 2016 19:27:24 +0000 (19:27 +0000)
commit70d2709b1a4ba47232dee8ffb02ebc768fc7ca5d
tree8f7087b4d65c0c5acaaaac91a149a74069e13da1tree | snapshot
parenta9cac6a732085165c3b7262705b1ae1965eb366ccommit | diff
[ScopDetect] Conservatively handle inaccessible memory alias attributes

Commit r286294 introduced support for inaccessiblememonly and
inaccessiblemem_or_argmemonly attributes to BasicAA, which we need to
support to avoid undefined behavior. This change just refuses all calls
which are annotated with these attributes, which is conservatively correct.
In the future we may consider to model and support such function calls
in Polly.

llvm-svn: 286771
polly/lib/Analysis/ScopBuilder.cpp diff | blob | history
polly/lib/Analysis/ScopDetection.cpp diff | blob | history
Domain: System / Toolchain;