rillig
b0ce16e6a3
Fixed an internal cqual error. Improved the gcqual program. Added a
...
debugging option. Bumped PKGREVISION.
2006-07-17 22:16:55 +00:00
rillig
880c4ce641
Added an explanation to patch-cd.
2006-07-02 09:34:01 +00:00
rillig
aaf8c7692a
Fixed the gcc4 warning reported in PR 33883 and another similar one. One
...
of them was a real bug (missing initialization of a structure; luckily
not introduced by me), the other was a false positive.
2006-07-01 09:12:52 +00:00
rillig
853ac09b84
Fixed gcc warnings that have been reported in PR 33859. While here, also
...
fixed the pkglint warning regarding INFO_FILES. Bumped PKGREVISION.
2006-06-29 10:58:26 +00:00
wiz
30b6dcf7f6
Fix build on -current. Fix PLIST.
...
Bump PKGREVISION.
2006-03-02 19:56:24 +00:00
rillig
ad20db380a
Added some patches to make Cqual build on IRIX 6.5/mips with MIPSpro. (By
...
the way, all these patches have already been reported upstream and are
mostly fixed.)
2006-01-19 04:21:39 +00:00
rillig
7da5ddc215
Added the patches that are required to build CQual on SunOS 5.8/sparc
...
with SunPro.
2006-01-18 23:24:12 +00:00
rillig
7128f4ae6f
Added two patches. patch-ab avoids tons of #line warnings from the cpp
...
output, patch-ac fixes the special handling of functions called
malloc().
Bumped PKGREVISION.
2006-01-13 07:51:42 +00:00
rillig
f6ae07692d
Imported cqual.
...
cqual is a type-based analysis tool for finding bugs in C programs. It
extends the type system of C with extra user-defined type qualifiers.
The programmer annotates their program in a few places, and cqual
performs qualifier inference to check whether the annotations are
correct.
2006-01-11 03:12:38 +00:00
