Guard invalid device memory flushes.

Fixes #2617.
google · Mar 15, 2019 · 2f286f4 · 2f286f4
1 parent 8168d88
commit 2f286f4
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/gapis/api/vulkan/api/memory.api b/gapis/api/vulkan/api/memory.api
@@ -211,7 +211,7 @@ cmd VkResult vkFlushMappedMemoryRanges(
       }
     }
 
-    if !(flushRange.memory in DeviceMemories) { vkErrorInvalidDeviceMemory(flushRange.memory) }
+    if !(flushRange.memory in DeviceMemories) { vkErrorInvalidDeviceMemory(flushRange.memory) } else {
     memoryObject := DeviceMemories[flushRange.memory]
     mappedLocation := as!u8*(memoryObject.MappedLocation)
     flushStart := flushRange.offset - memoryObject.MappedOffset
@@ -228,7 +228,7 @@ cmd VkResult vkFlushMappedMemoryRanges(
         // copy() contains an implicit read observation
         copy(memoryObject.Data[flushRange.offset:flushRange.offset + flushRange.size], (mappedLocation)[flushStart:flushStart + flushRange.size])
       }
-    }
+    }}
   }
   return ?
 }