Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
tiny optim
authorMartin Quinson <martin.quinson@loria.fr>
Mon, 5 Dec 2016 10:03:46 +0000 (11:03 +0100)
committerMartin Quinson <martin.quinson@loria.fr>
Mon, 5 Dec 2016 10:04:25 +0000 (11:04 +0100)
src/surf/xml/surfxml_parseplatf.cpp

index 95a8a10..6efb5f8 100644 (file)
@@ -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();