What Was New in Version 7.50?

New 7.50 Options | New 7.50 Messages  

What was new in Version 7.00?  |  What is new in Version 8.00?

• User-defined Function Semantics - The user may endow his functions with special checking which is not limited to the characteristics of existing built-in functions.
• Pointer Tracking - pointers are tracked from cradle to grave yielding diagnostics when inappropriate pointer delete's (or free are issued, or when leaks can occur through not deleting pointers, or when auto increment is applied to custodial pointers (pointers having custody of an allocation) etc.
• A host of messages have been added which reflect the admonitions and perorations of Scott Meyers "Effective C++" and "More Effective C++". They include:
• static variables in inline functions in headers
• exposing privileged data
• failure to copy a base class, or to use the base class copy constructor
• failure to assign members and base classes
• issuing throw within a destructor
• assignment of an array to a base class pointer
• inconsistent or incomplete exception specifications
• failure to reference a virtual member function
• a virtual function with a default parameter
• redundant access specifiers
• binary operators that should be non-member functions or that return references, or that shouldn't be user defined or operators that should be defined
• function parameters that could be declared const reference
• ill defined increment and decrement operators
• catch parameters that are not references
• An examination is made of all the base class hierarchies in the entire project to determine non-virtual classes included twice, or virtual classes not included twice in any class hierarchy.
• A number of Elective Notes have been added for the truly discriminating programmer. We can now detect:
• use of ellipsis
• a macro that could be a const variable
• a C-Style cast
• a public data member
• a member or base class not initialized by the initializer list
• a function returning a reference
• an operator or constructor that could result in implicit conversions
• a base class that is not abstract

New Flag Options

• fas   Anonymous struct
• fba   Bit Addressability -- an individual bit of an int (or integral) can be specified using a.integer-constant
• fbc   Boolean Constant -- of the form 0{bB}{01}+ are permitted
• fbo   Boolean -- activate keywords bool, true and false
• fbu   Bit fields are Unsigned -- even though a nominal int is used in its specification
• fct   Create Tag -- where they do not otherwise exist
• fdh   dot-h -- for a file that is #include'd without an extension
• ffb   'for' loop creates separate block -- when OFF, the scope of for declarations is the surrounding scope
• fpa   Pause -- before exiting and request input through stderr

New Error Inhibition Options

• Star (*) -- supported as Wild-card character for error numbers
• -e( # [, #] ... ) -- will inhibit message number(s) # for the next expression. (for use within a lint comment)
• --e( # [, #] ... ) -- will inhibit message number(s) # for the entire expression before or within which it is placed
• -efunc( #, Symbol [, Symbol] +efunc( #, Symbol [, Symbol] any of the named function(s) designated by Symbol

New Other Options

• +dname=val -- like the -d option except that the definition is locked in
• -Dident[=val][; ...] -- like the -d option except that a semi-colon separated list of name-value pairs is supported
• -incvar(name) -- specifies the name of an environment variable to be used in place of INCLUDE
• +pragma(name,action) -- specifies an identifier that will be used to trigger an action when the identifier appears as the first identifier of a #pragma statement. i.e.

        +pragma( ASM, off )
        +pragma( ENDASM, on)

• -sem( name [,sem] ... ) -- allows the user to endow his functions with user-defined semantics, or modify the pre-defined semantics of built-in functions
• -size(flags,amount) -- message #812 or #813 will be issued whenever a data variable's size equals or exceeds a given amount
• --uName -- inhibits the macro Name from becoming defined
• -wprintf( N, name1 [, name2]
• -wscanf( N, name1 [, name2]

New Error Messages

422  Passing to function Symbol a negative value (Integer), Context
423  Creation of memory leak in assignment to 'Symbol'
424  Inappropriate deallocation (String1) for 'String2' data
425  'Message' in processing semantic 'String' at token String
426  call to function 'Symbol' violates semantic 'String'
427  // comment terminates in \
428  negative subscript (Integer) in operator 'String'
429  Custodial pointer 'Symbol' (Location) has not been freed or returned
581  Option 'String' is obsolete and should no longer be used
664  Left side of logical OR (||) or logical AND (&&) does not return
671  Possibly passing to function Symbol a negative value (Integer), Context
672  Possible memory leak in assignment to 'Symbol'
673  Possibly inappropriate deallocation (String1) for 'String2' data
674  Returning address of auto through variable 'Symbol'
676  Possibly negative subscript (Integer) in operator 'String'
677  sizeof used within preprocessor statement
807  Conceivably passing to function Symbol a negative value (Integer), Context
808  No explicit type given, assumed int
809  Possible return of address of auto through variable 'Symbol'
810  Arithmetic modification of custodial variable 'Symbol'
811  Possible deallocation of pointer alias
812  static variable 'Symbol' has size 'Integer'
813  auto variable 'Symbol' in function 'Symbol' has size 'Integer'
815  Arithmetic modification of unsaved pointer
816  Non-ANSI format specification
817  Conceivably negative subscript (Integer) in operator 'String'
946  Relational or subtract operator applied to pointers
1073  Insufficient number of template parameters; 'String' ssumed
1074  Expected a namespace identifier
1075  Ambiguous reference to both 'Symbol' and 'Symbol'
1522  'Symbol' is an array of empty objects
1533  Repeated friend declaration for symbol 'Symbol'
1534  static variable 'Symbol' found within inline function in header
1535  Exposing low access data through member 'Symbol'
1536  Exposing low access member 'Symbol'
1537  const function returns pointer data member'Symbol'
1538  base class 'Symbol' absent from initializer list for copy constructor
1539  member 'Symbol' (Location) not assigned by assignment operator
1546  throw() called within destructor Symbol
1547  Assignment of array to pointer to base class (Context)
1548  Exception specification for 'Symbol' conflicts with Location
1549  Exception thrown for function 'Symbol' not declared to throw
1550  function 'Symbol' may throw an exception in function'Symbol'
1551  function 'Symbol may throw an exception in destructor 'Symbol'
1552  Converting pointer to array-of-derived to pointer to base
1716  Virtual member function Symbol (Location) not referenced
1735  Virtual function 'Symbol' has default parameter
1736  Redundant access specifier (String)
1737  'Symbol' hides global operator new
1738  non-copy constructor 'Symbol' used to initialize copy constructor
1739  Binary operator 'Symbol' should be non-member function
1745  member 'Symbol' (Location) not assigned by private assignment operator
1746  parameter 'Symbol' of function 'Symbol' could be made const reference
1747  binary operator 'Symbol' returning a reference
1748  non-virtual base class 'Symbol' included twice in class 'Symbol'
1749  base class 'Symbol' of class 'Symbol' need not be virtual
1752  catch parameter Integer is not a reference
1753  Overloading special operator 'Symbol'
1754  Expected 'Symbol' to be declared for class 'Symbol'
1757  Discarded instance of post decrement/increment
1758  Prefix increment/decrement operator 'Symbol' returns a non-reference
1759  Postfix increment/decrement operator 'Symbol' returns a reference
1761  Declaration of 'Symbol' hides overloaded 'Symbol' (Location)
1905  implicit default constructor generated for class 'Symbol
1914  Default constructor Symbol (Location) not referenced
1916  Ellipsis encountered
1923  macro 'Symbol' could become const variable
1924  C-style cast
1925  'Symbol' is a public data member
1926  'Symbol's default constructor implicitly called
1927  'Symbol' was not initialized in the constructor initializer list
1928  'Symbol' did not appear in the constructor initializer list
1929  function 'Symbol' returning a reference
1930  Conversion operator 'Symbol' found
1931  Constructor 'Symbol' can be used for implicit conversions
1932  Base class 'Symbol' is not abstract
1933  Call to unqualified virtual function 'Symbol' from non-static member function
1934  Shift operator 'Symbol should be non-member function