We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent c18fa56 commit 3ea5646Copy full SHA for 3ea5646
chb/app/CHVersion.py
@@ -1 +1 @@
1
-chbversion: str = "0.3.0-20250817"
+chbversion: str = "0.3.0-20250819"
chb/arm/ARMCallOpcode.py
@@ -342,7 +342,7 @@ def ast_call_prov(
342
rtype.is_void
343
or ((defuses[0] is None)
344
and (defuseshigh[0] is None)
345
- and not self.return_value)):
+ and not self.return_value(xdata))):
346
chklogger.logger.info(
347
"Unused: introduced ssa-variable: %s for return value of %s "
348
+ "at address %s",
0 commit comments