-passes(1)
+cpp(.h,.cpp)
// esoteric size settings to find erros.
-si4    // int's are 4 bytes
-sl6    // long's are 6 bytes
-sp8    // ptr's are 8 bytes

-fdc       // do not Distinguish plain Char as a unique type.
           // i.e. char is either signed char or unsigned char
           
            // while processing library headers
-wlib(1)    // sets the warning level within library headers to 1
            // (no warnings, just syntax errors).  Comment out if you
            // are actually linting library headers.  This
            // option makes obsolete options of the form -elib(axxx) where
            // xxx >= 400 which may be retained for historical reasons.

-i./lint/posix
-i./lint/cpp
-i./lib/include

//  The following functions exhibit variable return modes.
//  That is, they may equally-usefully be called for a value
//  as called just for their effects.  Accordingly we inhibit
//  Warning 534 for these functions.
//  Feel free to add to or subtract from this list.

-esym(534,close,creat,fclose,fprintf,fputc)
-esym(534,fputs,fscanf,fseek,fwrite,lseek,memcpy,memmove,memset)
-esym(534,printf,puts,scanf,sprintf,sscanf,strcat,strcpy)
-esym(534,strncat,strncpy,unlink,write)

-function(exit,__assertfail)
-efile(766,./lint/posix/assert.h)
-efile(766,spxdefines.h)
-efile(766,iomanip)
-e506 // Constant value Boolean
-e534 // Ignoring return value of function
-e537 // Repeated include file
-e737 // Loss of sign in promotion from int to unsigned int
-e713 // loss of precision
-e717 // do ... while(0)
-e788 // enum constant not used within defaulted switch
-e801 // keine Warnungen wegen goto
-e834 // Operator followed by operator ist confusing -- unsinn
-e1511 // Member hides non-virtual member
-e1550 // exception thrown by function is not on throw-list of function
-e1551 // Function may throw exception in destructor
-e1702 // operator is both an ordinary and a member function
-e1735 // Virtual function has default parameter
-e1736 // Redundant access specifier 
-e1748 // non-virtual base class included twice in class 

       -esym(1704,Vector::Vector) // Vector has no (private) default constructor
-esym(1526,Vector::Vector) // correctly not implemented
-esym(1510,Vector) // Vector has no destructor, this is ok
-esym(1509,DVector) // base class destructor for class 'DVector' is not virtual

// timer.h
-esym(1401,Timer::uTicks) // no need to be initialised
-esym(1401,Timer::sTicks) // no need to be initialised
-esym(1401,Timer::rTicks) // no need to be initialised

// datakey.h
-esym(1529,soplex::DataKey::operator=) // no need to check

// didxset.h 
-esym(1526,IdxSet::IdxSet)       // correctly not implemented

// didxset.h 
//esym(1526,DIdxSet::operator=)   // correctly not implemented
//esym(1526,DIdxSet::DIdxSet)     // correctly not implemented
//sym(1526,DIdxSet::indexMem)    // correctly not implemented

// cflufactor.h
-esym(1401,CLUFactor::*)         // no initialisation
-esym(1526,Pring::operator=)     // correctly not implemented
-esym(1526,Pring::Pring)         // correctly not implemented
-esym(1526,Temp::operator=)      // correctly not implemented
-esym(1526,Temp::Temp)           // correctly not implemented
-esym(1526,CLUFactor::operator=) // correctly not implemented
-esym(1526,CLUFactor::CLUFactor) // correctly not implemented

// spxsolver.h
-esym(1762,SPxSolver::basis)        // Member function could be made const

// spxlpfread.cpp
-esym(429,colnames)
-esym(429,rownames)

// spxlp.h
-esym(219, Id::operator=) // no need to check.
-esym(1762,SPxLP::rowset) // Member function could be made const
-esym(1762,SPxLP::colset) // Member function could be made const

// spxbasis.h
-esym(1540, soplex::SPxBasis::factor) // no need to free.
-esym(1554, soplex::SPxBasis::theLP)  // Direct pointer copy of member within copy constructor
-esym(1554, soplex::SPxBasis::factor) // Direct pointer copy of member within copy constructor
-esym(1555, soplex::SPxBasis::theLP)  // Direct pointer copy of member within copy assignment operator
-esym(1555, soplex::SPxBasis::factor) // Direct pointer copy of member within copy assignment operator

// spxhybridpr.h
-esym(1540, SPxHybridPR::thepricer) // no need to free.
-esym(1540, SPxHybridPR::thesolver) // no need to free.

// factor.cpp
//-esym(666,isZero)
-esym(818,vec) // Pointer parameter 'vec' could be declared as pointing to const
               // correct, but this causes warnings by several compilers.

// datahashtable.h
-efunc(414,DataHashTable*::add)   // no possible zero division
-efunc(414,DataHashTable*::index) // no possible zero division
-esym(1704,DataHashTable*::operator=)     // is private
-esym(1704,DataHashTable*::DataHashTable) // is private 

// nameset.h
-esym(1554,soplex::NameSet::Name::name) // direct pointer copy ok
//-esym(1526,NameSet::operator=)    // correctly not implemented
//-esym(1526,NameSet::NameSet)      // correctly not implemented
//-esym(1704,NameSet::NameSet)      // is private 

// spxscaler.h
//-esym(1526,SPxScaler::operator=)    // correctly not implemented
//-esym(1526,SPxScaler::SPxScaler)    // correctly not implemented
-esym(1554,soplex::SPxScaler::m_name)       // Direct pointer copy of member
-esym(1555,soplex::SPxScaler::m_name)       // Direct pointer copy of member

// idxset.h
-esym(1704,IdxSet::IdxSet) // Vector has no (private) default constructor

// islist.h
-esym(1764,list)  // Reference parameter could be declared const ref

// idlist.h
-esym(818,after)  // Pointer parameter could be declared as pointing to const

// Temporary
-e777  // Testing floats for equality
-e1704 // Constructor has private access specification
-e1714 // Member function not referenced
-e1716 // virtual member function not referenced
-e1738 // non copy constructor used to initialize copy constructor
-e1509 // base class destructor for class is not virtual
-e1510 // base class has no destructor
-e641  // Converting enum to int
-e656  // Arithmetic operation uses (compatible) enum's
-e655  // bit-wise operation uses (compatible) enum's
//-e514  // Unusual use of a Boolean
-e1401 // Member not initialized by constructor
-e1541 // Member possibly not initialized by constructor
-e1539 // member not assigned by assignment operator
-e1516 // Data member hides inherited member 
-e613  // Possible use of null pointer in left argument to operator '->'
-e679  // Suspicious Truncation in arithmetic expression combining with pointer
-esym(1502,compare) // defined object 'compare' has no nonstatic data members
-esym(631,soplex::Compare) // defined differently 
-e740  // Unusual pointer cast (incompatible indirect types)
-e763  // Redundant declaration for symbol
-e826  // Suspicious pointer-to-pointer conversion (area too small)
-e1712 // default constructor not defined for class 
-e1725 // class member is a reference
// the next two result from the same problem
-e1536 // Exposing low access member
-e1763 // Member function marked as const indirectly modifies class