Liste des Groupes | Revenir à c theory |
On 2025-06-10 17:14:58 +0000, olcott said:void DDD()
On 6/10/2025 2:33 AM, Mikko wrote:On 2025-06-09 21:14:58 +0000, olcott said:>
>The official "received view" of this is that the best>
we can possibly do is to do nothing and give up.
There is no official view about "the best". What is the best
depends on what one needs and wants. Some may think that the
best they can do is to waste their life in trying to do the
impossible.
Certainly doiing nothing and giving up
are not the best thing to do in this case.
It is at least a valid way. Another valid way is to run forever, i.e.--
until the user gives up and aborts the analyzer.
For a particular purpose something else could be better if it does
not cost too much more.
Often it is useful to have an analysis of the problem so that the
user of the analyzer can continue the analysis with other tools
or change the program so that the analyzer can analyze more of it.
It is not necessary that the analyzer identifies the input as
"pathological" but that identification may be useful in some cases.
Les messages affichés proviennent d'usenet.