changeset 119:e40f75de788d

Secret annotator: Allow subscribing arrays
author Sigurd Meldgaard <stm@daimi.au.dk>
date Mon, 26 Oct 2009 10:35:15 +0100
parents 1a9b04a236e1
children 7b2b7c4f30c8
files pysmcl/secret_annotator.py
diffstat 1 files changed, 2 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/pysmcl/secret_annotator.py	Mon Oct 26 10:33:48 2009 +0100
+++ b/pysmcl/secret_annotator.py	Mon Oct 26 10:35:15 2009 +0100
@@ -38,6 +38,8 @@
             return True # but bad_calls will warn us
     elif isinstance(exp, ast.Str):
         return False
+    elif isinstance(exp, ast.Subscript):
+        return expr_secret(exp.value, secret_variables)
     else:
         assert False, "Not implemented of type %s" % type(exp)