diff options
| author | Richard Biener <rguenther@suse.de> | 2023-01-26 08:59:20 +0100 |
|---|---|---|
| committer | Richard Biener <rguenther@suse.de> | 2023-01-26 13:49:30 +0100 |
| commit | c71a128a3e1ff6ee5274fc2df49ea650bc9e6c2d (patch) | |
| tree | f49abe9f802133f27a862a980a40e74e72d4b53e /gcc/analyzer/infinite-recursion.cc | |
| parent | 0573a0778af88e805f7630ac8640ecd67d692665 (diff) | |
| download | gcc-c71a128a3e1ff6ee5274fc2df49ea650bc9e6c2d.zip gcc-c71a128a3e1ff6ee5274fc2df49ea650bc9e6c2d.tar.gz gcc-c71a128a3e1ff6ee5274fc2df49ea650bc9e6c2d.tar.bz2 | |
tree-optimization/108547 - robustify uninit predicate analysis
Predicate analysis, when looking through casts doesn't bother to
convert boundary constants to the type of the bounded variables.
The following robustifies value_sat_pred_p to use widest_ints
to deal with this, like other code in predicate analysis.
PR tree-optimization/108547
* gimple-predicate-analysis.cc (value_sat_pred_p):
Use widest_int.
* gcc.dg/uninit-pr108547.c: New testcase.
Diffstat (limited to 'gcc/analyzer/infinite-recursion.cc')
0 files changed, 0 insertions, 0 deletions