diff options
| author | David Malcolm <dmalcolm@redhat.com> | 2023-09-15 13:47:42 -0400 |
|---|---|---|
| committer | David Malcolm <dmalcolm@redhat.com> | 2023-09-15 13:47:42 -0400 |
| commit | 6319b5b2d4669077e4ddf1e249eeb5602394693c (patch) | |
| tree | 5a9122bb148c7bb4b3bbbe416e635e797cb314b6 /gcc/analyzer/infinite-recursion.cc | |
| parent | 1cbf18978aa384bd0ed2dc29b107fc3423cf8e62 (diff) | |
| download | gcc-6319b5b2d4669077e4ddf1e249eeb5602394693c.zip gcc-6319b5b2d4669077e4ddf1e249eeb5602394693c.tar.gz gcc-6319b5b2d4669077e4ddf1e249eeb5602394693c.tar.bz2 | |
analyzer: handle volatile ops
gcc/analyzer/ChangeLog:
* region-model.cc (region_model::get_gassign_result): Handle
volatile ops by using a conjured_svalue.
gcc/testsuite/ChangeLog:
* c-c++-common/analyzer/volatile-1.c: New test.
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
Diffstat (limited to 'gcc/analyzer/infinite-recursion.cc')
0 files changed, 0 insertions, 0 deletions