]> gcc.gnu.org Git - gcc.git/commit
git://gcc.gnu.org / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 23f3529) | patch
analyzer: regions in different memory spaces can't alias
authorDavid Malcolm <dmalcolm@redhat.com>
Fri, 2 Jun 2023 13:28:30 +0000 (09:28 -0400)
committerDavid Malcolm <dmalcolm@redhat.com>
Fri, 2 Jun 2023 13:28:30 +0000 (09:28 -0400)
commitb8a916726e7f4b8871ac9dd75b66d26d1adf4798
tree9ccd92234aa7a0516c07fdd23f26117db5bc11a5tree
parent23f352972faabe94606687558a66135f9a9e17fbcommit | diff
analyzer: regions in different memory spaces can't alias

gcc/analyzer/ChangeLog:
* store.cc (store::eval_alias_1): Regions in different memory
spaces can't alias.

Signed-off-by: David Malcolm <dmalcolm@redhat.com>
gcc/analyzer/store.cc diff | blob | blame | history
GNU Compiler Collection
This page took 0.058465 seconds and 5 git commands to generate.