fix(warn): 修复循环错误的警告触发条件问题.

Author: xiaoyi1212

lib/math.exf

@@ -24,12 +24,12 @@ function sqrt(n) {
     while (diff > precision) {
         last = x;
         x = (x + n / x) / 2;
-        
+
         diff = x * x - n;
         if (diff < 0) { diff = 0 - diff; }
-        
+
         if (x == last) {
-            diff = 0; 
+            diff = 0;
         }
     }
 

src/compiler/ast/mod.rs

@@ -84,6 +84,7 @@ pub enum ASTStmtTree {
         token: Token,
         cond: ASTExprTree,
         body: Vec<ASTStmtTree>,
+        is_easy: bool,
     },
     Function {
         // function identifier() {}

src/compiler/parser/while.rs

@@ -10,12 +10,13 @@ pub fn while_eval(parser: &mut Parser) -> Result<ASTStmtTree, ParserError> {
     let mut token = parser.next_parser_token()?;
     let head = token.clone();
     let cond: ASTExprTree;
-
+    let is_easy;
     match token.t_type {
         LP => {
             if token.text() == "{" {
                 let tk_b = token.clone();
                 parser.cache = Some(token);
+                is_easy = true;
                 cond = Literal(Token::new(
                     SmolStr::new("true"),
                     tk_b.line,
@@ -24,6 +25,7 @@ pub fn while_eval(parser: &mut Parser) -> Result<ASTStmtTree, ParserError> {
                     TokenType::True,
                 ));
             } else {
+                is_easy = false;
                 parser.cache = Some(token);
                 cond = parser.parser_cond()?;
             }
@@ -40,5 +42,5 @@ pub fn while_eval(parser: &mut Parser) -> Result<ASTStmtTree, ParserError> {
 
     let body = blk_eval(parser)?;
 
-    Ok(ASTStmtTree::Loop { token:head,cond, body })
+    Ok(ASTStmtTree::Loop { token:head,cond, body, is_easy })
 }

src/compiler/semantic/block.rs

@@ -51,8 +51,9 @@ pub fn block_semantic(
                 token: _token,
                 cond,
                 body,
+                is_easy,
             } => {
-                let ret_m = while_semantic(semantic, &cond, body, code, locals)?;
+                let ret_m = while_semantic(semantic, &cond, body, code, locals, is_easy)?;
                 opcodes.append_code(&ret_m);
             }
             ASTStmtTree::Break(token) =>{

src/compiler/semantic/mod.rs

@@ -74,8 +74,9 @@ impl<'a> Semantic<'a> {
                         token: _token,
                         cond,
                         body,
+                        is_easy,
                     } => {
-                        let ret_m = while_semantic(self, &cond, body, code, &mut global)?;
+                        let ret_m = while_semantic(self, &cond, body, code, &mut global, is_easy)?;
                         code.get_code_table().append_code(&ret_m);
                     }
                     ASTStmtTree::Function { name, args, body } => {

src/compiler/semantic/while.rs

@@ -14,6 +14,7 @@ pub fn while_semantic(
     body: Vec<ASTStmtTree>,
     code: &mut Code,
     locals: &mut LocalMap,
+    is_easy: bool,
 ) -> Result<OpCodeTable, ParserError> {
     semantic
         .compiler_data()
@@ -29,7 +30,7 @@ pub fn while_semantic(
         ));
     }
 
-    if matches!(exp.0, Operand::ImmBool(_)) && !semantic.file.has_warnings(LoopNoExpr) {
+    if matches!(exp.0, Operand::ImmBool(_)) && !semantic.file.has_warnings(LoopNoExpr) && !is_easy {
         Compiler::warning_info_expr(
             semantic.file,
             "'while(true)' can be written as 'while'.",