c-next 0.2.14 → 0.2.15

package/dist/index.js

@@ -11,7 +11,7 @@ import { hideBin } from "yargs/helpers";
 // package.json
 var package_default = {
   name: "c-next",
-  version: "0.2.14",
+  version: "0.2.15",
   description: "A safer C for embedded systems development. Transpiles to clean, readable C.",
   packageManager: "npm@11.9.0",
   type: "module",
@@ -112676,7 +112676,7 @@ var DEFAULT_TARGET = {
   hasLdrexStrex: false,
   hasBasepri: false
 };
-var CodeGenState = class {
+var CodeGenState = class _CodeGenState {
   // ===========================================================================
   // GENERATOR REFERENCE (for handler access)
   // ===========================================================================
@@ -113043,6 +113043,19 @@ var CodeGenState = class {
     if (symbol?.kind === "variable" && symbol.type) {
       return this.convertTSymbolToTypeInfo(symbol);
     }
+    const cSymbol = this.symbolTable.getCSymbol(name);
+    if (cSymbol?.kind === "variable" && cSymbol.type) {
+      const baseType = _CodeGenState.stripTrailingPointers(cSymbol.type);
+      if (this.symbolTable.isTypedefStructType(baseType) || this.symbolTable.getStructFields(baseType)) {
+        return {
+          baseType,
+          bitWidth: 0,
+          isArray: cSymbol.isArray || false,
+          isConst: cSymbol.isConst || false,
+          isPointer: cSymbol.type.endsWith("*")
+        };
+      }
+    }
     return void 0;
   }
   /**
@@ -113061,7 +113074,15 @@ var CodeGenState = class {
       return true;
     }
     const symbol = this.symbolTable.getTSymbol(name);
-    return symbol?.kind === "variable" && symbol.type !== void 0;
+    if (symbol?.kind === "variable" && symbol.type !== void 0) {
+      return true;
+    }
+    const cSymbol = this.symbolTable.getCSymbol(name);
+    if (cSymbol?.kind === "variable" && cSymbol.type) {
+      const baseType = _CodeGenState.stripTrailingPointers(cSymbol.type);
+      return this.symbolTable.isTypedefStructType(baseType) || !!this.symbolTable.getStructFields(baseType);
+    }
+    return false;
   }
   /**
    * Set variable type info in the local registry.
@@ -113087,6 +113108,17 @@ var CodeGenState = class {
    * Convert a TSymbol IVariableSymbol to TTypeInfo for unified type lookups.
    * ADR-055 Phase 7: Works with typed TSymbol instead of ISymbol.
    */
+  /**
+   * Strip trailing pointer stars from a C type string (e.g., "font_t*" → "font_t").
+   * Uses string operations instead of regex to avoid SonarCloud ReDoS flag (S5852).
+   */
+  static stripTrailingPointers(type) {
+    let end = type.length;
+    while (end > 0 && type[end - 1] === "*") {
+      end--;
+    }
+    return type.slice(0, end).trim();
+  }
   static convertTSymbolToTypeInfo(symbol) {
     const typeName = TypeResolver_default.getTypeName(symbol.type);
     const stringPattern = /^string<(\d+)>$/;
@@ -135949,6 +135981,8 @@ var VariableCollector2 = class {
    */
   static collect(name, baseType, declarator, sourceFile, line, isExtern) {
     const arrayDimensions = declarator ? DeclaratorUtils_default.extractArrayDimensions(declarator) : [];
+    const hasPointer = declarator?.pointer?.() !== null && declarator?.pointer?.() !== void 0;
+    const resolvedType = hasPointer ? `${baseType}*` : baseType;
     return {
       kind: "variable",
       name,
@@ -135956,7 +135990,7 @@ var VariableCollector2 = class {
       sourceLine: line,
       sourceLanguage: ESourceLanguage_default.C,
       isExported: !isExtern,
-      type: baseType,
+      type: resolvedType,
       isArray: arrayDimensions.length > 0,
       arrayDimensions: arrayDimensions.length > 0 ? arrayDimensions : void 0,
       isExtern
@@ -135966,6 +136000,10 @@ var VariableCollector2 = class {
    * Collect a variable from declaration specifiers (when identifier appears as typedefName).
    * This handles the C grammar ambiguity where variable names can be parsed as typedef names.
    *
+   * Note: No pointer detection here — this path handles declarations without an
+   * initDeclaratorList. Pointer declarations (e.g., `font_t *ptr`) always produce
+   * an initDeclaratorList (the `*` creates a declarator), so they go through collect().
+   *
    * @param name Variable name
    * @param baseType Variable type
    * @param sourceFile Source file path