diff options
| author | Richard Biener <rguenther@suse.de> | 2021-05-18 13:57:06 +0200 |
|---|---|---|
| committer | Richard Biener <rguenther@suse.de> | 2021-05-19 10:18:46 +0200 |
| commit | a73a5af281cebd03bbd37f37eef9a8a91b5fbf95 (patch) | |
| tree | 0346758f0f5d647b9f201dd8b0b9ba4c45ae0dbf /gcc/builtins.c | |
| parent | ea30c7bd497bcd390f7b177e1e156f630a90f232 (diff) | |
| download | gcc-a73a5af281cebd03bbd37f37eef9a8a91b5fbf95.zip gcc-a73a5af281cebd03bbd37f37eef9a8a91b5fbf95.tar.gz gcc-a73a5af281cebd03bbd37f37eef9a8a91b5fbf95.tar.bz2 | |
apply TLC to GIMPLE reference verification
This inlines verify_types_in_gimple_min_lval and makes sure we
also verify call lhs and arguments. It also asserts that
WITH_SIZE_EXPR in plain assignments does not happen, instead
those should have become memcpy/memset.
2021-05-18 Richard Biener <rguenther@suse.de>
* tree-cfg.c (verify_types_in_gimple_min_lval): Inline...
(verify_types_in_gimple_reference): ... here. Sanitize.
(verify_gimple_call): Verify references in LHS and arguments.
(verify_gimple_assign_single): Reject WITH_SIZE_EXPR.
Diffstat (limited to 'gcc/builtins.c')
0 files changed, 0 insertions, 0 deletions