Skip to content

v9.1

Latest

Choose a tag to compare

@MikePopoloski MikePopoloski released this 25 Sep 12:55
e0b33f9

Fixes

  • Non-blocking assignments with intra-assignment delays are now correctly allowed in always_comb blocks
  • Fixed enum base type check to properly error for multidimensional vector types
  • An appropriate error is now issued for enums that specify themselves as their own base type
  • Fixed a bug when parsing multiple comma separated type parameter declarations in a module port list
  • Fixed a bug in the accounting of how many nested for loop steps have been taken during dataflow analysis
  • Fixed AST serialization to respect the --disable-instance-caching flag
  • Fixed the check for infinite recursion in hierarchy instantiations to actually work
  • Fixed potentially infinite recursion when evaluating variable initializers in a recursive function
  • Fixed potentially infinite recursion with bad for loops with a preceeding statement label
  • Fixed various issues related to handling invalid patterns in conditional statements
  • Fixed a crash when evaluating top-level constant expression with pattern variables
  • We now properly report an error instead of crashing for subroutine formal arguments that call their parent function recursively from their default value expression
  • Fixed a crash in the preprocessor when there are ignored back-to-back macro concatenation tokens inside a macro expansion
  • Fixed check for use of rand variables in dist constraints to work with struct member access
  • Fixed spurious error when using $ in dist constraints
  • Fixed a bug that could cause diagnostics to be issued for assertions used within uninstantiated generate blocks
  • Fixed a bug that could cause "used before declared" errors to be issued for use of super class members in derived classes
  • Fixed a crash that could occur when the lexer gives up due to too many errors while parsing a pragma preprocessor directive

Tools & Bindings

slang-tidy

  • Fixed a crash in OnlyANSIPortDecls checker when ports don't connect to an internal symbol (thanks to @likeamahoney)
  • Fixed assertion in EnforcePortSuffix checker with ports that don't have a name (thanks to @likeamahoney)
  • Fixed a crash when an invalid value is provided for the --code flag (thanks to @likeamahoney)
  • Made the --dump-config option actually work correctly (thanks to @likeamahoney)