[LLVM] Fix warning msg when asm parser fails (#943)

Signed-off-by: Hernan Ponce de Leon <[email protected]>
Co-authored-by: Hernan Ponce de Leon <[email protected]>

Author: hernanponcedeleon

dartagnan/src/main/java/com/dat3m/dartagnan/parsers/program/visitors/VisitorLlvm.java

@@ -411,10 +411,12 @@ public Expression visitCallInst(CallInstContext ctx) {
                 }
             }
             if(!unsupportedEncountered && events.isEmpty()){
-                logger.warn("None of the parsers succeeded for inline assembly. Setting non deterministic value");
+                String msg = "Ignoring call.";
                 if(resultRegister != null){
                     block.events.add(EventFactory.Svcomp.newNonDetChoice(resultRegister));
+                    msg = "Setting non deterministic value.";
                 }
+                logger.warn("None of the parsers succeeded for inline assembly." + msg);
             }
             return resultRegister;
         }