This is the mail archive of the gcc@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: const warning...


> Also when doing code inspection on imperative languages, you get a good
> feeling when most things are constant: no variable means no
> uninitialized variable bug :).

More formally, if you think of proof conditions, marking something as
constant means that considerably less has to be proved about the status
and value of the object.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]