verilator/test_regress/t/t_lint_nolatch_bad.v

// DESCRIPTION: Verilator: Verilog Test module for Issue#1609
//
// This file ONLY is placed into the Public Domain, for any use,
// without warranty, 2020 by Julien Margetts.

module t (/*AUTOARG*/ a, b, o);
   input  a;
   input  b;
   output reg o;

   always_latch @(a or b)
     if (a)
       o <= b;
     else
       o <= ~b;

endmodule