version 1.152, 2014/07/24 14:38:43
|
version 1.161, 2015/01/28 08:10:11
|
Line 1
|
Line 1
|
RESTRICTIONS |
RESTRICTIONS |
|
|
Vérifier les __CATCH_SYSTEM_ERROR__ dans rplexternals.h |
Rajouter une erreur de type caractère invalide dans le nom d'une variable |
|
plutôt qu'un méchant BUG(). |
|
|
|
Mettre un allocateur dans lib$motif |
|
(tableau avec une liste chaînée des éléments disponibles, si liste vide, on |
|
réalloue et on maintient la liste triée.) |
|
|
|
Mettre un allocateur pour les chaînes. Ne pas oublier de le modifier aussi |
|
dans rplexternals.h |
|
|
Ajouter EQV |
Vérifier les __CATCH_SYSTEM_ERROR__ dans rplexternals.h |
|
|
Ne passe pas sur une socket. |
Ne passe pas sur une socket. |
{ "STAT" 0 { { } { 5 55 } { 4 51 } { 3 50 } { 3 51 } { 3 50 } { 17 78 } { 4 52 |
{ "STAT" 0 { { } { 5 55 } { 4 51 } { 3 50 } { 3 51 } { 3 50 } { 17 78 } { 4 52 |
Line 24 ABORT ne lance pas ATEXIT.
|
Line 32 ABORT ne lance pas ATEXIT.
|
{ <[ <[ "character*(*)" "standard*(*)" ]> <[ "character*(*)" |
{ <[ <[ "character*(*)" "standard*(*)" ]> <[ "character*(*)" |
"standard*(*)" ]> ]> } |
"standard*(*)" ]> ]> } |
|
|
[[1 2 ]]3 valide |
|
[[ 1 2]] valide |
|
{{ 3 }} invalide |
|
{ 5} invalide |
|
{5 } valide |
|
{5} invalide |
|
<[5 ]> valide |
|
<[ 5]> invalide |
|
<[4 ]>5 valide |
|
{{ 5 } } valide |
|
{ { 5 }} invalide |
|
"lkj"4 valide |
|
|
|
=> Rajouter un champ dans s_etat_processus pour connaître le type d'objet en |
|
cours de typage et savoir quel est le fermant autorisé. |
|
|
|
Utiliser Frama-c + why + alt-argo pour rechercher les erreurs. |
Utiliser Frama-c + why + alt-argo pour rechercher les erreurs. |
|
|
Ajouter la translitération dans l'écriture des fichiers. |
Ajouter la translitération dans l'écriture des fichiers. |