"note: code may be misoptimized unless -fno-strict-aliasing is used"

Version imprimable

21/12/2018, 00h12
Katian

"note: code may be misoptimized unless -fno-strict-aliasing is used"

Bonsoir !

suite à une compilation, j'ai ce message

Citation:

note: code may be misoptimized unless -fno-strict-aliasing is used

quelle est l'utilité de l'option "no-strict-aliasing" ?

merci !
21/12/2018, 07h33
dalfab

Bonjour,

Le compilateur doit voir une séquence dans ton code contraire au "strict aliasing".
Le "strict aliasing" est un principe qui peut permettre de grosses optimisation. En gros ça dit que si 2 choses n'ont pas le même type on est sûr qu'elles ne sont pas les même et donc n'ont pas la même adresse. Et grâce à cela, le compilateur pourra enlever des doublons et simplifier des choses. Tu n'a pas précisé le langage, le C et le C++ n'ont pas les même outils pour gérer cela.

Il faut voir dans ton cas pourquoi. Pour un code "mal écrit" (bidouillant sur des conversions de type trop osées), il faut activer l'option permettant au compilateur se méfier de toute les variables, il sera moins optimisé mais respectera mieux les bidouilles écrites dans le code.

merci dalfab

un peu plus en détail :

Code:

1
2
3
4
5
6
7
8
9
10
11
12
/mnt/data1/develop/workspace/sandbox-cpp-2/include/achunk/chunk_c.hpp:19:7: warning: type ‘struct chunk_c’ violates the C++ One Definition Rule [-Wodr]
 class chunk_c final : public chunk_stream_c
       ^
/mnt/data1/develop/workspace/sandbox-cpp-2/include/achunk/chunk_c.hpp:17:7: note: a type with different bases is defined in another translation unit
 using chunk_upc = std::unique_ptr<const chunk_c>;
       ^
/mnt/data1/develop/workspace/sandbox-cpp-2/include/achunk/chunk_c.hpp:19:7: note: type ‘struct chunk_c’ itself violates the C++ One Definition Rule
 class chunk_c final : public chunk_stream_c
       ^
/mnt/data1/develop/workspace/sandbox-cpp-2/include/achunk/chunk_c.hpp:17:7: note: the incompatible type is defined here
 using chunk_upc = std::unique_ptr<const chunk_c>;
       ^

EDIT : ça reste assez flou pour ma part...

la partie incriminée :

Code:

1
2
3
4
5
6
7
8
9
class chunk_c;
 
using chunk_up = std::unique_ptr<chunk_c>;
using chunk_upc = std::unique_ptr<const chunk_c>;
 
class chunk_c final : public chunk_stream_c
{
....
}

23/12/2018, 14h22
Katian

Je pense avoir trouvé, une mauvaise utilisation de la clause using dans les headers...
23/12/2018, 18h18
Katian
Code:

1 2 3 4 5 6 7 8 9 class chunk_c; using chunk_up = std::unique_ptr<chunk_c>; using chunk_upc = std::unique_ptr<const chunk_c>; class chunk_c final : public chunk_stream_c { .... }
c'est une mauvaise pratique ce code ???

EDIT : est-ce que le strict-aliasing est exigé par certaines options de compilation ? quel est le risque d'ajouter l'option -fno-strict-aliasing ???
24/12/2018, 19h16
Katian

bon apparemment, pour du LinkTimeOptimization en spécifiant l'option

Citation:

-flto

cela génère le message

Citation:

note: code may be misoptimized unless -fno-strict-aliasing is used

donc je vire -flto, quelqu'un peux me dire si c'est une mauvaise idée ???