| commit | 5e5feb770e1aa540c32c897da0cee65115755ccf | |
| author | Tobias Grosser <tobias@grosser.es> | |
| Sun, 13 Nov 2016 19:27:24 +0000 (13 19:27 +0000) | ||
| committer | Tobias Grosser <tobias@grosser.es> | |
| Sun, 13 Nov 2016 19:27:24 +0000 (13 19:27 +0000) | ||
| tree | 2d8bd256755dc82e600ce01301d33eb8fb6ea5cf | treesnapshot (tar.gz zip) |
| parent | eb09da0c3a3cbe3946db129415b439b2b0e52c8c | commitdiff |
[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.
git-svn-id: https://llvm.org/svn/llvm-project/polly/trunk@286771 91177308-0d34-0410-b5e6-96231b3b80d8
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.
git-svn-id: https://llvm.org/svn/llvm-project/polly/trunk@286771 91177308-0d34-0410-b5e6-96231b3b80d8
| lib/Analysis/ScopBuilder.cpp | diffblobblamehistory | |
| lib/Analysis/ScopDetection.cpp | diffblobblamehistory |