search for: proofer

Cédric Venet wrote: >> Technically, yes, but we can reword future standards to have the >> latitude to give compilation errors for conditions that can be proved >> to be false, then the implementation is conforming. We could always >> have a flag to control the behavior if people want/need it, though, I >> can't hardly see why they'd want it to

Hi, We are facing problems while configuring SAMBA ADS on Sun Solaris system. After installation and configuration we found that there is no ADS support on the version samba-3.0.21a-1-noads-sunos5.9-sparc.pkg.gz. Do you have any ADS support package for Sun Solaris 9. Kind Regards Venu Gopal Sr. Systems Engineer SSA Global Technologies India (Pvt) Ltd Hyderabad,India Tel : +91 40 23100525

> Technically, yes, but we can reword future standards to have the > latitude to give compilation errors for conditions that can be proved > to be false, then the implementation is conforming. We could always > have a flag to control the behavior if people want/need it, though, I > can't hardly see why they'd want it to compile if they assert > something that

...executing the assert. > > Kenneth > Then not only the condition of the assert must be proved false, but the assert must be proved to be actually reached in all possible code path (not only be reachable, think about virtual function). I don't really know the State of art of C++ code proofer but this seems pretty hard to prove in most real word case. And then think about: int main(int argc, const char* argv[]) { if(argc<2) return -1; // error in command line, exit early ... assert(0); // false assert ... return 0; } you will never be able to demonstrate that the assert i...