ATNEL tech-forum

Re: Zmiana typu int -Werror=conversion

2017-10-27T12:08:24+01:00

ukasz napisał(a):

ale po to właśnie chciałbym żeby kompilator wyłapał takie błędy

Masz szansę - napisz lepszy kompilator

albo zapoznaj się z zasadami działania obecnego, postaraj się je zrozumieć i wtedy się okaże - że nie ma problemu .... zapoznaj się szczególnie z zagadnieniem tzw "domyślnej promocji do int"

http://atnel.pl/domyslna-promocja-do-typu-int.html

to ci się może rozjaśni troszkę

Statystyki: Napisane przez mirekk36 — 27 paź 2017, o 12:08

Re: Zmiana typu int -Werror=conversion

2017-10-27T11:09:20+01:00

Quote:

?? Samo przekazanie na pewno nie powoduje błędnego działania, kompilator po prostu odrzuci starszy bajt i przekaże tylko młodszy. Jeśli więc w takim wypadku funkcja nie działa tak jak powinna to znaczy, że przekazana wartość przekracza zakres argumentu funkcji. A skoro wiadomo, że może osiągnąć takie wartości to trzeba od razu zdefiniować parametr funkcji jako uint16_t.

Chodzi mi o zwykły ludzki błąd. Wiem że to moje przeoczenie ale po to właśnie chciałbym żeby kompilator wyłapał takie błędy które się zdarzają każdemu.
[syntax=c]state = (uint8_t)(state<<2);[/syntax]
Działa.

Ehhh. Nic wyłączę w takim razie [syntax=c]-Werror=conversion[/syntax]

Statystyki: Napisane przez ukasz — 27 paź 2017, o 11:09

Re: Zmiana typu int -Werror=conversion

2017-10-26T21:35:16+01:00

Teraz kompilatorowi nie podoba się linia 2. Ten sam błąd. Nawet jak dam przed 2 (uint8_t)
[syntax=c]static uint8_t state = 0;
state <<= 2;[/syntax]
Wersja avr-gcc 7.2.0.

Kurcze zależy mi na tym aby kompilator pokazywał błędy jak jest zmiana typu z większego na mniejszy. Odwrotnie jest ok. Już pare razy się złapałem gdzie w funkcji jako parametr dałem uint8_t a przekazywałem uint16_t i się dziwiłem dlaczego nie chcę działać. Macie jakieś pomysły dlaczego kompilator tak dziwnie mi się zachowuje ?

Statystyki: Napisane przez ukasz — 26 paź 2017, o 21:35

Re: Zmiana typu int -Werror=conversion

2017-10-25T22:06:59+01:00

roske napisał(a):

Co kompilator ma do powiedzenia na
[syntax=c]A++;[/syntax]
?

To zadziałało bez problemu. Zapomniałem o tym operatorze.

Statystyki: Napisane przez ukasz — 25 paź 2017, o 22:06

Re: Zmiana typu int -Werror=conversion

2017-10-25T22:04:04+01:00

Zrób clean projektu.

Statystyki: Napisane przez anshar — 25 paź 2017, o 22:04

Re: Zmiana typu int -Werror=conversion

2017-10-25T21:50:58+01:00

Mam taki kod (wiem jest dużo includów ale to zaszłość i i tak się nie linkują):
[syntax=c]#include
#include
#include
#include
#include "registers.h"
#include "uart.h"
#include "spi.h"
#include "hwconfig.h"

volatile uint8_t A = 0;
volatile uint8_t B = 0;
volatile uint8_t TRG = 0;

int main(void) {
MCUCR = 0b00001010;
GICR = 0b11000000;
uart_start();
sei();
char str[32];
while (1) {
if (TRG) {
sprintf(str, "A=%d B=%d\r\n", A, B);
uart_write(str);
TRG = 0;
}
}
}

ISR(INT0_vect) {
/* A = (uint8_t) (A+1); */
A += 1;
TRG = 1;
}

ISR(INT1_vect) {
B = (uint8_t) (B+1);
TRG = 1;
}[/syntax]
Opcje w avr-gcc
[syntax=c]avr-gcc -c -mmcu=atmega32 -DF_CPU=11059200UL -DBAUD=115200UL -Os -Wall -Werror -Wextra -Wconversion -ffunction-sections -funsigned-char -std=gnu11[/syntax]
Błąd:
[syntax=c]/Users/lkostka/workspace/avr/src/main.c: In function '__vector_1':
/Users/lkostka/workspace/avr/src/main.c:31:10: error: conversion to 'uint8_t {aka volatile unsigned char}' from 'int' may alter its value [-Werror=conversion]
A += 1;
^
cc1: all warnings being treated as errors
make: *** [.builds/src/main.o] Error 1[/syntax]

Statystyki: Napisane przez ukasz — 25 paź 2017, o 21:50

Re: Zmiana typu int -Werror=conversion

2017-10-25T21:42:42+01:00

Panie to są mikrokontrolery 8-bitowe a nie PC

ileż razy trzeba powtarzać no chyba że kolega nie posiada Bluebooka i nie doczytał .... chociaż hmmm w samym komunikacie błędu też jest jak byk napisane, że masz nie zainicjalizowaną zmienną ...

powołujesz zmienną wewnątrz funkcji, tworzona jest na stosie - to znaczy, że nie będzie zainicjalizowana tak jak globalna ... więc co się dziwisz gdy robisz operację

[syntax=c]zmienna += 1;[/syntax]

toż wystarczy albo jej DEFINICJĘ wpisać w obszarze zmiennych globalnych tak jak teraz masz i zostanie automatycznie zainicjalizowana zerem i błędu nie uświadczysz - albo jak się upierasz robić definicję wewnątrz funkcji main to zainicjalizuj że ją pan byle jaką wartością

np

[syntax=c]uint8_t asd=0;
asd+=1;[/syntax]

i też błędu nie uświadczysz - to nie wina kompilatora tylko tego, że czasem warto zapoznać się z PODSTAWAMI PODSTAW - zrozumieć czym różni się zmienna lokalna (automatyczna) powoływana do życia wewnątrz funkcji od cyklu życia zmiennej globalnej i co się z nimi dzieje.... Jak się to wie i zrozumie to człowiek nie spotyka się z takimi błędami bo nie przyjdzie do głowy pomysł taki jak tu zrobiłeś po prostu

dlatego na koniec, tak jak na początku - polecam Bluebooka bo tam sporo wyjaśnień i również w tym zakresie

Statystyki: Napisane przez mirekk36 — 25 paź 2017, o 21:42

Zmiana typu int -Werror=conversion

2017-10-25T20:46:13+01:00

Cześć

Mam taki kod:
[syntax=c]int main(void) {
uint8_t asd;
asd +=1;
}[/syntax]
W linijce gdzie robię operację += kompilator wywala mi [syntax=c]conversion to 'uint8_t {aka unsigned char}' from 'int' may alter its value [-Werror=conversion][/syntax] Nawet jak zrobię:
[syntax=c]asd += (uint8_t) 1;[/syntax]
Zadziała:
[syntax=c]asd = (uint8_t) (asd + 1);[/syntax]
Zależy mi na tym aby kompilator wywalał mi błędy jak dokonywana jest zmiana typu z większego na mniejszy.
Uzywam avr-gcc. Na zwykłym gcc wszystko jest ok. Da się coś z tym zrobić ?

Statystyki: Napisane przez ukasz — 25 paź 2017, o 20:46