diff options
| author | Kevin Burk <xavierholt@gmail.com> | 2020-08-21 16:54:49 -0700 |
|---|---|---|
| committer | Glenn Smith <couleeapps@gmail.com> | 2020-08-26 15:04:59 -0400 |
| commit | 3e1eb0eb575458a04c678ad413a2122fad7e0518 (patch) | |
| tree | 9da3e096e24b6ad6b9c58bc5c207ae6abd62e12f /python/function.py | |
| parent | aa5e9651f1320e40222337e23410e6a2e9642ae9 (diff) | |
Reload default variable name when unset; don't clobber user type.
Diffstat (limited to 'python/function.py')
| -rw-r--r-- | python/function.py | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/python/function.py b/python/function.py index 42ea5a07..58ed253e 100644 --- a/python/function.py +++ b/python/function.py @@ -876,12 +876,14 @@ class Variable(object): def name(self, value): if self._function is None: self._name = value - elif value is not None: + elif value: self._function.create_user_var(self, self._type, value) self._name = value else: - self._function.delete_user_var(self) - # TODO: Reset to default name! + self._function.create_user_var(self, self._type, "") + self._function.view.update_analysis_and_wait() + var = core.BNFromVariableIdentifier(self._identifier) + self._name = core.BNGetVariableName(self._function.handle, var) @property def type(self): |
