diff options
| author | David Malcolm <dmalcolm@redhat.com> | 2020-09-16 13:12:39 -0400 |
|---|---|---|
| committer | David Malcolm <dmalcolm@redhat.com> | 2020-09-16 18:56:50 -0400 |
| commit | e097c9ab83192fc2f738ec6426a275282e9a51ea (patch) | |
| tree | f50440aa428bda9f922ee6871aec460eb9043031 /gcc/doc/cppenv.texi | |
| parent | 3f4b15f52f4d5f202a7f27bdbb41a8fff218d323 (diff) | |
| download | gcc-e097c9ab83192fc2f738ec6426a275282e9a51ea.zip gcc-e097c9ab83192fc2f738ec6426a275282e9a51ea.tar.gz gcc-e097c9ab83192fc2f738ec6426a275282e9a51ea.tar.bz2 | |
analyzer: getchar has no side-effects
Seen whilst debugging another issue, where the analyzer was assuming
conservatively that a call to getchar could clobber a global.
This is handled for most of the other stdio functions by the list
in sm-file.cc
gcc/analyzer/ChangeLog:
* region-model.cc (region_model::on_call_pre): Treat getchar as
having no side-effects.
gcc/testsuite/ChangeLog:
* gcc.dg/analyzer/getchar-1.c: New test.
Diffstat (limited to 'gcc/doc/cppenv.texi')
0 files changed, 0 insertions, 0 deletions