Changeset d3d54b3 for src/AST/Util.cpp

Timestamp:

Feb 5, 2025, 1:45:29 PM (2 months ago)

Author:

Michael Brooks <mlbrooks@…>

Branches:

master

Children:

ab94c37

Parents:

92aeae1

Message:

Eliminate warnings due to sizeof returning type inconsistent with %zu. Fix #269.

Test

nowarn/printf-sizeof

: Activate direct test of the bug.

Tests

alloc-ERROR
extension
array-collections/dimexpr-match-c-ERRS

: Accommodate incidental changes in error-message text or generated code.

File:

• src/AST/Util.cpp (modified) (2 diffs)

src/AST/Util.cpp ¶

@@ -22 +22 @@
 #include "Common/Utility.hpp"
 #include "GenPoly/ScopedSet.hpp"
+#include "Decl.hpp"
+#include "Type.hpp"
 
 #include <vector>
@@ -382 +384 @@
 }
 
+namespace {
+        const TranslationUnit * transUnit = 0;
+}
+
+void TranslationDeps::evolve( TranslationUnit & u ) {
+        transUnit = &u;
+}
+
+const ast::Type * TranslationDeps::getSizeType() {
+        static const ast::Type * zd_abstract = new TypeInstType{ "size_t", TypeDecl::Kind::Dtype };
+        static const ast::Type * ld_concrete = new BasicType( BasicKind::LongUnsignedInt );
+        if ( ! transUnit ) {
+                // early state
+                // as if `size_t` in program text were freshly parsed
+                return zd_abstract;
+        } else if ( transUnit->global.sizeType ) {
+                // late state, normal run
+                // whatever size_t was defined as
+                return transUnit->global.sizeType;
+        } else {
+                // late state, no prelude (-n)
+                // placeholder: cfa-cpp is being used experimentally, stay out of the way
+                return ld_concrete;
+        }
+}
+
+
 } // namespace ast