This is an automated email from the git hooks/post-receive script.
unknown user pushed a change to branch devel/sphinx in repository gcc.
from c4cf402822b Merge branch 'master' into devel/sphinx adds ac68f904fe3 middle-end/106617 - fix fold_binary_op_with_conditional_arg [...] adds 011d0a033ab Make path_range_query standalone and add reset_path. adds c83e97317ef analyzer: warn on the use of floating-points operands in th [...] adds 5b0d0542920 contrib: Fix a typo in contrib/git-fetch-vendor.sh adds 7f5ec900e53 RISC-V: Standardize formatting of SFB ALU conditional move new 9dfe1f671ae Merge branch 'master' into devel/sphinx
The 1 revisions listed above as "new" are entirely new to this repository and will be described in separate emails. The revisions listed as "adds" were already present in the repository and have only been added to this reference.
Summary of changes: contrib/git-fetch-vendor.sh | 2 +- gcc/analyzer/analyzer.opt | 4 + gcc/analyzer/region-model.cc | 179 ++++++++++++++++++--- gcc/analyzer/region-model.h | 2 + gcc/config/riscv/riscv.md | 4 +- gcc/doc/invoke.texi | 14 ++ gcc/gimple-range-path.cc | 114 ++++++------- gcc/gimple-range-path.h | 22 ++- gcc/match.pd | 4 +- gcc/testsuite/gcc.dg/analyzer/allocation-size-1.c | 10 ++ .../gcc.dg/analyzer/imprecise-floating-point-1.c | 74 +++++++++ gcc/testsuite/gcc.dg/analyzer/pr106181.c | 11 ++ gcc/testsuite/gcc.dg/pr106617.c | 36 +++++ gcc/tree-ssa-dom.cc | 2 +- gcc/tree-ssa-loop-ch.cc | 12 +- gcc/tree-ssa-threadbackward.cc | 20 +-- gcc/tree-ssa-threadedge.cc | 30 ++-- gcc/tree-ssa-threadedge.h | 5 +- 18 files changed, 419 insertions(+), 126 deletions(-) create mode 100644 gcc/testsuite/gcc.dg/analyzer/imprecise-floating-point-1.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/pr106181.c create mode 100644 gcc/testsuite/gcc.dg/pr106617.c