analyze: shorten code a bit
authorYu Watanabe <watanabe.yu+github@gmail.com>
Thu, 23 Nov 2023 20:19:10 +0000 (05:19 +0900)
committerYu Watanabe <watanabe.yu+github@gmail.com>
Thu, 23 Nov 2023 20:19:14 +0000 (05:19 +0900)
commitc131e8b706d43f9ebd895dee3a8731a8664af90e
tree398a8f0c86f72fd00f67f64efa00c69cf017543d
parent6636145b3e70cb9d7a4347bd364b24a45f85a4c7
analyze: shorten code a bit

No functional change, just refactoring.
src/analyze/analyze-verify-util.c