strlen: handle strchr()
commit0684bc20248ec837c5a788413543f6c2c3f7e112
authorDan Carpenter <dan.carpenter@linaro.org>
Mon, 12 Jun 2023 14:12:56 +0000 (12 17:12 +0300)
committerDan Carpenter <dan.carpenter@linaro.org>
Mon, 12 Jun 2023 14:12:56 +0000 (12 17:12 +0300)
tree94cc6a8b170931abdba1d0c847720271684275f0
parentba2d685c85061e5d7d798c7d4f7d4bfcd6815a75
strlen: handle strchr()

Set a strlen() range for strings returned from strchr().

Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>
smatch_strlen.c