diff options
| -rw-r--r-- | src/analyzer.js | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/analyzer.js b/src/analyzer.js index 69b811f0..9d060a2c 100644 --- a/src/analyzer.js +++ b/src/analyzer.js @@ -1237,7 +1237,7 @@ function analyzer(data, sidePass) { if (phi.intertype == 'phi') { for (var i = 0; i < phi.params.length; i++) { phi.params[i].label = func.labelIds[phi.params[i].label]; - if (!phi.params[i].label) warn('phi refers to nonexistent label on line ' + phi.lineNum); + if (VERBOSE && !phi.params[i].label) warn('phi refers to nonexistent label on line ' + phi.lineNum); } } }); @@ -1316,7 +1316,7 @@ function analyzer(data, sidePass) { if (phi.intertype == 'phi') { for (var i = 0; i < phi.params.length; i++) { var param = phi.params[i]; - if (!param.label) warn('phi refers to nonexistent label on line ' + phi.lineNum); + if (VERBOSE && !param.label) warn('phi refers to nonexistent label on line ' + phi.lineNum); var sourceLabelId = getActualLabelId(param.label); if (sourceLabelId) { var sourceLabel = func.labelsDict[sourceLabelId]; |