projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 53881c4) | patch
analyzer: handle (NULL == &VAR) [PR107345]
authorDavid Malcolm <dmalcolm@redhat.com>
Mon, 24 Oct 2022 20:38:23 +0000 (16:38 -0400)
committerDavid Malcolm <dmalcolm@redhat.com>
Mon, 24 Oct 2022 20:38:23 +0000 (16:38 -0400)
commit18faaeb3af42f3d7dc609b9b91df77d0d59b16f6
tree02832e9ec60981b631d1c28fe1f6486c02d948f9tree | snapshot
parent53881c47e4b3574e2cb2046a6cb154c87a9836b6commit | diff
analyzer: handle (NULL == &VAR) [PR107345]

gcc/analyzer/ChangeLog:
PR analyzer/107345
* region-model.cc (region_model::eval_condition_without_cm):
Ensure that constants are on the right-hand side before checking
for them.

gcc/testsuite/ChangeLog:
PR analyzer/107345
* gcc.dg/analyzer/pr107345.c: New test.

Signed-off-by: David Malcolm <dmalcolm@redhat.com>
gcc/analyzer/region-model.cc diff | blob | history
gcc/testsuite/gcc.dg/analyzer/pr107345.c [new file with mode: 0644] blob
Domain: System / Toolchain;