From 7fd6b5f74e63dd334f1c20a5b0969dd3e2fb9062 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Tue, 26 Feb 2019 17:29:04 +0100
Subject: [PATCH] =?UTF-8?q?[obfuscator]=20Removes=20an=20unnecessary=20try?=
=?UTF-8?q?=E2=80=A6=20with.?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
---
src/plugins/obfuscator/obfuscate.ml | 15 +++++++--------
1 file changed, 7 insertions(+), 8 deletions(-)
diff --git a/src/plugins/obfuscator/obfuscate.ml b/src/plugins/obfuscator/obfuscate.ml
index 1226530bf22..eba13df1132 100644
--- a/src/plugins/obfuscator/obfuscate.ml
+++ b/src/plugins/obfuscator/obfuscate.ml
@@ -84,14 +84,13 @@ class visitor = object
if Varinfo.Hashtbl.mem varinfos_visited vi then
Cil.SkipChildren
else begin
- if Cil.isFunctionType vi.vtype then
- try
- if vi.vname <> "main"
- && not (Cil.is_builtin vi)
- && not (Cil.is_special_builtin vi.vname)
- && not (Cil.hasAttribute "fc_stdlib" vi.vattr) then
- vi.vname <- Dictionary.fresh Obfuscator_kind.Function vi.vname
- with Not_found -> assert false
+ if Cil.isFunctionType vi.vtype then begin
+ if vi.vname <> "main"
+ && not (Cil.is_builtin vi)
+ && not (Cil.is_special_builtin vi.vname)
+ && not (Cil.hasAttribute "fc_stdlib" vi.vattr) then
+ vi.vname <- Dictionary.fresh Obfuscator_kind.Function vi.vname
+ end
else begin
let add =
if vi.vglob then Dictionary.fresh Obfuscator_kind.Global_var
--
GitLab