]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7006f02) | patch
analyzer: avoid usage of TYPE_PRECISION on vector types [PR110455]
authorDavid Malcolm <dmalcolm@redhat.com>
Fri, 21 Jul 2023 00:24:10 +0000 (20:24 -0400)
committerDavid Malcolm <dmalcolm@redhat.com>
Fri, 21 Jul 2023 00:24:10 +0000 (20:24 -0400)
commita4913a19d24a794c97f38d9c65c47c1fb9f2140c
tree307cb9f994d840ae17b2098431b3a9569a50c622tree | snapshot
parent7006f02bbc3f1d0b7ed7fe2122abc0896aa848d2commit | diff
analyzer: avoid usage of TYPE_PRECISION on vector types [PR110455]

gcc/analyzer/ChangeLog:
PR analyzer/110455
* region-model.cc (region_model::get_gassign_result): Only check
for bad shift counts when dealing with an integral type.

gcc/testsuite/ChangeLog:
PR analyzer/110455
* gcc.dg/analyzer/pr110455.c: New test.

Signed-off-by: David Malcolm <dmalcolm@redhat.com>
gcc/analyzer/region-model.cc diff | blob | blame | history
gcc/testsuite/gcc.dg/analyzer/pr110455.c [new file with mode: 0644] blob
Mirror of https://gcc.gnu.org/git/gcc.git