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 0f39a00 commit 6115d57Copy full SHA for 6115d57
CodeHawk/CHB/bchlib/bCHFunctionInfo.ml
@@ -850,6 +850,7 @@ object (self)
850
?(size=4)
851
?(offset=NoOffset)
852
(base: numerical_t): variable_t traceresult =
853
+ let base = base#modulo (mkNumerical BCHDoubleword.e32) in
854
match numerical_to_doubleword base with
855
| Error e -> Error ("finfo.mk_global_variable" :: e)
856
| Ok addr ->
0 commit comments