diff options
| author |  t-espave <unknown> | 2011-07-26 15:45:17 -0700 |
|---|---|---|
| committer | t-espave <unknown> | 2011-07-26 15:45:17 -0700 |
| commit | 582f56b7d7892cfbd04b5a7322a213e627b049ca (patch) | |
| tree | fb8d971b5cff1b9eb650548ffafc3244e09b3317 /BCT | |
| parent | 2ae20b9061caba69e43a479481b5179c5db80805 (diff) | |
bugfix on null assignments
Diffstat (limited to 'BCT')
| -rw-r--r-- | BCT/BytecodeTranslator/ExpressionTraverser.cs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/BCT/BytecodeTranslator/ExpressionTraverser.cs b/BCT/BytecodeTranslator/ExpressionTraverser.cs index 23c78a85..7c550269 100644 --- a/BCT/BytecodeTranslator/ExpressionTraverser.cs +++ b/BCT/BytecodeTranslator/ExpressionTraverser.cs @@ -686,7 +686,8 @@ namespace BytecodeTranslator ICompileTimeConstant constant= assignment.Source as ICompileTimeConstant;
// TODO move away phone related code from the translation, it would be better to have 2 or more translation phases
if (PhoneCodeHelper.PhonePlugin != null && PhoneCodeHelper.PhoneNavigationToggled &&
- constant != null && constant.Value.Equals(PhoneCodeHelper.BOOGIE_DO_HAVOC_CURRENTURI)) {
+ constant != null && constant.Type == sink.host.PlatformType.SystemString &&
+ constant.Value != null && constant.Value.Equals(PhoneCodeHelper.BOOGIE_DO_HAVOC_CURRENTURI)) {
TranslateHavocCurrentURI();
} else {
TranslateAssignment(tok, assignment.Target.Definition, assignment.Target.Instance, assignment.Source);
|