LINUX.ORG.RU

История изменений

Исправление MOPKOBKA, (текущая версия) :

Почему точно не будут? Уже сейчас есть -fanalyzer, я надеюсь на его основе что то будет сделано. Сейчас им тоже можно строить контракты, вот например контракт на проверку что бы x не был 15.

#include <stdio.h>
#include <limits.h>

void foo(int x)
{
  // contract(x != 15);
  {
    if (x == 15)
      x = -1;
    int arr[INT_MAX];
    arr[x] = x;
  }  

  // begin code
  printf("foo\n");
}

int main(int argc, char **argv)
{
  if (argc != 15)
    return 0;
  foo(argc);
  return 0;
}

И работает, а делает его всего один разработчик временами.

А так уже предупреждений нету: 

-  if (argc != 15)
+  if (argc == 15)

Исправление MOPKOBKA, :

Почему точно не будут? Уже сейчас есть -fanalyzer, я надеюсь на его основе что то будет сделано. Сейчас им тоже можно строить контракты, вот например контракт на проверку что бы x не был 15.

#include <stdio.h>
#include <limits.h>

void foo(int x)
{
  // contract(x != 15);
  {
    if (x == 15)
      x = -1;
    int arr[INT_MAX];
    arr[x] = x;
  }  


  // begin code
  printf("foo\n");
}

int main(int argc, char **argv)
{
  if (argc != 15)
    return 0;
  foo(argc);
  return 0;
}

И работает, а делает его всего один разработчик временами.

А так уже предупреждений нету: 

-  if (argc != 15)
+  if (argc == 15)

Исправление MOPKOBKA, :

Почему точно не будут? Уже сейчас есть -fanalyzer, я надеюсь на его основе что то будет сделано. Сейчас им тоже можно строить контракты, вот например контракт на проверку что бы x не был 15.

#include <stdio.h>
#include <limits.h>

void foo(int x)
{
  // contract(x != 15);
  if (x == 15)
    x = -1;
  int arr[INT_MAX];
  arr[x] = x;
  
  // begin code
  printf("foo\n");
}

int main(int argc, char **argv)
{
  if (argc != 15)
    return 0;
  foo(argc);
  return 0;
}

И работает, а делает его всего один разработчик временами.

А так уже предупреждений нету: 

-  if (argc != 15)
+  if (argc == 15)

Исправление MOPKOBKA, :

Почему точно не будут? Уже сейчас есть -fanalyzer, я надеюсь на его основе что то будет сделано. Сейчас им тоже можно строить контракты, вот например контракт на проверку что бы x не был 15.

#include <stdio.h>
#include <limits.h>

void foo(int x)
{
  // contract(x != 15);
  if (x == 15)
    x = -1;
  int arr[INT_MAX];
  arr[x] = x;
  
  printf("foo\n");
}

int main(int argc, char **argv)
{
  if (argc != 15)
    return 0;
  foo(argc);
  return 0;
}

И работает, а делает его всего один разработчик временами.

А так уже предупреждений нету: 

-  if (argc != 15)
+  if (argc == 15)

Исправление MOPKOBKA, :

Почему точно не будут? Уже сейчас есть -fanalyzer, я надеюсь на его основе что то будет сделано. Сейчас им тоже можно строить контракты, вот например контракт на проверку что бы x не был 15.

#include <stdio.h>
#include <limits.h>

void foo(int x)
{
  if (x == 15)
    x = -1;
  int arr[INT_MAX];
  arr[x] = x;
  
  printf("foo\n");
}

int main(int argc, char **argv)
{
  if (argc != 15)
    return 0;
  foo(argc);
  return 0;
}

И работает, а делает его всего один разработчик временами.

А так уже предупреждений нету: 

-  if (argc != 15)
+  if (argc == 15)

Исходная версия MOPKOBKA, :

Почему точно не будут? Уже сейчас есть -fanalyzer, я надеюсь на его основе что то будет сделано. Сейчас им тоже можно строить контракты, вот например контракт на проверку что бы x не был 15.

#include <stdio.h>
#include <limits.h>

void foo(int x)
{
  if (x == 15)
    x = -1;
  int arr[INT_MAX];
  arr[x] = x;
  
  printf("foo\n");
}

int main(int argc, char **argv)
{
  if (argc != 15)
    return 0;
  foo(argc);
  return 0;
}

И работает, а делает его всего один разработчик временами.