Skip to content
Success

Changes

Summary

  1. Added a new invariant check and the fixes required to make it pass. Not the new check is by no means exaustive (it doesn't even check every readonly pointer) but it should catch the most common/problematic cases. (details)
  2. Revert "remove push/pop from KR_parameter_list and typedef_declaration" (details)
  3. Repeat "remove push/pop from KR_parameter_list and typedef_declaration" (details)
  4. This may fix the excessive 'struct _IO_FILE;' declarations. I still don't know how to replicate it on my machine. (details)
Commit b7c53a9de3b2c69e7ae86f96b2157dd3de16e3b9 by ajbeach
Added a new invariant check and the fixes required to make it pass. Not the new check is by no means exaustive (it doesn't even check every readonly pointer) but it should catch the most common/problematic cases.
The file was modifiedsrc/InitTweak/InitTweak.cc
The file was modifiedsrc/AST/Util.cpp
The file was modifiedsrc/Validate/LinkReferenceToTypes.cpp
The file was modifiedsrc/Validate/ForallPointerDecay.cpp
The file was modifiedsrc/Validate/ReplaceTypedef.cpp
Commit 402a1e7049af9a2f544acf53eff068b068c51cf0 by ajbeach
Revert "remove push/pop from KR_parameter_list and typedef_declaration"
There may be a bad interaction between this commit and my recent commit.

This reverts commit 09e400e0f48ee973fde037d409e7ec21ed5d8644.
The file was modifiedsrc/Parser/parser.yy
Commit c25f16b046d5ecc5de7cbc4c2f17e95c4d12378d by ajbeach
Repeat "remove push/pop from KR_parameter_list and typedef_declaration"

This reverts commit 402a1e7049af9a2f544acf53eff068b068c51cf0.
This repeats commit 09e400e0f48ee973fde037d409e7ec21ed5d8644.
The file was modifiedsrc/Parser/parser.yy
Commit 0d7fc00c6e8b1ba082c03b271ec5f42acc5134f7 by ajbeach
This may fix the excessive 'struct _IO_FILE;' declarations. I still don't know how to replicate it on my machine.
The file was modifiedsrc/Validate/LinkReferenceToTypes.cpp