From: Martin Quinson <martin.quinson@loria.fr>
Date: Mon, 5 Dec 2016 10:03:46 +0000 (+0100)
Subject: tiny optim
X-Git-Tag: v3_14~116
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/d78198402f27c34dc6cc6da180577ab9f1299dac

tiny optim
---

diff --git a/src/surf/xml/surfxml_parseplatf.cpp b/src/surf/xml/surfxml_parseplatf.cpp
index 95a8a103e6..6efb5f88bb 100644
--- a/src/surf/xml/surfxml_parseplatf.cpp
+++ b/src/surf/xml/surfxml_parseplatf.cpp
@@ -129,8 +129,8 @@ void parse_after_config() {
 void parse_platform_file(const char *file)
 {
 #if HAVE_LUA
-  int is_lua = (file != nullptr && strlen(file) > 3 && file[strlen(file)-3] == 'l' && file[strlen(file)-2] == 'u'
-        && file[strlen(file)-1] == 'a');
+  int len    = (file == nullptr ? 0 : strlen(file));
+  int is_lua = (file != nullptr && len > 3 && file[len - 3] == 'l' && file[len - 2] == 'u' && file[len - 1] == 'a');
 #endif
 
   sg_platf_init();