test/bufferTest.out

   1
   2 test4.c: (in function t)
   3 test4.c:6:3: Variable g used before definition
   4 constraintExpr.c:307: at source point
   5 test4.c:15:2: *** Internal Bug at constraintExpr.c:307: llassert failed:
   6                 constraintExprData_isDefined(data) [errno: 25]
   7 *** Last code point: aliasChecks.c:3664
   8 *** Previous code point: aliasChecks.c:3565
   9 Possible system error diagnostic: : Inappropriate ioctl for device
  10      *** Please report bug to lclint-bug@cs.virginia.edu ***
  11        (attempting to continue, results may be incorrect)
  12 lclint: llerror.c:1204: llbugaux: Assertion `0' failed.
  13 Abort (core dumped)