Merge pull request #9 from BeyondMagic/analise_semantica

Author: BeyondMagic

README.md

@@ -8,6 +8,10 @@ Resumo do MVP de linguagem suportada:
 - I/O: mapeamento simples printf/puts -> print; scanf opcional.
 - Saída Lua: usar local para variáveis, funções Lua equivalentes, operadores com mesma semântica; arrays opcionais como tabelas.
 
+O que não será suportado:
+- Ponteiros, structs, alocação dinâmica, manipulação de memória.
+- Recursos avançados: pré-processador, macros, diretivas de compilação.
+
 ```
 .
 ├── lexer/        # regras léxicas (lexer.l)

scripts/run_semantic_tests.sh

@@ -0,0 +1,54 @@
+#!/usr/bin/env bash
+set -euo pipefail
+
+COMPILER_CMD="${COMPILER_CMD:-compiler --semantic}"
+
+RED=$(printf '\033[31m')
+GRN=$(printf '\033[32m')
+YEL=$(printf '\033[33m')
+RST=$(printf '\033[0m')
+
+fail_count=0
+pass_count=0
+
+echo "== PASS cases =="
+for f in tests/semantic/pass/*.c; do
+  if [ ! -e "$f" ]; then continue; fi
+  if $COMPILER_CMD "$f" >/dev/null 2>tmp.err; then
+    echo -e "${GRN}PASS${RST} $f"
+    pass_count=$((pass_count+1))
+  else
+    echo -e "${RED}FAIL (unexpected error)${RST} $f"
+    cat tmp.err
+    fail_count=$((fail_count+1))
+  fi
+done
+
+echo ""
+echo "== FAIL cases =="
+for f in tests/semantic/fail/*.c; do
+  base=$(basename "$f")
+  golden="tests/golden/fail/${base}.golden"
+  if $COMPILER_CMD "$f" >/dev/null 2>tmp.err; then
+    echo -e "${RED}FAIL (expected error, got success)${RST} $f"
+    fail_count+=1
+  else
+    if diff -u "$golden" tmp.err >/dev/null; then
+      echo -e "${GRN}PASS (matched golden)${RST} $f"
+      pass_count=$((pass_count+1))
+    else
+      echo -e "${YEL}MISMATCH${RST} $f"
+      echo "Expected:"
+      cat "$golden" || true
+      echo "Got:"
+      cat tmp.err
+      fail_count=$((fail_count+1))
+    fi
+  fi
+done
+
+rm -f tmp.err || true
+
+echo ""
+echo "Summary: ${GRN}${pass_count} passed${RST}, ${RED}${fail_count} failed${RST}."
+if [ "$fail_count" -ne 0 ]; then exit 1; fi

tests/expressions.c

@@ -1,8 +1,22 @@
-int main()
+int add(int k, int y)
+{
+	return k + y;
+}
+
+int sum(int a, int b)
+{
+	// a + b
+	/*
+	* comment
+	*/
+	int r = (a + b) / 10;
+	return r;
+}
+
+int main(int K)
 {
 	int a = 10;
 	int b = 20;
-	int sum = a + b;
-	printf("Sum: %d\n", sum);
+	int r = sum(a, b) + add(a, b);
 	return 0;
-}
+}

tests/golden/fail/array_index_string.c.golden

@@ -0,0 +1 @@
+array_index_string.c:2:11: E003: índice de array não numérico (string)

tests/golden/fail/bad_if.c.golden

@@ -0,0 +1 @@
+bad_if.c:1:5: E002: condição não booleana em if (use comparação explícita)

tests/golden/fail/int_plus_string.c.golden

@@ -0,0 +1 @@
+int_plus_string.c:2:11: E001: tipo inválido em operação aritmética: int + string

tests/golden/fail/wrong_assign.c.golden

@@ -0,0 +1 @@
+wrong_assign.c:2:1: E004: atribuição incompatível: float ← int*

tests/semantic/fail/array_index_string.c

@@ -0,0 +1,6 @@
+int main ()
+{
+int arr[2];
+int x = arr["0"]; // E003: índice de array não numérico
+return 0;
+}

tests/semantic/fail/bad_if.c

@@ -0,0 +1,4 @@
+int main ()
+{
+if ("texto") { }  // E002: condição não booleana em if (use comparação explícita)
+}

tests/semantic/fail/int_plus_string.c

@@ -0,0 +1,5 @@
+int main ()
+{
+int a = 1; char* s = "x";
+int z = a + s; // E001: tipo inválido em operação aritmética
+}